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

UNAM, Otoño de 2009 (Semestre 2010-1)

Guía de Lectura sobre Moore, Robert C., 1985,

"Semantical considerations on nonmonotonic logic".

1. ¿Qué justifica, según Moore, las inferencias no monotónicas en la lógica de McDermott y Doyle?
2. ¿Cuáles son los dos tipos de razonamiento no-monotónico que confunden McDermott y Doyle?
3. ¿Qué hace que el razonamiento por Default sea no-monotónico?
4. ¿Qué hace que el razonamiento Auto-epistémico sea no-monotónico?
5. ¿Cuál es el problema en la lógica de McDermott y Doyle?
6. ¿Qué condición le falta a la lógica original de McDermott y Doyle?
7. ¿Cuántas expansiones estables puede tener {P -> LQ, P}?
8. ¿Qué estatus tiene la consecuencia modal (P |- LP) en la lógica no monotónica de McDermott?
9. ¿Con qué premisa puede justificarse posteriormente en lógica autoepistémica la creencia en P?
10. ¿Cuál de las lógicas modales utilizadas por McDermott es la que más se acerca a un modelo de razonamiento autoepistémico?