ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Proyecto RIFALLCO
Red de Investigaci
on, Formaci
on y Aplicaciones de L
ogica, Lenguaje y
Computacion
14 de Junio del 2012
Grupo de L
ogica, Lenguaje e Informaci
on (US)
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
L
ogica Epistemica
Introduccion
Modelos de Kripke
Conocimiento de agentes individuales
Conocimiento de grupos
Conocimiento general
Conocimiento com
un
L
ogica de anuncios p
ublicos
Conceptos basicos, sintaxis y semantica
Anuncios fallidos
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Epistemologa estudio del conocimiento
Filosofa griega interes por:
Que es lo que conocemos?
Que podemos conocer?
Que significa decir que uno sabe algo?
Primera propuesta de la definici
on de conocimiento: la creencia
verdadera
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Epistemologa estudio del conocimiento
Filosofa griega interes por:
Que es lo que conocemos?
Que podemos conocer?
Que significa decir que uno sabe algo?
Primera propuesta de la definici
on de conocimiento: la creencia
verdadera
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Epistemologa estudio del conocimiento
Filosofa griega interes por:
Que es lo que conocemos?
Que podemos conocer?
Que significa decir que uno sabe algo?
Primera propuesta de la definici
on de conocimiento: la creencia
verdadera
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Epistemologa estudio del conocimiento
Filosofa griega interes por:
Que es lo que conocemos?
Que podemos conocer?
Que significa decir que uno sabe algo?
Primera propuesta de la definici
on de conocimiento: la creencia
verdadera
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Informaci
on, conocimiento, agente y grupo de agentes
Conocimiento es la informaci
on que tiene un agente o grupo de
agentes sobre cierta perspectiva de los hechos.
Aproximaci
on formal se produce idealizacion: agentes/grupos son
perfectos razonadores.
Objetivo razonamiento deductivo sobre el conocimiento.
Demasiada idealizacion? Depende. Hay mas metodos formales que
intentan modelar fen
omenos epistemicos mas naturales (agentes no
perfectos, creencias vs. conocimiento, inferencia no deductiva, etc)
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Informaci
on, conocimiento, agente y grupo de agentes
Conocimiento es la informaci
on que tiene un agente o grupo de
agentes sobre cierta perspectiva de los hechos.
Aproximaci
on formal se produce idealizacion: agentes/grupos son
perfectos razonadores.
Objetivo razonamiento deductivo sobre el conocimiento.
Demasiada idealizacion? Depende. Hay mas metodos formales que
intentan modelar fen
omenos epistemicos mas naturales (agentes no
perfectos, creencias vs. conocimiento, inferencia no deductiva, etc)
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Informaci
on, conocimiento, agente y grupo de agentes
Conocimiento es la informaci
on que tiene un agente o grupo de
agentes sobre cierta perspectiva de los hechos.
Aproximaci
on formal se produce idealizacion: agentes/grupos son
perfectos razonadores.
Objetivo razonamiento deductivo sobre el conocimiento.
Demasiada idealizacion? Depende. Hay mas metodos formales que
intentan modelar fen
omenos epistemicos mas naturales (agentes no
perfectos, creencias vs. conocimiento, inferencia no deductiva, etc)
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Informaci
on, conocimiento, agente y grupo de agentes
Conocimiento es la informaci
on que tiene un agente o grupo de
agentes sobre cierta perspectiva de los hechos.
Aproximaci
on formal se produce idealizacion: agentes/grupos son
perfectos razonadores.
Objetivo razonamiento deductivo sobre el conocimiento.
Demasiada idealizacion? Depende. Hay mas metodos formales que
intentan modelar fen
omenos epistemicos mas naturales (agentes no
perfectos, creencias vs. conocimiento, inferencia no deductiva, etc)
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Informaci
on, conocimiento, agente y grupo de agentes
Conocimiento es la informaci
on que tiene un agente o grupo de
agentes sobre cierta perspectiva de los hechos.
Aproximaci
on formal se produce idealizacion: agentes/grupos son
perfectos razonadores.
Objetivo razonamiento deductivo sobre el conocimiento.
Demasiada idealizacion? Depende. Hay mas metodos formales que
intentan modelar fen
omenos epistemicos mas naturales (agentes no
perfectos, creencias vs. conocimiento, inferencia no deductiva, etc)
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
L
ogicas no clasicas
Trivalentes, multivalentes
Intuicionista
Borrosa
No mon
otona
...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
L
ogicas no clasicas
Trivalentes, multivalentes
Intuicionista
Borrosa
No mon
otona
...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
L
ogicas no clasicas
Trivalentes, multivalentes
Intuicionista
Borrosa
No mon
otona
...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
L
ogicas no clasicas
Trivalentes, multivalentes
Intuicionista
Borrosa
No mon
otona
...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Introducci
on
L
ogicas no clasicas
Trivalentes, multivalentes
Intuicionista
Borrosa
No mon
otona
...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
Intuiciones de kripke
Un conjunto de atomos p, q, r . . . conforman un estado
ONTOLOGICAMENTE
distinguible de hechos
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
Intuiciones de kripke
Un conjunto de atomos p, q, r . . . conforman un estado
ONTOLOGICAMENTE
distinguible de hechos
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
Intuiciones de kripke
Un conjunto de atomos p, q, r . . . conforman un estado
ONTOLOGICAMENTE
distinguible de hechos
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
Intuiciones de kripke
Un conjunto de atomos p, q, r . . . conforman un estado
ONTOLOGICAMENTE
distinguible de hechos
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
Intuiciones de kripke
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
Intuiciones de kripke
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
Intuiciones de kripke
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
soleado
soleado
soleado
soleado
Huelva
Cadiz
Sevilla
Cordoba
soleado
soleado
soleado
nublado
Huelva
Cadiz
Sevilla
Cordoba
soleado
soleado
nublado
soleado
Huelva
Cadiz
Sevilla
Cordoba
soleado
nublado
soleado
soleado
Huelva
nublado
Cadiz
soleado
Sevilla
soleado
Cordoba soleado
etc...
Huelva
Cadiz
Sevilla
Cordoba
nublado
soleado
soleado
nublado
Cuadro: Representaci
on de la posibilidades ontol
ogicas = 24 = 16
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
?
?
soleado
?
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
Huelva
Sevilla
?
soleado
Cuadro: Simplificaci
on del escenario
s, h
Ignacio
s, h
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Modelos de Kripke
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Sintaxis LK
Para agentes A = {a, b, c...} y atomos P = {p, q, r , . . . }
::= p | | ( ) | Ka
a def Ka
K
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Ejemplo tiempo
Tablas
Huelva
Sevilla
Grafo
?
soleado
Ignacio
s, h
s, h
Analticamente
Kignacio s (Kignacio h Kignacio h)
ignacio h K
ignacio h)
Kignacio s (K
Metaconocimiento conocimiento sobre el conocimiento
Kignacio Kignacio s
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Ejemplo tiempo
Tablas
Huelva
Sevilla
Grafo
?
soleado
Ignacio
s, h
s, h
Analticamente
Kignacio s (Kignacio h Kignacio h)
ignacio h K
ignacio h)
Kignacio s (K
Metaconocimiento conocimiento sobre el conocimiento
Kignacio Kignacio s
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Ejemplo tiempo
Tablas
Huelva
Sevilla
Grafo
?
soleado
Ignacio
s, h
s, h
Analticamente
Kignacio s (Kignacio h Kignacio h)
ignacio h K
ignacio h)
Kignacio s (K
Metaconocimiento conocimiento sobre el conocimiento
Kignacio Kignacio s
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Ejemplo tiempo
Tablas
Huelva
Sevilla
Grafo
?
soleado
Ignacio
s, h
s, h
Analticamente
Kignacio s (Kignacio h Kignacio h)
ignacio h K
ignacio h)
Kignacio s (K
Metaconocimiento conocimiento sobre el conocimiento
Kignacio Kignacio s
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Semantica Kripke
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
Ignacio
s, h
Estado 2
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Semantica: formalizacion
(atomica)
(conjuncion)
(negaci
on)
(operador Ka )
a)
(operador K
(Validez)
M, s |= p
M, s |= ( )
M, s |=
M, s |= Ka
a
M, s |= K
M |=
syss
syss
syss
syss
syss
syss
s V (p)
M, s |= y M, s |=
M, s 6|=
t tal que sRa t, M, t |=
t tal que sRa t, M, t |=
M, s |= s S
Ignacio
s, h
Estado 2
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Semantica: formalizacion
(atomica)
(conjuncion)
(negaci
on)
(operador Ka )
a)
(operador K
(Validez)
M, s |= p
M, s |= ( )
M, s |=
M, s |= Ka
a
M, s |= K
M |=
syss
syss
syss
syss
syss
syss
s V (p)
M, s |= y M, s |=
M, s 6|=
t tal que sRa t, M, t |=
t tal que sRa t, M, t |=
M, s |= s S
Ignacio
s, h
Estado 2
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Semantica: formalizacion
(atomica)
(conjuncion)
(negaci
on)
(operador Ka )
a)
(operador K
(Validez)
M, s |= p
M, s |= ( )
M, s |=
M, s |= Ka
a
M, s |= K
M |=
syss
syss
syss
syss
syss
syss
s V (p)
M, s |= y M, s |=
M, s 6|=
t tal que sRa t, M, t |=
t tal que sRa t, M, t |=
M, s |= s S
Ignacio
s, h
Estado 2
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Semantica: formalizacion
(atomica)
(conjuncion)
(negaci
on)
(operador Ka )
a)
(operador K
(Validez)
M, s |= p
M, s |= ( )
M, s |=
M, s |= Ka
a
M, s |= K
M |=
syss
syss
syss
syss
syss
syss
s V (p)
M, s |= y M, s |=
M, s 6|=
t tal que sRa t, M, t |=
t tal que sRa t, M, t |=
M, s |= s S
Ignacio
s, h
Estado 2
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Semantica: formalizacion
(atomica)
(conjuncion)
(negaci
on)
(operador Ka )
a)
(operador K
(Validez)
M, s |= p
M, s |= ( )
M, s |=
M, s |= Ka
a
M, s |= K
M |=
syss
syss
syss
syss
syss
syss
s V (p)
M, s |= y M, s |=
M, s 6|=
t tal que sRa t, M, t |=
t tal que sRa t, M, t |=
M, s |= s S
Estado 1 s, h
M |=? Kignacio s
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
s, h
Estado 2
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Semantica: formalizacion
(atomica)
(conjuncion)
(negaci
on)
(operador Ka )
a)
(operador K
(Validez)
M, s |= p
M, s |= ( )
M, s |=
M, s |= Ka
a
M, s |= K
M |=
syss
syss
syss
syss
syss
syss
s V (p)
M, s |= y M, s |=
M, s 6|=
t tal que sRa t, M, t |=
t tal que sRa t, M, t |=
M, s |= s S
M |= Kignacio s
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
s, h
Estado 2
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Axiomatizacion S5
Las propiedades del conocimiento de agentes individuales:
Todas las tautologas proposicionales
Modus Ponens
Si , , entonces
T
Ka
K
Ka ( ) (Ka Ka )
Necesitacion sobre K
Si , entonces Ka
Introspecci
on positiva
Ka Ka Ka
Introspecci
on negativa
Ka Ka Ka
Nec
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
L
ogica Epistemica
Introduccion
Modelos de Kripke
Conocimiento de agentes individuales
Conocimiento de grupos
Conocimiento general
Conocimiento com
un
L
ogica de anuncios p
ublicos
Conceptos basicos, sintaxis y semantica
Anuncios fallidos
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
bB
b Alg
K
un agente considera posible .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
bB
b Alg
K
un agente considera posible .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
bB
b Alg
K
un agente considera posible .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
bB
b Alg
K
un agente considera posible .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
bB
b Alg
K
un agente considera posible .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
bB
b Alg
K
un agente considera posible .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
EG EG s EG
ai G Kai s
EG (Ka s Kb s . . . Kn s)
Ka Ka s Ka Kb s . . . Ka Kn s Kb Ka s Kb Kb s . . . Kb Kn s
Kn Ka s Kn Kb s . . . Kn Kn s
Habra que hacer rutas de agentes a-a, a-b, ... a-n, b-a, b-b, ...b-n,
etc
Nos imaginamos EG EG EG EG s EG4 s?C
omo se verifica esta
f
ormula en un modelo?
Y EG s? Esto nos da la idea de conocimiento comun, pero antes
introducimos un ejemplo intuitivo...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
EG EG s EG
ai G Kai s
EG (Ka s Kb s . . . Kn s)
Ka Ka s Ka Kb s . . . Ka Kn s Kb Ka s Kb Kb s . . . Kb Kn s
Kn Ka s Kn Kb s . . . Kn Kn s
Habra que hacer rutas de agentes a-a, a-b, ... a-n, b-a, b-b, ...b-n,
etc
Nos imaginamos EG EG EG EG s EG4 s?C
omo se verifica esta
f
ormula en un modelo?
Y EG s? Esto nos da la idea de conocimiento comun, pero antes
introducimos un ejemplo intuitivo...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
EG EG s EG
ai G Kai s
EG (Ka s Kb s . . . Kn s)
Ka Ka s Ka Kb s . . . Ka Kn s Kb Ka s Kb Kb s . . . Kb Kn s
Kn Ka s Kn Kb s . . . Kn Kn s
Habra que hacer rutas de agentes a-a, a-b, ... a-n, b-a, b-b, ...b-n,
etc
Nos imaginamos EG EG EG EG s EG4 s?C
omo se verifica esta
f
ormula en un modelo?
Y EG s? Esto nos da la idea de conocimiento comun, pero antes
introducimos un ejemplo intuitivo...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
EG EG s EG
ai G Kai s
EG (Ka s Kb s . . . Kn s)
Ka Ka s Ka Kb s . . . Ka Kn s Kb Ka s Kb Kb s . . . Kb Kn s
Kn Ka s Kn Kb s . . . Kn Kn s
Habra que hacer rutas de agentes a-a, a-b, ... a-n, b-a, b-b, ...b-n,
etc
Nos imaginamos EG EG EG EG s EG4 s?C
omo se verifica esta
f
ormula en un modelo?
Y EG s? Esto nos da la idea de conocimiento comun, pero antes
introducimos un ejemplo intuitivo...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
EG EG s EG
ai G Kai s
EG (Ka s Kb s . . . Kn s)
Ka Ka s Ka Kb s . . . Ka Kn s Kb Ka s Kb Kb s . . . Kb Kn s
Kn Ka s Kn Kb s . . . Kn Kn s
Habra que hacer rutas de agentes a-a, a-b, ... a-n, b-a, b-b, ...b-n,
etc
Nos imaginamos EG EG EG EG s EG4 s?C
omo se verifica esta
f
ormula en un modelo?
Y EG s? Esto nos da la idea de conocimiento comun, pero antes
introducimos un ejemplo intuitivo...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento general
EG EG s EG
ai G Kai s
EG (Ka s Kb s . . . Kn s)
Ka Ka s Ka Kb s . . . Ka Kn s Kb Ka s Kb Kb s . . . Kb Kn s
Kn Ka s Kn Kb s . . . Kn Kn s
Habra que hacer rutas de agentes a-a, a-b, ... a-n, b-a, b-b, ...b-n,
etc
Nos imaginamos EG EG EG EG s EG4 s?C
omo se verifica esta
f
ormula en un modelo?
Y EG s? Esto nos da la idea de conocimiento comun, pero antes
introducimos un ejemplo intuitivo...
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
EBn
n=0
C
omo se verifica si una f
ormula es conocimiento comun? Desde
el estado donde estemos evaluando podemos tener una ruta
compuesta por agentes del grupo G que llegue a cualquier otro
estado donde es verdadera. Se dice que es verdadera en todo
estado alcanzable por una ruta del grupo G .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
EBn
n=0
C
omo se verifica si una f
ormula es conocimiento comun? Desde
el estado donde estemos evaluando podemos tener una ruta
compuesta por agentes del grupo G que llegue a cualquier otro
estado donde es verdadera. Se dice que es verdadera en todo
estado alcanzable por una ruta del grupo G .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
EBn
n=0
C
omo se verifica si una f
ormula es conocimiento comun? Desde
el estado donde estemos evaluando podemos tener una ruta
compuesta por agentes del grupo G que llegue a cualquier otro
estado donde es verdadera. Se dice que es verdadera en todo
estado alcanzable por una ruta del grupo G .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
EBn
n=0
C
omo se verifica si una f
ormula es conocimiento comun? Desde
el estado donde estemos evaluando podemos tener una ruta
compuesta por agentes del grupo G que llegue a cualquier otro
estado donde es verdadera. Se dice que es verdadera en todo
estado alcanzable por una ruta del grupo G .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
EBn
n=0
C
omo se verifica si una f
ormula es conocimiento comun? Desde
el estado donde estemos evaluando podemos tener una ruta
compuesta por agentes del grupo G que llegue a cualquier otro
estado donde es verdadera. Se dice que es verdadera en todo
estado alcanzable por una ruta del grupo G .
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
S
REB = bB Rb
T
RDB = bB Rb
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
S
REB = bB Rb
T
RDB = bB Rb
REB = cierre reflexivo transitivo de REB
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
REB =
RDB
syss
syss
syss
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
Tipos de conocimiento
3
a
b
2
c
a,b,c
4
a
b
c
1
a
c
5
b
6
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
Tipos de conocimiento
3
a
b
2
c
a,b,c
4
a
b
c
c
1 ()
5
b
a
6
b) Conocimiento distribuido
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
Tipos de conocimiento
3
b
2 ()
c
a,b,c
c
c
1 ()
5
b
a
6
c) Conocimiento individual
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
Tipos de conocimiento
3
b
2 ()
4 ()
a
c
a,b,c
1 ()
5
b
6()
d) Conocimiento general
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
Tipos de conocimiento
3 ()
2 ()
4 ()
a
c
a,b,c
1 ()
a
6 ()
5 ()
b
d) Conocimiento com
un
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conocimiento com
un
Axiomatizacion S5C
Todas las tautologas proposicionales
Modus Ponens
K
T
Necesitacion sobre K
Introspecci
on positiva
Introspecci
on negativa
C
Necesitacion sobre C
Mezcla
Inducci
on del conocimiento com
un
Si , , entonces
Ka ( ) (Ka Ka )
Ka
Si , entonces Ka
Ka Ka Ka
Ka Ka Ka
CB ( ) (CB CB )
Si entonces CB
CB ( EB CB )
CB ( EB ) ( CB )
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
L
ogica Epistemica
Introduccion
Modelos de Kripke
Conocimiento de agentes individuales
Conocimiento de grupos
Conocimiento general
Conocimiento com
un
L
ogica de anuncios p
ublicos
Conceptos basicos, sintaxis y semantica
Anuncios fallidos
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conceptos b
asicos, sintaxis y sem
antica
Sintaxis
Para LK [] , ::= | | ( ) | Ka | []
Para LKC [] , ::= | | ( ) | Ka | CB | []
[] se lee: tras el anuncio de , se verifica
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conceptos b
asicos, sintaxis y sem
antica
Rsabelotodo = Id
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conceptos b
asicos, sintaxis y sem
antica
Semantica
M, s
M, s
M, s
M, s
M, s
M, s
|= p
|=
|=
|= Ka
|= CB
|= []
syss
syss
syss
syss
syss
syss
s V (p)
M, s 2
M, s |= y M, s |=
t S: si sRa t, entonces M, t |=
t S: si sREB t, entonces M, t |=
Si M, s |= , entonces M| , s |=
M, s |= hi syss M, s |= y M| , s |=
M| := hS , R , V i:
S
Ra
V (p)
=
=
=
[[]]M := {s S | (M, s) |= }
Ra ([[]]M [[]]M )
V (p) [[]]M
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conceptos b
asicos, sintaxis y sem
antica
a
p, w
w
a
(s) p
a
p, q
q
b
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conceptos b
asicos, sintaxis y sem
antica
a
p, w
b
(s) p
a
p, q
M, s |= [p]Kb q
aq
M, s |= [p]K
c w
M, s |= [p]K
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conceptos b
asicos, sintaxis y sem
antica
Jugamos?
a
012
021
b
a
102
c
b
201
b
a
c
210
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
120
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Conceptos b
asicos, sintaxis y sem
antica
Jugamos?
a
012
c
201
021
b
a
210
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Anuncios fallidos
Anuncios fallidos
Tenemos el siguiente modelo M:
s
p
Figura: Modelos M
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Anuncios fallidos
Anuncios fallidos
s
p
Figura: Restricci
on con [p Ka p]
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Anuncios fallidos
Axiomatizacion PAL
Todas las tautologas proposicionales
Modus ponens
K
T
Introspecci
on positiva
Introspecci
on negativa
Permanencia atomica
Anuncios y negacion
Anuncios y conjunci
on
Anuncios y conocimiento
Composici
on de anuncios
Necesitacion de K
Necesitacion de []
Si y , entonces
Ka ( ) (Ka Ka )
Ka
Ka Ka Ka
Ka Ka Ka
[]p ( p)
[] ( [])
[]( ) ([] [])
[]Ka ( Ka [])
[][] [ []]
Si , entonces Ka
Si , entonces []
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Anuncios fallidos
C
Mezcla
Inducci
on de conocimiento com
un
Necesitacion de C
Anuncios y conocimiento com
un
CB ( ) (CB CB )
CB ( EB CB )
CB ( EB ) ( CB )
Si , entonces CB
Si [] y ( ) EB ,
entonces []CB
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
L
ogica Epistemica
Introduccion
Modelos de Kripke
Conocimiento de agentes individuales
Conocimiento de grupos
Conocimiento general
Conocimiento com
un
L
ogica de anuncios p
ublicos
Conceptos basicos, sintaxis y semantica
Anuncios fallidos
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
El problema y su formalizaci
on
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
El problema y su formalizaci
on
Agentes
Baraja
Distribucion del reparto
Tama
no de la baraja que
coincide con el del reparto
Mano de a; su tamano
Mano de b; su tamano
Mano de c; su tamano
Reparto (poseedores de las cartas)
= 140
012|345|6)
Kesmesm@gmail.com
Ignacio Hern
andez(Rus,
y Enrique
Sarri
on iha@us.es,
a (0a 1a 2a )
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Soluci
on al PCR
Solucion al PCR
Protocolo = secuencia suficientemente informativa e incondicionalmente
segura de anuncios publicos
F
ormula
(Rus, 012|345|6) |= Ka d0b
(Rus, 012|345|6) |= Kb d0a
(Rus, 012|345|6) |= Kc d0a Kc d0b
(Rus, 012|345|6) |= C{a,b,c} (Kc d0a Kc d0b )
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
Denominaci
on abreviada
aknowsbs
bknowsas
cignorant
CBcignorant; B = {a, b, c}
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Soluci
on al PCR
Protocolos no validos
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Soluci
on al PCR
Protocolos no validos
8 012.345.6 c 345.012.6
a
012.346.5 c 346.012.5
140
013.456.2
012.345.6
234.016.5
a
[012a 012b ] =
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
012.356.4 c 356.012.4
b
012.456.3 c 456.012.3
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Soluci
on al PCR
Protocolos no validos
8 012.345.6 c 345.012.6
a
012.346.5 c 346.012.5
a
012.356.4 c 356.012.4
a
012.456.3 c 456.012.3
[345a 345b ] =
2 012.345.6 c 345.012.6
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Soluci
on al PCR
Protocolos no validos
4! 012.345.6 c 345.012.6
a
012.346.5 c 346.012.5
140
012.345.6
234.016.5
a
[Ka (012a 012b )] =
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
012.456.3 c 456.012.3
Introducci
on a la L
ogica Epist
emica Din
amica
012.356.4 c 356.012.4
013.456.2
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Soluci
on al PCR
a anuncia que 6a .
b anuncia que 6b .
(Rus, 012|345|6) |=? [Ka 6a ][Kb 6b ] condiciones
Que falla aqu? CBcignorant s
olo es verdad al final del protocolo ya
que:
(Rus, 012|345|6) 2 [Ka 6a ]Ka cignorant
Ve
amoslo con DEMO
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Soluci
on al PCR
(Rus, 012|345|6) |= Ka
3
4
Ignacio Hern
andez y Enrique Sarri
on iha@us.es, esmesm@gmail.com
Introducci
on a la L
ogica Epist
emica Din
amica