Introducción A La Lógica Epistémica Dinámica

L
ogica Epist
emica
Conocimiento de grupos
L
ogica de anuncios p
ublicos
Problema de las cartas rusas
Introduccion a la Logica Epistemica Dinamica

Ignacio Hernandez y Enrique Sarri
on
iha@us.es, esmesm@gmail.com
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
L
ogica de anuncios p
ublicos

1
L
ogica Epistemica
Introduccion
Modelos de Kripke
Conocimiento de agentes individuales
Conocimiento general
Conocimiento com
un
L
ogica de anuncios p
ublicos
Conceptos basicos, sintaxis y semantica
Anuncios fallidos

El problema y su formalizaci
on
Solucion al PCR
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
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
La idea aqu Aproximaci

on FORMAL al razonamiento que
conlleva aspectos epistemicos.
Precursores: Von Wrigth (1950) + Hintikka (1962)
Interes principal:
Capturar formalmente ciertas propiedades inherentes del
conocimiento dados ciertos presupuestos
Ofrecer metodos para el an
alisis de las inferencias que tienen
contenido epistemol
ogico
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
verdadera

Interes principal:
contenido epistemol
ogico
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
verdadera

Interes principal:
contenido epistemol
ogico
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
verdadera

Interes principal:
contenido epistemol
ogico
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
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
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Informaci
Aproximaci
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Informaci
Aproximaci
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Informaci
Aproximaci
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on
Lo basico
Informaci
Aproximaci
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on
Encuadre de la logica epistemica

