Seminario de Temas Selectos de Lógicas No-Clásicas

Otoño de 2009 (Semestre 2010-1)

 

Guía de lectura sobre Gärdenfors, Peter, 1991.  “Belief revision and nonmonotonic logic: Two sides of the same coin?  Abstract”.

 

1.    ¿Qué tan parecidas son las motivaciones para la teoría de la revisión de creencia y las lógicas no-monotónicas?

2.    ¿Cómo se modelan en Alchourrón, Gärdenfors y Makinson los estados de creencia?  

3.    ¿Qué se puede traducir entre revisión de creencias y lógicas no-monotónicas?

4.   ¿Qué es una expansión?

5.   ¿Qué es una revisión?

6.   ¿Qué es una revisión?

7.   ¿Cómo define las operaciones la teoría de revisión de creencias normalmente?

8.   ¿A quienes menciona Gärdenfors como seguidores del método de Gabbay?

9.   ¿Cómo se traduce B Î K*A ?

10. ¿Cómo se traduce A |~K B?