aproximación a la lógica epistémica mediante conocimiento común y juegos de coordinación

Aproximacion a la Logica Epistemicamediante Conocimiento Comun y Juegos

de Coordinacion

Marco A. Hernandez [email protected], [email protected]

Taller de Didactica de la Logica10 de abril de 2008,IIFs

Marco A. Hernandez

Logica Epistemica, Conocimiento Comun y Juegos de Coordinacion

Introduccion Aproximacion Logica epistemica

Indice1 Introduccion

PropuestaConocimiento ComunJuegos de Coordinacion

2 Aproximacion a la Logica EpistemicaUn ejemplo de Conocimiento ComunUn problema de CoordinacionUn juego de no coordinacion

3 Logica epistemicaUn operador para el conocimientoLogica proposicional y Logica epistemicaAproximacion a la Semantica de la Logica Epistemica

Marco A. Hernandez

Propuesta

Un curso de logica modal

Presentar un curso de Logica Modal para estudiantes deltercer ano de bachillerato o de los primeros semestres de laslicenciaturas en filosofa, matematicas o ciencias de lacomputacion.

Prerrequisitos: Conocimiento de logica proposicional

Marco A. Hernandez

Propuesta

Metodologa

Se inicia el curso abordando la logica epistemica, la cuales un caso particular de logica modal.

Se motiva el estudio de la Logica epistemica mediantesituaciones cotidianas en las cuales aparece elconocimiento comun o situaciones en las cuales lacoordinacion entre personas es necesaria para alcanzarun objetivo.

Marco A. Hernandez

Propuesta

Metodologa

Se inicia el curso abordando la logica epistemica, la cuales un caso particular de logica modal.

Se motiva el estudio de la Logica epistemica mediantesituaciones cotidianas en las cuales aparece elconocimiento comun o situaciones en las cuales lacoordinacion entre personas es necesaria para alcanzarun objetivo.

Marco A. Hernandez

Propuesta

Contenido

Este curso cubrira en un primer modulo el siguiente material Aproximacion a la Logica epistemica Estructuras de Kripke Semantica de la Logica epistemica Sistemas de Logica epistemica

Marco A. Hernandez

Propuesta

Contenido

Marco A. Hernandez

Propuesta

Contenido

Marco A. Hernandez

Propuesta

Contenido

Marco A. Hernandez

Propuesta

Razon de la propuesta

La exposicion cronologica de ramas de una misma disciplinano siempre rinde buenos frutos. En ocaciones invertir o alterarel orden historico da mejores resultados

El caso de los numeros negativos y racionales El caso del Calculo Diferencial e Integral

Marco A. Hernandez

Propuesta

Objetivos

Evitar un rechazo temprano de esta importanteherramienta

Lograr el gusto por la logica modal Ampliar el horizonte logico del estudiante

Marco A. Hernandez

Propuesta

Objetivos

Marco A. Hernandez

Propuesta

Objetivos

Marco A. Hernandez

Propuesta

Plan de la Sesion de hoy

Dar ejemplos de conocimiento comun, juegos decoordinacion y un juego de no coordinacion en los quellamaremos la atencion sobre el conocimiento de losjugadores

Despues de definir el lenguaje a utilizar, se le pedira alestudiante que realice una serie de ejercicios

Marco A. Hernandez

Propuesta

Plan de la Sesion de hoy

Dar ejemplos de conocimiento comun, juegos decoordinacion y un juego de no coordinacion en los quellamaremos la atencion sobre el conocimiento de losjugadores

Despues de definir el lenguaje a utilizar, se le pedira alestudiante que realice una serie de ejercicios

Marco A. Hernandez

Propuesta

Observaciones

No es un curso de filosofa de la logica Es un curso de introduccion a la logica modal

Marco A. Hernandez

Propuesta

Observaciones

No es un curso de filosofa de la logica Es un curso de introduccion a la logica modal

Marco A. Hernandez

Conocimiento Comun