L
ogica clasica
Enunciados, primer orden, orden superior...
Extensi
on con operadores modales (, ) M
as recursos expresivos
Interpretaciones de la modal
De
ontica
Temporal
...
, K)
Epist
emica (K
Expresa modos de enunciar como un agente sabe que... o un
agente cree que...
L
ogicas no clasicas
Trivalentes, multivalentes
Intuicionista
Borrosa
No mon
otona
...
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on

L
ogica clasica
Extensi
De
ontica
Temporal
...
, K)
Epist
emica (K
agente cree que...
L
ogicas no clasicas
Intuicionista
Borrosa
No mon
otona
...
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on

L
ogica clasica
Extensi
De
ontica
Temporal
...
, K)
Epist
emica (K
agente cree que...
L
ogicas no clasicas
Intuicionista
Borrosa
No mon
otona
...
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on

L
ogica clasica
Extensi
De
ontica
Temporal
...
, K)
Epist
emica (K
agente cree que...
L
ogicas no clasicas
Intuicionista
Borrosa
No mon
otona
...
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Introducci
on

L
ogica clasica
Extensi
De
ontica
Temporal
...
, K)
Epist
emica (K
agente cree que...
L
ogicas no clasicas
Intuicionista
Borrosa
No mon
otona
...
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
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
Pero esto no quiere decir que sea EPISTEMOLOGICAMENTE

distinguible para un agente/grupo
Intuici
on basica: si un agente/grupo no tiene informaci
on completa
sobre todo lo que ocurre en el mundo entonces ese agente/grupo
considerara un numero de mundos posibles a partir de la informaci
on
incompleta que posee
El conocimiento de los agentes/grupos se definira en funcion del
acceso a diferentes estados
Estos mundos posibles considerados por el agente/grupo son los
candidatos posibles a ser el verdadero
Para un agente/grupo es verdad que sabe un hecho si en todos los
mundos que considera posibles se satisface
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke
ONTOLOGICAMENTE

Intuici
on completa
on
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke
ONTOLOGICAMENTE

Intuici
on completa
on
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke
ONTOLOGICAMENTE

Intuici
on completa
on
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke
Utilizaremos estructuras semanticas relacionales Grafos dirigidos.

a
s, h
s, h
Representacion del conocimiento Estados accesibles
Posibilidades epistemicas
Posibilidades epistemicas Posibilidades ontol
ogicas
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke

a
s, h
s, h
ogicas
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke

a
s, h
s, h
ogicas
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke
Ejemplo: tiempo en Andaluca occidental

Huelva
Cadiz
Sevilla
Cordoba
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
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke

Si miro por la ventana y conozco el tiempo en Sevilla...
Huelva
Cadiz
Sevilla
Cordoba
?
?
soleado
?
Cuadro: Ocho posibilidades epistemicas para Ignacio
Que inducen 8 estados indistinguibles para Ignacio en base a su

conocimiento
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke
Huelva
Sevilla
?
soleado
Cuadro: Simplificaci
on del escenario
s, h
Ignacio
s, h
Figura: Modelo de Kripke del conocimiento
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke
Modelo de kripke: formalizacion
Para agentes A = {a, b, c...} y atomos P = {p, q, r , . . . },

M = hS, R, V i:
S = {s1 , s2 ..., sn , ...} representa el conjunto de estados.
R es una funci
on que a cada agente a A, le asigna una relaci
on de
accesibilidad Ra S S.
V : P 2S tal que V (p) S es el conjunto de estados donde p es
verdadero.
Con (M, s) senalamos el estado s en el modelo M evaluacion de

f
ormulas.
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Modelos de Kripke
Modelo de kripke: formalizacion

Para agentes A = {a, b, c...} y atomos P = {p, q, r , . . . },
M = hS, R, V i:
S = {s1 , s2 ...sn , t, u, ...} representa el conjunto de estados.
R es una funci
on que a cada agente a A, le asigna una relaci
on de
accesibilidad Ra S S.
V : P 2S tal que V (p) S.
Para la logica epistemica R se caracteriza cumpliendo:

sRa s
sRa t tRa s
sRa t tRa u sRa u
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Sintaxis LK
Para agentes A = {a, b, c...} y atomos P = {p, q, r , . . . }
::= p | | ( ) | Ka
Ka se lee a sabe que

Ka expresa de manera equivalente:
Que el agente a no sabe que .
Que es consistente con el conocimiento que tiene a.
Que el agente a considera que es posible .
a def Ka
K
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
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
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Ejemplo tiempo
Tablas
Huelva
Sevilla
Grafo
?
soleado
Ignacio
s, h
s, h
Analticamente
ignacio h K
ignacio h)
Kignacio s (K
Kignacio Kignacio s
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Ejemplo tiempo
Tablas
Huelva
Sevilla
Grafo
?
soleado
Ignacio
s, h
s, h
Analticamente
ignacio h K
ignacio h)
Kignacio s (K
Kignacio Kignacio s
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Ejemplo tiempo
Tablas
Huelva
Sevilla
Grafo
?
soleado
Ignacio
s, h
s, h
Analticamente
ignacio h K
ignacio h)
Kignacio s (K
Kignacio Kignacio s
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Semantica Kripke
La estructura de Kripke nos captura la idea de modelo informacional.

Para evaluar formulas usamos el par (M, s): se
nalamos un estado.
Ejemplo: Modelo M
Estado 1 s, h
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
Ignacio
s, h
Estado 2
L
ogica Epist
emica
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 |=
M, s |= s S
Ejemplo: Modelo M (Reflexividad omitida)

Estado 1 s, h
Ignacio
s, h
(M, Estado1) |=? h Kignacio h

Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
Estado 2
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
(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|=
M, s |= s S

Estado 1 s, h
Ignacio
s, h
(M, Estado1) |= h Kignacio h

Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
Estado 2
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
(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|=
M, s |= s S

Estado 1 s, h
Ignacio
s, h
(M, Estado2) |=? h Kignacio h

Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
Estado 2
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
(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|=
M, s |= s S

Estado 1 s, h
Ignacio
s, h
(M, Estado2) |= h Kignacio h

Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
Estado 2
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
(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|=
M, s |= s S

Ignacio
Estado 1 s, h
M |=? Kignacio s
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
s, h
Estado 2
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
(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|=
M, s |= s S

Ignacio
Estado 1 s, h
M |= Kignacio s
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
s, h
Estado 2
L
ogica Epist
emica
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
restringida para la derivabilidad. Correcta, completa, decidible y compacta
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

1
L
ogica Epistemica
Introduccion
Modelos de Kripke
Conocimiento com
un
L
ogica de anuncios p
ublicos
Anuncios fallidos

on
Solucion al PCR
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento general: Todos saben...

Podemos considerar no s
olo agentes individualmente sino grupos de
agentes.
Agentes en un grupo pueden tener:
Conocimiento grupal de hechos. Ej: Sabemos que no llueve
Conocimiento sobre el conocimiento de otros agentes. Ej: Se que
vosotros sabeis que no llueve
Se considera el conocimiento de un grupo como una sola entidad

Es importante esta idea?. Ej: Sociedad con vehculos a motor desea
que sea el caso de que:
Todos saben que rojo significa para y verde continuar la marcha.
V
EB = bB Kb Todos los agentes saben .
EB =
bB
b Alg
K
un agente considera posible .
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

agentes.

V
EB =
bB
b Alg
K
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

agentes.

V
EB =
bB
b Alg
K
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

agentes.

V
EB =
bB
b Alg
K
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

agentes.

V
EB =
bB
b Alg
K
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

agentes.

V
EB =
bB
b Alg
K
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento general en detalle

Supongamos un grupo de n agentes G A = {a, b, . . . n} y que s =
esta soleado
EG ={a,b,...n} s Es mas o menos facil de intuir: Todos saben que
esta soleado
EG EG s ya es un poco mas difcil de intuirla a primera vista. Veamos
como analizarla: V
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
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

esta soleado
esta soleado
como analizarla: V
EG EG s EG
ai G Kai s
etc
f
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

esta soleado
esta soleado
como analizarla: V
EG EG s EG
ai G Kai s
etc
f
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

esta soleado
esta soleado
como analizarla: V
EG EG s EG
ai G Kai s
etc
f
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

esta soleado
esta soleado
como analizarla: V
EG EG s EG
ai G Kai s
etc
f
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

esta soleado
esta soleado
como analizarla: V
EG EG s EG
ai G Kai s
etc
f
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un
Conocimiento comun: Todos saben que todos saben...

Tres agentes B = {1, 2, 3} en tres despachos diferentes.
Soleado en Sevilla s
(K1 s K2 s K3 s) EB s EB EB s
Conocimiento comun = iteraci
on del conocimiento general E .
CB =
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
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un

CB =
EBn
n=0
C
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un

CB =
EBn
n=0
C
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un

CB =
EBn
n=0
C
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un

CB =
EBn
n=0
C
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un
Conocimiento distribuido: Entre algunos saben...
Dos agentes B = {Trabajador , Empresario}

Trabajador Si cobro me voy al cine Ktrabajador ( )
Empresario Ha cobrado Kempresario
Entre los dos saben que el trabajador se va al cine:
D{trabajador ,empresario}
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un

Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un

Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un

Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un
Semantica operadores de conocimiento de grupos
S
REB = bB Rb
T
RDB = bB Rb
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
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
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un

S
Rb
TbB
= bB Rb
REB =
RDB
REB = cierre reflexivo transitivo de REB

(M, s) |= EB
(M, s) |= DB
(M, s) |= CB
syss
syss
syss
t | sREB t, se verifica que (M, s) |=

t | sRDB t, se verifica que (M, s) |=
t | sREB t, se verifica que (M, s) |=
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
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
a) Modelo inicial: S = {1, 2, 3, 4, 5, 6}, tres agentes A = {a, b, c}, (M, 1)
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un
3
a
b
2
c
a,b,c
4
a
b
c
c
1 ()
5
b
a
6
b) Conocimiento distribuido
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un
3
b
2 ()
c
a,b,c
c
c
1 ()
5
b
a
6
c) Conocimiento individual
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un
3
b
2 ()
4 ()
a
c
a,b,c
1 ()
5
b
6()
d) Conocimiento general
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un
3 ()
2 ()
4 ()
a
c
a,b,c
1 ()
a
6 ()
5 ()
b
d) Conocimiento com
un
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conocimiento com
un
Axiomatizacion S5C
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 )
Correcta, completa, decidible y no compacta
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

