Guía de Lectura
sobre Morado, Raymundo, 2005
La representación de las inferencias
no-monotónicas
1. Si normalmente la teoría que estamos representando está cerrada bajo consecuencias lógicas, ¿qué tipo de creencias hay en el modelo?
2. ¿Son las "bases de conocimientos" de conocimientos?
3. ¿Por qué no tenemos que sostener que los elementos de las relaciones inferenciales no monotónicas sean oraciones?
4. ¿Qué tipo de aseveraciones pueden ser unidades adecuadas de análisis?
5. ¿Qué tipos de condicionales no-monotónicos necesita ser capaz de representar nuestro formalismo?
6. ¿Deben ser los sistemas no-monotónicos declarativos o procedurales?
7. ¿Qué factores influyen en la inferencia no-monotónica?
8. ¿Deben ser los sistemas no-monotónicos simbólicos?
9. ¿Qué metalenguaje es adecuado para sistemas no-monotónicos?
10. ¿Qué otros problemas sería importante tratar?