Conocimiento comun

Una proposicion p es conocimiento comun en un grupo depersonas G, si y solo si todos los miembros de G saben p yademas, todos los miembros de G saben que todos saben p.

Marco A. Hernandez

Juegos de Coordinacion

Juegos de coordinacion

Podramos decir que los juegos de coordinacion sonsituaciones en las cuales muchos agentes intentan lograruniformidad de acciones haciendo cada uno lo que los otrosharan, con el fin de lograr una meta comun. ([Lew69, p. 12])

Marco A. Hernandez

Un ejemplo de Conocimiento Comun

Un grupo de estudiantes G

Supongamos un salon de clase con un grupo de cuatroestudiantes

G ={Adielisa,Benigno,Cecilia,Dario}

Marco A. Hernandez

El teorema de Pitagoras

Supongamos que el maestro pregunta

Que dice el teorema de Pitagoras?

Marco A. Hernandez

El teorema de Pitagoras

Hay un silencio prolongado. Todos los miembros de la clase semiran unos a otros

Adielisa, Benigno y Cecilialavantan la mano para indicar queellos saben lo que dice el teoremapero Dario no.

Marco A. Hernandez

El teorema de PitagorasCecilia pasa al frente y dice: En todo triangulo rectanguloyescribe en el pizarron, el cuadrado de la hipotenusa es iguala la suma de los cuadrados de los catetos.

Marco A. Hernandez

Un anuncio publico

Una vez que el Cecilia ha hecho esto, todos en la clasetienen conocimiento mutuo del teorema de Pitagoras (T.P.):

Adielisa sabe T.P.; Benigno sabe T.P.; Cecilia sabe T.P.; Dario sabe T.P.

Pero hay un elemento adicional: Adielisa sabe que todos en G saben T.P; Cecilia sabe que Dario sabe (T.P.); Adielisa sabe que Cecilia sabe que Adielisa sabe (T.P.) . . .

Marco A. Hernandez

Un anuncio publico

Marco A. Hernandez

Un anuncio publico

Marco A. Hernandez

Un anuncio publico

Marco A. Hernandez

Un anuncio publico

Marco A. Hernandez

Un anuncio publico

Marco A. Hernandez

Un anuncio publico

Marco A. Hernandez

Un anuncio publico

Marco A. Hernandez

Un anuncio publico

Marco A. Hernandez

Un anuncio publico

Marco A. Hernandez

Ejercicio 1

Que otros hechos interesantes se siguen delconocimiento de los miembros del salon de clases, enparticular del grupo G?

Solucion. El grupo G tiene conocimiento comun delTeorema de Pitagoras: Adielisa, Benigno, Dario y CeciliaSaben T.P y Adielisa sabe Benigno, Cecilia y Dario sabenT.P y Benigno sabe que. . .

Marco A. Hernandez

Ejercicio 1

Que otros hechos interesantes se siguen delconocimiento de los miembros del salon de clases, enparticular del grupo G?

Solucion. El grupo G tiene conocimiento comun delTeorema de Pitagoras: Adielisa, Benigno, Dario y CeciliaSaben T.P y Adielisa sabe Benigno, Cecilia y Dario sabenT.P y Benigno sabe que. . .

Marco A. Hernandez

Ejercicio 2

Represente los hechos acerca del conocimiento de G y cadauno de sus miembros utilizando logica proposicional.

Marco A. Hernandez

Propuesta de solucion

A: Adielisa sabe T.PB: Benigno sabe T.PC: Cecilia sabe T.P.D: Dario sabe T.PA B C D : G sabe T.P

Marco A. Hernandez

Ejercicio 3

Represente el conocimiento comun de G con logicaproposicional

Marco A. Hernandez

Un problema de Coordinacion

La llamada interrumpida