1
L
ogica Epistemica
Introduccion
Modelos de Kripke
Conocimiento com
un
L
ogica de anuncios p
ublicos
Anuncios fallidos

on
Solucion al PCR
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conceptos b
asicos, sintaxis y sem
antica
Anuncios publicos: conceptos basicos

Extension de la logica epistemica con un nuevo operador [].
Dinamica del estado informacional.
Tras el anuncio, se verifica Nos permite buscar invariantes.
Caractersticas de los anuncios:
P
ublicos.
Verdaderos.
Si son informativos, eliminan estados del modelo.
Sintaxis
Para LK [] , ::= | | ( ) | Ka | []
Para LKC [] , ::= | | ( ) | Ka | CB | []
[] se lee: tras el anuncio de , se verifica
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conceptos b
antica
Anuncios vinculados o desvinculados
Sintaxis: [] no hace referencia a un agente en particular.

[] no esta vinculado a un agente concreto (o vinculado al
sabelotodo.
Ksabelotodo
Rsabelotodo = Id
Anuncio por parte de un agente es mas informativo:[Ka ]
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conceptos b
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
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conceptos b
antica
a
p, w
w
a
(s) p
a
p, q
q
b
Figura: Modelo (M, s) sin actualizar
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conceptos b
antica
a
p, w
b
(s) p
a
p, q
Figura: Modelo (M|p , s) actualizado
M, s |= [p]Kb q
aq
M, s |= [p]K
c w
M, s |= [p]K
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conceptos b
antica
Jugamos?
a
012
021
b
a
102
c
b
201
b
a
c
210
Figura: Reparto inicial (M, s)
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
120
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Conceptos b
antica
Jugamos?
a
012
c
201
021
b
a
210
Figura: Anuncio h1a i
(Hexa, 012) |= h1a iKc 0a

(Hexa, 012) |= h1a iKc (0a 1b 2c )
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Anuncios fallidos
Anuncios fallidos
Tenemos el siguiente modelo M:
s
p
Figura: Modelos M
Que pasa si se anuncia p Ka p?
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Anuncios fallidos
Anuncios fallidos
s
p
Figura: Restricci
on con [p Ka p]
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Anuncios fallidos
Axiomatizacion PAL
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 []
Correcta, completa, decidible, compacta

Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Anuncios fallidos
Axiomatizacion PAC = PAL + Conocimiento comun:
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
Correcta, completa, decidible, no compacta
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos

1
L
ogica Epistemica
Introduccion
Modelos de Kripke
Conocimiento com
un
L
ogica de anuncios p
ublicos
Anuncios fallidos

on
Solucion al PCR
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
on
Enunciado del problema
De un paquete de siete cartas conocidas, dos agentes toman tres cartas

cada uno y un tercer agente espa coge la septima y ultima carta.
C
omo podra cada agente de tres cartas informar abiertamente, sin
cifrar, al otro sobre sus propias cartas evitando que el espa aprendiera los
correspondientes repartos incluso si escucha y entiende la informaci
on
transmitida?
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
on
Resumen del escenario

A = {a, b, c}
C = {0, 1, 2, 3, 4, 5, 6}
#d = 3.3.1
|C | = |#d| = 7
d 1 (a) = 012; #a = 3
d 1 (b) = 345; #b = 3
d 1 (c) = 6; #c = 1
d0 = (0a 1a 2a 3b 4b 5b 6c )
= 012|345|6
= 012.345.6
`7`4`1
3
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
(Rus, 012|345|6) |= (0a 1a 2a 3b 4b 5b 6c )

Kb (3b 4b 5b ) Kc 6c
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
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
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
L
ogica de anuncios p
ublicos
Soluci
on al PCR
Protocolos no validos
Anuncio a: 012a 012b

Anuncio b: 345a 345b
(Rus, 012|345|6) |=? [012a 012b ][345a 345b ] condiciones
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Soluci
on al PCR
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
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
L
ogica de anuncios p
ublicos
Soluci
on al PCR
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
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Soluci
on al PCR
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
012.456.3 c 456.012.3
(Rus, 012|345|6) |= [012a 012b ] cignorant

(Rus, 012|345|6) 2 [Ka (012a 012b )] cignorant
Introducci
on a la L
ogica Epist
emica Din
amica
012.356.4 c 356.012.4
013.456.2
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Soluci
on al PCR
Protocolos no validos II: DEMO
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
Introducci
on a la L
ogica Epist
emica Din
amica
L
ogica Epist
emica
L
ogica de anuncios p
ublicos
Soluci
on al PCR
Protocolo incondicionalmente seguro: DEMO
a anuncia (012a 034a 056a 135a 246a ) (= )

b anuncia 6c
1
(Rus, 012|345|6) |= Ka
(Rus| , 012|345|6) |= C{a,b,c} CBcignorant

(Rus| , 012|345|6) |= Kb 6c
3
4
(Rus||Kb 6c , 012|345|6) |= (C{a,b,c} CBcignorant aknowsbs

bknowsas)
Ignacio Hern
Introducci
on a la L
ogica Epist
emica Din
amica

Introducción A La Lógica Epistémica Dinámica

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Introducción A La Lógica Epistémica Dinámica

Caricato da

Copyright:

Formati disponibili

L

Problema de las cartas rusas

Introduccion a la Logica Epistemica Dinamica

Introduccion a la Logica Epistemica Dinamica

Problema de las cartas rusas

Problema de las cartas rusas

Problema de las cartas rusas

La idea aqu Aproximaci

Problema de las cartas rusas

La idea aqu Aproximaci

Problema de las cartas rusas

La idea aqu Aproximaci

Problema de las cartas rusas

La idea aqu Aproximaci

Problema de las cartas rusas

Problema de las cartas rusas

Problema de las cartas rusas

Problema de las cartas rusas

Problema de las cartas rusas

Problema de las cartas rusas

Encuadre de la logica epistemica

Problema de las cartas rusas

Encuadre de la logica epistemica

Problema de las cartas rusas

Encuadre de la logica epistemica

Problema de las cartas rusas

Encuadre de la logica epistemica

Problema de las cartas rusas

Encuadre de la logica epistemica

Problema de las cartas rusas

Pero esto no quiere decir que sea EPISTEMOLOGICAMENTE

Problema de las cartas rusas

Pero esto no quiere decir que sea EPISTEMOLOGICAMENTE

Problema de las cartas rusas

Pero esto no quiere decir que sea EPISTEMOLOGICAMENTE

Problema de las cartas rusas

Pero esto no quiere decir que sea EPISTEMOLOGICAMENTE

Problema de las cartas rusas

Utilizaremos estructuras semanticas relacionales Grafos dirigidos.

Problema de las cartas rusas

Utilizaremos estructuras semanticas relacionales Grafos dirigidos.

Problema de las cartas rusas

Utilizaremos estructuras semanticas relacionales Grafos dirigidos.

Problema de las cartas rusas

Ejemplo: tiempo en Andaluca occidental

Problema de las cartas rusas

Ejemplo: tiempo en Andaluca occidental

Cuadro: Ocho posibilidades epistemicas para Ignacio

Que inducen 8 estados indistinguibles para Ignacio en base a su

Ejemplo: tiempo en Andaluca occidental

Figura: Modelo de Kripke del conocimiento

Problema de las cartas rusas

Problema de las cartas rusas

Modelo de kripke: formalizacion

Para agentes A = {a, b, c...} y atomos P = {p, q, r , . . . },

Con (M, s) senalamos el estado s en el modelo M evaluacion de

Problema de las cartas rusas

Modelo de kripke: formalizacion

Para la logica epistemica R se caracteriza cumpliendo:

Conocimiento de agentes individuales

Ka se lee a sabe que

Problema de las cartas rusas

Conocimiento de agentes individuales