División de Estudios de Posgrado de la Facultad de Filosofía y Letras de la UNAM
Seminario de Investigación y Tesis (Razonamiento Falible), otoño de 1998
Dr. Raymundo Morado
Sala de Becarios del IIF, miércoles de 2:30 a 4:30, asesorías viernes 2 a 4 o por cita

Objetivo general
Temario
Metodología
Forma de valuación
TEXTOS EN ESPAÑOL
TEXTOS INTRODUCTORIOS
TEXTOS CLÁSICOS
Ejercicios

 Objetivo general:  Se ofrece una introducción a las lógicas no-monotónicas. 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:

No-monotonicidad.
Mundo Cerrado.
Negación como falla. Defaults y extensiones
Teorías estables.
Lógicas modales
Lógica autoepistémica.
Circunscripción.
Ignorancia cronológica.
Priorización. Principales variantes.
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 periodicamente.

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

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", Theoría, S.  E., vol.  X, no.  23, 1995, pp.  7-26.
MORADO, Raymundo. "Defeasible enthymemes". Manuscrito.
MORADO, Raymundo. "Logica 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.
  UKASCEWICZ, 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    Concur-rent 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ón 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.  Basicamente su tesis de Yale.