Seminario Monográfico de Lógica

La filosofía de las lógicas contextuales

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 2009 (Semestre 2009-2)

Instructor:

Dr. Raymundo Morado.

Horarios:

Las sesiones serán en el aula 3 del IIFs-UNAM, martes y jueves de 10 a 12.

Objetivo general:

Estudiaremos los presupuestos filosóficos y metalógicos de varios sistemas lógicos no deductivos propuestos en las últimas tres décadas.

Metodología:

El propósito del seminario es producir trabajos originales de investigación. Habrá un análisis conjunto de lecturas, discusión y estudio independiente.

Forma de valuación:

Cada miembro del grupo deberá participar en el análisis de los textos, y habrá un trabajo de investigación final.

Secuencia aproximada de temas y lecturas centrales:

1. El trasfondo modal: MCDERMOTT y DOYLE 1978.

2. La inferencia por falla: REITER 1980.

3. Inteligencia artificial y sentido común: McCARTHY 1980.

4. Lógica y epistemología: MOORE 1985.

5. Sistemas expertos: GABBAY 1985.

6. Preferencias lógicas: KRAUS, LEHMANN, MAGIDOR 1990.

Bibliografía

I. TEXTOS EN ESPAÑOL

BECK, Andreas, 1996. "Paradojas clásicas en el contexto de la lógica no monótona". Agora, vol 15, no. 2, pp. 145-152.

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, 1995. "Razonamiento no monótono: Un breve panorama", Theoria, S. E., vol. X, no. 23, pp. 7-26.

GAYTÁN, David, 2007. “Una introducción informal a la lógica del razonamiento por default, de Raymond Reiter (segunda parte)”, Ergo, NE, 21, pp. 7-22.

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, ``Nonmonotonic 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. Q335 R435 Existe un ejemplar en la Facultad de Ciencias y uno en el Instituto de Ingeniería.

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

IV. TEXTOS DEL INSTRUCTOR PARA APOYO AL SEMINARIO

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

1995. "An imperfect rationality: The demand for logical omniscience". En Laura Benítez y José Antonio Robles (eds.), Memorias del VIII Congreso Nacional de Filosofía, Asociación Filosófica de México y Universidad Autónoma de Aguascalientes, México, pp. 207-214.

2000. "Nuevos paradigmas de la inferencia racional". En Carmen Trueba, Racionalidad: Lenguaje, argumentación y acción. UAM/Plaza y Valdés, pp. 89-99.

2002. "Rationality, Logic, and Heuristics". Con Leah Savion. 2002 International Conference on Artificial Intelligence (IC-AI'02), volumen II, CSREA Press, pp. 791-797.

2003. "Racionalidad y Lógicas No-deductivas". Iztapalapa, año 24, ene.-jun., no. 54, p. 131-144.

2004. "Some Key Notions In Non-Monotonic Reasoning". En Leonid Sheremetov y Matías Alvarado (eds.), Workshop on Intelligent Computing, WIC 2004, pp. 177-186, 2004 (versión impresa y en disco compacto). Publicado también en Mauricio Osorio y Alessandro Provetti (eds.), Latin-American Workshop on Non-Monotonic Reasoning: Proceedings of the 1st Intl. LA-NMR04 Workshop, Antiguo Colegio de San Ildefonso, Mexico City, D.F , Mexico, April 26th 2004. CEUR Workshop Proceedings, Vol. 92, 2004.

2004. "Problemas filosóficos de las lógicas no-monotónicas". En Raúl Orayen y Alberto Moretti (eds.), Enciclopedia Iberoamericana de Filosofía, vol. 27. Madrid: Ed. Trotta y Consejo Superior de Investigaciones Científicas, pp. 313-344.

2005. "La representación de las inferencias no-monotónicas". En Ángel Nepomuceno Fernández, (editor), Representación y Logicidad, Sevilla, España: Fénix Editora, 2005, pp. 37-49.

2005. "Propiedades estructurales en lógicas monotónicas y no-monotónicas". En Aportaciones Matemáticas: Memorias de la Sociedad Matemática Mexicana 35, pp. 235-250.

2006. "Relaciones no-monotónicas en teorías sobre la abducción". En Edgar Sandoval, Semiótica, Lógica y Conocimiento: Homenaje a Charles Sanders Peirce, Universidad Autónoma de la Ciudad de México, pp. 99-120.

2006. "Los rostros de la retractación: Familias de nociones en la filosofía de las lógicas no-monotónicas". En Joao Carlos Salles Pires da Silva y Paulo Roberto Margutti Pinto (eds.), Atas do XII Encontro Nacional de Filosofia da ANPOF. Associação Nacional de Pós-graduação em Filosofia, Salvador, Brasil, pp. 469-470.

2007. "El entimema retórico y la inferencia no monotónica". En: Martínez Contreras, Jorge y Aura Ponce de León, eds., El saber filosófico, México, Siglo XXI, AFM, vol. II, pp. 321-332.

2007. "La formalización del sentido común". En María José Frápolli Sanz (coord.) Filosofía de la Lógica. Madrid, España: Editorial Tecnos, pp. 233-253.

2007. "Logical Inference and Rationality" (con Leah Savion). En Gurol Irzik (ed.), Logic and Philosophy of Sciences, volumen 5 de los "Proceedings of the Twenty-First World Congress of Philosophy", Estambul, Turquía, en 13 volúmenes.