Seminario de Temas Selectos de Lógicas
No-Clásicas
UNAM, Otoño de 2009
(Semestre 2010-1)
Guía de Lectura sobre Reiter, Raymond, 1980, "A logic for default reasoning".
- Mencione
cuatro diferentes nociones de inferencia por omisión mencionadas por
Reiter.
- ¿Cuáles
son las instrucciones para crear una extensión?
- ¿Hay
extensiones que no sean puntos fijos?
- ¿Cuántas
extensiones tiene la teoría (p v q) cerrada bajo los defaults de mundo
cerrado :M-p/-p y
:M-q/-q?
- ¿Cuántas
extensiones tiene la teoría (D, W) si D={:MA/-A} y
W={}?
- ¿Cuál es más general, la lógica no-monotónica de McDermott y
Doyle o la lógica default de Reiter?
- ¿Qué es la “Semi-monotonicidad” de que habla Reiter?
- ¿Qué es la “Ortogonalidad” de que habla Reiter?
- ¿Podemos
reducir el número de extensiones añadiendo nuevas reglas por default normales
cerradas a una teoría default cerrada normal?
- ¿Podemos
perder creencias al añadir reglas por default?