Seminario de Temas Selectos de Lógicas No-Clásicas
UNAM,
Otoño de 2009 (Semestre 2010-1)
Guía de Lectura sobre McCarthy, John, 1980, "Circumscription:
A form of non-monotonic reasoning".
- ¿Cuál es el Problema de la calificación?
- ¿Qué utilidad inferencial ofrece la circunscripción?
- ¿Es la circunscripción en la vida diaria lo mismo
que en los acertijos?
- ¿Qué
conjetura hace la
circunscripción de dominio?
- ¿Cuál es la circunscripción de P en A(P)?
- ¿Qué tipo de razonamiento es la circunscripción?
- ¿Puede ser vista la circunscripción de dominio como de
predicado?
- ¿Qué cree McCarthy que hay que incluir en
nuestra ontología?
- ¿Qué estamos circunscribiendo cuando
circunscribimos un conjunto de tuplas?
- ¿Qué dice la circunscripción de P en A(P)?