División de Estudios de Posgrado de la Facultad de Filosofía y Letras de la UNAM

Área de Lógica, Filosofía del Lenguaje y Filosofía de la Mente

Primavera de 2004 (Semestre 2004-2)

Seminario Monográfico de Lógica:

Introducción a las lógicas no-monotónicas

Dr. Raymundo Morado

Las sesiones serán en el aula 3 del IIF-UNAM, martes y jueves de 16:00 a 18:00 horas, para un total de 64 horas.

Objetivo general: A menudo hacemos supuestos sensatos aunque falibles. Información adicional puede entonces forzarnos a abandonar opiniones previamente legítimas. En este sentido decimos que el incremento de creencias no es "monotónico''. Esto no puede ser modelado adecuadamente por la lógica clásica. Por ello, desde finales de los setentas aparecieron las lógicas que estudiamos en este curso. Se les conoce como "Lógicas No-Monotónicas" (o "No-Monótonas") porque tratan de resolver el problema de la monotonicidad en la lógica clásica. Estudiamos las formalizaciones de inferencias que admiten excepciones y ofrecemos una taxonomía que trata de evitar la proliferación de términos mal definidos y las confusiones frecuentes en la literatura. Hacemos énfasis en los sistemas mejor conocidos: lógicas default, de circumscripción, autoepistémicas, y de ignorancia cronológica, mencionando variantes, ventajas y desventajas.

Temario
10 y 12 de febrero	Los problemas	No-monotonicidad
17 de febrero		Mundo Cerrado
19 de febrero		Negación como falla
24 y 26 de febrero, 2 y 4 de marzo	Las propuestas	Defaults y extensiones
9 y 11 de marzo		Teorías estables
16 y 18 de marzo		Lógicas modales
23 y 25 de marzo		Lógica autoepistémica
30 de marzo y 1 de abril		Circunscripción
13 y 15 de abril		Ignorancia cronológica
20, 22, 27 y 29 de abril		Priorización
4, 6, 11 y 13 de mayo	Nuestra evaluación	Principales variantes
18, 20, 25 y 27 de mayo, 1 y 3 de junio		Ventajas y desventajas de cada lógica

Metodología: El propósito del seminario es producir trabajos originales de investigación conducentes a una tesis de grado. Por ello, tratamos de conectar los temas del seminario a los intereses de los alumnos quienes presentan investigación original periódicamente. Habrá un análisis conjunto de lecturas previamente fijadas, discusión y estudio independiente que pueda derivar en exposiciones en clase de temas previamente

acordados con el maestro.

Forma de valuación: Cada miembro del grupo hace varias presentaciones, y hay un trabajo de investigación final.

Bibliografía

I. TEXTOS EN ESPAÑOL

CASABAN, Enric, 1989. "Lógica y razonamiento no monotónicos". Quaderns de Filosofía de la Ciencia, vol. 15-16, pp. 19-25.

FARIÑAS DEL CERRO, Luis, FRÍAS DELGADO, Antonio. "Razonamiento no monótono: Un breve panorama", Theoria, S. E., vol. X, no. 23, 1995, pp. 7-26.

MORADO, Raymundo. "Defeasible enthymemes". Manuscrito.

MORADO, Raymundo. "Lógica para mortales". Manuscrito.

MORADO, Raymundo, 1992. "Models for belief revision". En Enrique Villanueva (ed.), Rationality in Epistemology. Ridgeview, Atascadero, pp. 227-247.

NUÑEZ, Gustavo, CORTES, Ulises. "Implicaciones del conocimiento de respaldo en el aprendizaje SBL y su relación con el razonamiento no monótono". pp. 237-261

SAN MIGUEL, Alfonso. "Lógicas no-monótonas". Manuscrito.

II. TEXTOS INTRODUCTORIOS

ANTONIOU, Grigoris, 1997, Nonmonotonic Reasoning. MIT Press, Cambridge, Mass.

BESNARD, Philippe, 1989, An Introduction to Default Logic. Springer Verlag, Alemania. (Especialmente pp. 1-5 y 31-36).

BESNARD, Philippe, BREWKA, Gerhard, FROIDEVAUX, Ch., GREGOIRE, E., SIEGEL, P., 1991, "Nonmonotonicity", Journal of Applied Non-Classical Logics, vol. 1, no. 2, pp. 267-310.

BREWKA, Gerhard, 1989, ``Nonmonotonic logics -a brief overview''. AI Communications, vol. 2, no. 2, pp. 88--97.

BREWKA, Gerhard, 1991, Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge Tracts in Theoretical Computer Science 12. Cambridge University Press, New York, NY. (Especialmente pp. 1-19, y 144-154)

