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