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".

 

 

  1. ¿Cuál es el Problema de la calificación?

 

  1. ¿Qué utilidad inferencial ofrece la circunscripción?

 

  1. ¿Es la circunscripción en la vida diaria lo mismo que en los acertijos?

 

  1. ¿Qué conjetura hace la circunscripción de dominio?

 

  1. ¿Cuál es la circunscripción de P en A(P)?

 

  1. ¿Qué tipo de razonamiento es la circunscripción?

 

  1. ¿Puede ser vista la circunscripción de dominio como de predicado?

 

  1. ¿Qué cree McCarthy que hay que incluir en nuestra ontología?

 

  1. ¿Qué estamos circunscribiendo cuando circunscribimos un conjunto de tuplas?

 

  1. ¿Qué dice la circunscripción de P en A(P)?