BREWKA, Gerhard, DIX, Jürgen, KONOLIGE, Kurt, 1991, ``A tutorial on nonmonotonic reasoning''. En Nonmonotonic and Inductive Logic: Second International Workshop. Reinhardsbrunn Castle, Germany, December 2-6, 1991. Gerhard Brewka, Klaus P. Jantke y Peter H. Schmitt (eds.). Berlin, New York, Springer-Verlag, Lecture notes in computer science, 659, Lecture notes in artificial intelligence. 1993, pp. 1--88.

BREWKA, Gerhard, DIX, Jürgen, KONOLIGE, Kurt, 1997. Nonmonotonic Reasoning: An Overview. Stanford, California:Center for the Study of Language and Information. Lecture Notes, Number 73.

DONINI, F. M., LENZERINI, M. NARDI, D., Pirri, F., SCHAERF, M., 1990, ``Nonmono-tonic Reasoning''. The Artificial Intelligence Review, vol. 4, no. 3, pp. 163-210.

ETHERINGTON, David W., 1988, Reasoning With Incomplete Information. Morgan Kaufmann Publishers, Londres. (Especialmente pp. 1-73 y 157-163.)

GEFFNER, Hector Alberto, 1992, Default Reasoning: Causal And Conditional Theories. MIT Press. (Especialmente pp. 1-22.)

GINSBERG, Matthew L., 1987, Readings in Nonmonotonic Reasoning, Morgan Kaufmann Publishers, Los Altos, California.

LUKASCEWICZ, Witold, 1985, Non-Monotonic Reasoning: Formalization of Common-sense Reasoning. Ellis Horwood, Chichester, Inglaterra. (Especialmente pp. 77-88.)

MAREK, V. Wiktor, TRUSZCZYNSKI, Miroslaw, 1993. Nonmonotonic Logic: Context-Dependent Reasoning. Berlin: Springer-Verlag.

McCARTHY, John, 1995. CS323: Nonmonotonic Reasoning. Disponible por FTP en www-formal.stanford.edu/jmc/. Sobre todo los capítulos 6, 8 y 10.

MINKER, Jack, 1993, ``An overview of nonmonotonic reasoning and logic programming''. Por FTP en ftp.cs.umd.edu:pub/prism/lpnmr.overview.jlp.ps. También en The Journal of Logic Programming, vol. 17, no. 2/3/4, p. 95 y como Technical Report UMIACS-TR-91-112, CS-TR-2736, U. of Maryland at College Park, MD, 1991.

PERLIS, Donald, 1987, ``Reasoning, nonmonotonic''. En SHAPIRO, Stuart C. (ed.), 1987, Encyclopedia of Artificial Intelligence. Wiley, New York, pp. 848--853.

SOMBE, Léa (Phillipe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind y Pierre Siegel), 1990, Reasoning Under Incomplete Information in Artificial Intelligence: A Comparison of Formalisms Using a Single Example. Special Issue of the International Journal of Intelligent Systems, vol. 5, no. 4, pp. 323--472.

III. TEXTOS CLÁSICOS

GABBAY, Dov M. (1985). "Theoretical foundations for non-monotonic reasoning in expert systems''. En Krzysztof, R. Apt (ed.) 1985. Logics and Models of Concurrent Systems; Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984. NATO ASI series. Series F, Computer and System Sciences; vol. 13. Berlin:Springer-Verlag, pp. 439-457.

GÄRDENFORS, Peter, 1988. Knowledge in Flux, MIT Press, Cambridge.

GÄRDENFORS, Peter, 1991. ``Belief revision and nonmonotonic logic: Two sides of the same coin? Abstract.''. In JELIA (1991), pp. 52-54.

GUHA, RamanathanV., 1990. "The representation of defaults in Cyc". En AAAI (1990), pp. 608-614.

GUHA, Ramanathan V., 1991. Contexts: A formalization and some applications. Stanford Ph. D. Thesis.

KONOLIGE, Kurt. (1986). A Deduction Model of Belief. Morgan Kaufmann.

KONOLIGE, Kurt. (1987) On the relation between default and autoepistemic logic. CSLI Report no. CSLI-87-105. También en IJCAI (1987), en Artificial Intelligence, vol. 35, issue 3, pp. 343--382, (1988) y en Ginsberg (1987), pp. 195--226.

KONOLIGE, Kurt. (1989) "On the relation between circumscription and autoepistemic logic". En IJCAI (1989), pp. 1213--1218.

KONOLIGE, Kurt. (1989) "Errata to: On the relation between circumscription and autoepistemic logic". Artificial Intelligence, vol. 41, p. 115.

