División de Estudios de Posgrado de la
Facultad de Filosofía y
Letras de
Área de Lógica, Filosofía
del Lenguaje y Filosofía de
Primavera de 2009 (Semestre 2009-2)
Guía de Lectura sobre Kraus, S., Lehmann, D., Magidor, M., 1990,
"Nonmonotonic Reasoning, Preferential
Models and Cumulative Logics".
1. ¿Quién fue, probablemente, el primero en sugerir enfocar el estudio de las lógicas no monotónicas sobre sus relaciones de consecuencia?
2. ¿Qué lógicas capturan el poder
expresivo del marco del modelo preferencial?
3. ¿Cuándo es
cumulativa la relación de consecuencia |~?
4. ¿Qué regla
puede enunciarse como “Si a
es razón suficiente para creer b
y también para creer g, entonces a Ù b podrían
ser suficientes para hacernos creer g”?
5. Si la relación –<+ es un
orden parcial estricto, entonces ¿es reflexiva? ¿Simétrica?
6. ¿En la
propuesta de quién se basa la semántica del sistema preferencial (P)?
7. ¿Cómo
expresar la regla disyuntiva de un sistema preferencial?
8. ¿Cuál sistema
es estrictamente más fuerte, el preferencial P o el sistema CL?
9. ¿ Son
ordenados los modelos preferenciales? ¿Cumulativos?
¿Etiquetados por mundos complejos?
10. ¿Cómo
podemos definir una relación preferencial para cualquier modelo preferencial W?
11. ¿Qué es un
modelo preferencial simple?
12. ¿Cuál sistema es el más fuerte y
cuál es el más débil, entre CM, CL y P?