Supongamos que Adielisa y Benigno estan hablando por telefono yque despues de tres minutos se corta la llamada. Ambos desean quela conexion sea restituida inmediatamente, lo cual sucedara si, y solosi, uno de ellos llama nuevamente mientras el otro espera. Importapoco quien sea el que espere y quien sea el que llame. Cada uno deellos debe elegir si llamara de nuevo de acuerdo a las expectativasque tenga de lo que el otro elegira, y llamara entonces si, y solo si, elotro espera.([Lew69, p. 5])

Marco A. Hernandez

Algunos hechos sobre la situacion

Adielisa esperara pues sabeque Benigno llamaranuevamente

Benigno llamara pues sabeque Adielisa esperara

Adielisa sabe que Benignollamara pues sabe queAdielisa esperara

. . .

Marco A. Hernandez

. . .

Marco A. Hernandez

. . .

Marco A. Hernandez

. . .

Marco A. Hernandez

Ejercicio 4

Represente los hechos anteriores con logica proposicional

Marco A. Hernandez

A: Adielisa esperara B: Benigno llamara nuevamente C: Adielisa sabe que Benigno llamara nuevamente? D: Benigno sabe que Adielisa esperara?

Marco A. Hernandez

Un juego de no coordinacion

Juego de PockerAhora el el grupo G esta de recreo y deciden jugar Pocker

Marco A. Hernandez

Juego de Pocker

En un juego como este gana quien tenga pares por sobrequien no los tenga,

Marco A. Hernandez

Juego de Pocker

Gana quien tenga un as por sobre quien no tenga ni as ni pares

Marco A. Hernandez

El juego de Cecilia y Dario

Supongamos que Cecilia y Dario tienen el siguiente juego([Bar87])

Jugador Carta oculta Carta abiertaCecilia A 3Dario 3 3

Marco A. Hernandez

algunos hechos

Dario no sabe que el tiene la mano ganadora Cecilia piensa que tiene una buena oportunidad de ganar. Queremos modelar la diferencia entre las cartas abiertas y

las cartas cerradas

Marco A. Hernandez

algunos hechos

las cartas cerradas

Marco A. Hernandez

algunos hechos

las cartas cerradas

Marco A. Hernandez

algunos hechos

Las cartas abiertas son conocimiento comun Las cartas cerradas son informacion privada

Marco A. Hernandez

algunos hechos

Las cartas abiertas son conocimiento comun Las cartas cerradas son informacion privada

Marco A. Hernandez

Si H es la relacion tener una carta entonces

< H,Dario,3 > representa el hecho de que Dario tiene3

Cecilia sabe que < H,Dario,3 > La cuestion de fondo es representar adecuadamente el

conocimiento comun de hechos como < H,Dario,3 >

Marco A. Hernandez

Algunos hechos

Cecilia no sabe que < H,Dario,3 > Dario no sabe que < H,Cecilia,A > Cecilia y Dario saben que < H,Dario,3 > Cecilia y Dario saben que < H,Cecilia,3 >

Marco A. Hernandez

Algunos hechos

Marco A. Hernandez

Algunos hechos

Marco A. Hernandez

Algunos hechos

Marco A. Hernandez

Ejercicio 5

Represente los hechos anteriores con logica proposicional

Marco A. Hernandez

C: Cecilia no sabe que < H,Dario,3 > D: Dario no sabe que < H,Cecilia,A > E F : Cecilia y Dario saben que < H,Dario,3 > G H: Cecilia y Dario saben que < H,Cecilia,3 >

Marco A. Hernandez

Un operador para el conocimiento

Logica Epistemica

La logica epistemica, que da un tratamiento formal de lasnociones de conocimiento y creencia de las que se ocupa elfilosofo interesado en epistemologa, es un caso particular delogica modal([MvdH95]).

Marco A. Hernandez

Logica ModalLa logica modal es una una extension de la logica clasica.

LogicaClasica

Logica Modal

LogicaClasica

Marco A. Hernandez

Logicas ModalesEpistemica, Aletica, Doxastica, Deontica

Ki

K iKi Ki