KRAUS, S., LEHMANN, D., MAGIDOR, M. (1990) "Nonmonotonic Reasoning, Preferential Models and Cumulative Logics", Artificial Intelligence, 44, 167--207.

McCARTHY, John, 1977. ``Epistemological problems of artificial intelligence''. En IJCAI, pp. 1038-1044.

McCARTHY, John. (1980) "Circumscription: A form of non-monotonic reasoning", Artificial Intelligence, 13, pp. 27--39. Reimpreso en Ginsberg (1987), pp. 145-151.

McCARTHY, John, 1980b. ``Addendum: circumscription and other non-monotonic formalisms''. Artificial Intelligence, vol. 13(1-2), pp. 171-172. Reimpreso en Ginsberg (1987), pp. 151-152.

McCARTHY, John, 1984. ``Applications of circumscription to formalizing common sense knowledge''. En NMRIW (1984), pp. 295--324. Versión revisada en Artificial Intelligence, 28(1), pp. 89-116, 1986, reimpresa en Ginsberg (1987), pp. 153-166.

McCARTHY, John, 1993. ``Notes on formalizing context''. En IJCAI (1993), pp. 555 -560.

McCARTHY, John, HAYES, P., 1969. ``Some philosophical problems from the standpoint of artificial intelligence''. En B. Meltzer y Michie (eds.), Machine Intelligence, vol. 4, Edinburgh University Press, Edinburgh, American Elsevier, New York, pp. 463--502. Reimpreso en B. L. Webber y N. J. Nilsson (eds.), Readings in Artificial Intelligence, Tioga, Palo Alto, California, pp. 431-450, (1981) y en McCarthy (1990), Formalization of Common Sense: Papers by John McCarthy editado por V. Lifschitz, Norwood, N. J.: Ablex. Un resumen apareció en el ejemplar de febrero de 1969 (No. 14) de la ACM SIGART Newsletter. Reimpreso en Ginsberg (1987), pp. 26-52.

MCDERMOTT, Drew V., DOYLE, Jon, 1978. "Non-monotonic logic I". MIT Technical Report Memo 486. También Artificial Intelligence, vol. 13(1-2), pp. 41-72, 1980. Un resumen amplio apareció en el Fourth Workshop on Automated Deduction, Austin, Texas, 1979. Reimpreso en Ginsberg (1987), pp. 111-126.

MCDERMOTT, Drew V., 1982. ``Non monotonic logic II: Non monotonic modal theories''. Journal of the Association for Computing Machinery, vol. 29, num. 1, pp. 33-57.

MINSKY, Marvin Lee. 1974. A framework for representing knowledge. Artificial Intelligence Memo 306, MIT AI Lab. Reimpreso sin el apéndice en The Psychology of Human Vision, Patrick H. Winston (ed), McGraw Hill, NY, (1975), pp. 211-277. Otros fragmentos fueron reimpresos como ``Frame-system theory'' en R. C. Schank y B. L. Webber (eds.), Proceedings of the 1975 TINLAP (Theoretical Issues in Natural Language Processing) Conference, Cambridge, Massachusetts, 1975, reimpreso en P.N. Johnson-Laird y P. C. Wason (eds.), Thinking: Readings in Cognitive Science, Cambridge University Press. Hay extractos distintos en J. Haugeland (ed.), Mind Design: Philosophy, Psychology, Artificial Intelligence, Montgomery VT, Bradford Books, pp. 95-128.

MOORE, Robert C. (1985) "Semantical considerations on nonmonotonic logic". Artificial Intelligence, vol. 25, no. 1, pp. 75-94. Reimpreso en Ginsberg (1987), pp. 127-136. Una versión más breve apareció en IJCAI (1983), pp. 272--279. Véase también SRI AI Center Technical Note 284 (1983).

REITER, Raymond. (1980) "A logic for default reasoning". Artificial Intelligence, vol. 13, no. 1-2, pp. 81-132. Reimpreso en Ginsberg (1987), pp. 68-93.

SHOAM, Yoav. (1986), "Chronological ignorance: An experiment in nonmonotonic temporal reasoning". AAAI (1986), pp. 389--393 y en Ginsberg (1987), pp. 396-409.

SHOAM, Yoav. (1987), "A semantical approach to nonmonotonic logic". IJCAI (1987), pp. 388-392 y Ginsberg (1987), pp. 227-250. Resumen extenso en LICS (1987), pp. 275-279.

SHOAM, Yoav. (1987) "Nonmonotonic logics: Meaning and utility". En IJCAI (1987), pp. 388-393.

SHOAM, Yoav. (1988) Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence. Cambridge, MA: MIT Press. Básicamente su tesis de Yale.