LogicaClasica

Marco A. Hernandez

Ki

K iKi Ki

LogicaClasica

Marco A. Hernandez

Ki

K iKi Ki

B

LogicaClasica

Marco A. Hernandez

Ki

K iKi Ki

B

LogicaClasica

P

O

Marco A. Hernandez

Logica EpistemicaNos concetraremos en la logica Epistemica

Ki

K iKi Ki

LogicaClasica

Marco A. Hernandez

El operador de conocimientoAhora enriqueceremos nuestro lenguaje proposicional con unoperador de conocimiento con un subndice relacionado a laspersonas:

K

Donde se sutituye por cualquier formula de la logicaproposicional.

Marco A. Hernandez

K i

Marco A. Hernandez

K i

Marco A. Hernandez

K i Que leeremos como

El agente, o la persona, i SABE

Marco A. Hernandez

Ejemplos de proposiciones epistemicasCon los siguientes elementos:

j :=JuanQ := Cervantes escribio el QuijoteR := Rulfo escribio novela.H := Shakespeare escribio Hamlet

Proposiciones epistemicas

KjQ: Juan sabe que Cervantes escribio ElQuijoteKjR: Juan sabe que Rulfo no escribio novelaKjH: Juan no sabe que Shakespeare escribioHamlet

Marco A. Hernandez

Ejercicio 6

Escriba nuevamente sus respuestas a los Ejercicios 2,4 y5 usando el operador de conocimiento

Reintente el Ejercicio 3 con el operador de conocimiento

Marco A. Hernandez

Ejercicio 6

Escriba nuevamente sus respuestas a los Ejercicios 2,4 y5 usando el operador de conocimiento

Reintente el Ejercicio 3 con el operador de conocimiento

Marco A. Hernandez

KAdielisaT .P.: Adielisa sabe T.P KAdielisaT .P. KBenignoT .P. KCeciliaT .P. KDarioT .P. KAdielisaKBenignoT .P. KAdielisaKCeciliaT .P. . . . ?

Marco A. Hernandez

KAdielisaT .P.: Adielisa sabe T.P KAdielisaT .P. KBenignoT .P. KCeciliaT .P. KDarioT .P. KAdielisaKBenignoT .P. KAdielisaKCeciliaT .P. . . . ?

Marco A. Hernandez

Logica proposicional y Logica epistemica

Comparemos las proposiciones

LOGICA PROPOSICIONAL LOGICA EPISTEMICAA: Adielisa esperara A

B: Benigno llamara nuevamente BC: Adielisa sabe que Benigno llamara nuevamente KAdielisaB

D: Benigno sabe que Adielisa esperara KBenignoAE : Cecilia no sabe que < H,Dario,3 > KCecilia < H,Dario,3 >F : Dario no sabe que < H,Cecilia,A > KDario < H,Cecilia,A >G: Adielisa sabe que todos en G saben T.P KAdielisaKGT .P.H: Cecilia sabe que Benigno sabe T.P. KCeciliaKBenignoT .P.

I: Adielisa sabe que Cecilia sabe que Adielisa sabe T.P. KAdielisaKCeciliaKAdielisaT .P.

Marco A. Hernandez

Semantica

Semantica de una proposicion epistemica

Consideremos la siguiente proposicion del juego de Pockerentre Cecilia y Dario: Dario no sabe que ha ganado Cecilia sabe que < H,Dario,3 > Cuando podemos decir que estas proposiciones son

verdaderas?

Marco A. Hernandez

Semantica

verdaderas?

Marco A. Hernandez

Semantica

verdaderas?

Marco A. Hernandez

Semantica

Aproximacion a la sematica de la logicaepistemica

Dado el estado de informacion, s1, que poseen tanto Ceciliacomo Dario, esas proposiciones se satisfacen. En el caso deCecilia, un nuevo estado de informacion s2 no alterara el valorde verdad de la proposicion < H,Dario,3 >. En el caso deDario, la proposicion Dario ha ganado, sera falsa en un estadode informacion s2 en el cual la proposicion < H,Cecilia,3 >se satisfaga; y sera verdadera en un estado s3 donde< H,Cecilia,3 > sea falsa. Esta es la razon por la cual Dariono sabe que ha ganado en s1.

Marco A. Hernandez

Semantica

Consideremos: a) un conjunto de estados S = {s1, s2, s3}

s1

Marco A. Hernandez

Semantica

s2

s1

Marco A. Hernandez

Semantica

s3s2

s1

Marco A. Hernandez

Semantica

b) una proposicion p verdadera en s1 y s3 y falsa en s2

s3s2

s1

Marco A. Hernandez

Semantica

b) una proposicion p verdadera en s1 y s3 y falsa en s2

s3s2

s1

p

Marco A. Hernandez

Semantica

c) un conjuntos de agentes A = {Adielisa, Benigno} tales que Adielisa sigue caminos obscuros entre los estados Benigno sigue las lneas claras

Marco A. Hernandez

Semantica

c) un conjuntos de agentes A = {Adielisa, Benigno} tales que Adielisa sigue caminos obscuros entre los estados Benigno sigue las lneas claras

Marco A. Hernandez

Semantica

Benigno delgadas y Adielisa negras

s3s2

s1

p

Marco A. Hernandez

Semantica

Benigno delgadas y Adielisa negras

s3s2

s1

p

Marco A. Hernandez

Semantica

Las siguientes proposiciones se satisfacen

p s2

ps1

ps3

Marco A. Hernandez

Semantica

p s2

ps1

ps3|=s1 p

Marco A. Hernandez

Semantica

p s2

ps1

ps3|=s1 p2s2 p

Marco A. Hernandez

Semantica

p s2

ps1

ps3|=s1 p2s2 p

|=s1 KBenignop

Marco A. Hernandez

Semantica

p s2

ps1

ps3|=s1 p2s2 p

|=s1 KBenignop

|=s1 KAdielisap

Marco A. Hernandez

Semantica

p s2

ps1

ps3|=s1 p2s2 p

|=s1 KBenignop

|=s1 KAdielisap

|=s1 KAdielisaKBenignop

Marco A. Hernandez

Semantica

Ejercio 7

Diga, dado el marco anterior cuales de las siguientesproposiciones se satisfacen.

Marco A. Hernandez

Semantica

Ejercio 7

Marco A. Hernandez

Semantica

Ejercio 7

Marco A. Hernandez

Semantica

Ejercio 7

Marco A. Hernandez

Semantica

Ejercio 7

Marco A. Hernandez

Semantica

Bibiografa

Jon Barwise.Three Views of Common Knowledge.Proceding TARK(4):365397, 1987.

D. Lewis.Convention: a philosophical study.Cambridge MA: Hardvard University Press, 1969.

J.-J.Ch. Meyer and W. van der Hoek.Epistemic Logic for AI and Computer Science, volume 41 ofCambridge Tracts in Theoretical Computer Science.Cambridge University Press, Great Britain, first edition,1995.

Marco A. Hernandez

Semantica

Creditos de imagenes

Conocimiento comunhttp://www.jupiterimages.com/searchResultsji.aspxJuego de coordinacionhttp://www.wiu.edu/thecenter/art/artexpress/draplay.htmlJuego de pockerhttp://www.commotiongroup.co.uk/

Marco A. Hernandez

Main PartIntroduccinPropuestaConocimiento ComnJuegos de Coordinacin

Aproximacin a la Lgica EpistmicaUn ejemplo de Conocimiento ComnUn problema de CoordinacinUn juego de no coordinacin

Lgica epistmicaUn operador para el conocimientoLgica proposicional y Lgica epistmicaAproximacin a la Semntica de la Lgica Epistmica

aproximación a la lógica epistémica mediante conocimiento común y juegos de coordinación

Documents