Tareas
Ver referencias completas en el Temario.
Los títulos subrayados son
hipervínculos a los textos. Los en
negritas están en Reserva en la Biblioteca García
Máynez.
Formato
para las preguntas del jueves, propuestas por alumnos. Son puntos
extras opcionales por cada pregunta usada y por cada pregunta
contestada correctamente. Deben enviarse por correo electrónico
antes de la sesión del martes.
Fechas
|
Tema
|
Tareas para el
inicio de la primera clase de la semana (martes)
|
3 de
febrero
|
Introducción
|
|
10 y 12
de febrero
|
Inferencia no
deductiva
|
Guía de lectura sobre Morado,
Raymundo, 2000, "La justificación
retórica de los principios lógicos".
|
17 y 19
de febrero
|
Inteligencia
artificial y sentido
común
|
Guía
de lectura sobre McCarthy, John; Hayes, P., 1969, ``Some philosophical
problems
from the standpoint of artificial intelligence'' y McCarthy,
John 1990. Artificial
Intelligence,
Logic
and Formalizing Common Sense.
|
24 y 26
de febrero
|
Mundo
Cerrado
y Negación como falla
|
Guía
de lectura sobre Minsky, Marvin Lee, 1974, A
framework
for representing knowledge (parcialmente traducido) y
Reiter, Raymond,
1978,
“On closed world data bases”.
|
3 y
5 de marzo
|
La
inferencia por falla
|
Guía de
lectura sobre Morado, Raymundo, 2000, "Problemas
filosóficos de las lógicas
no-monotónicas". Una
versión en HTML
está aquí.
|
10 y 12
de marzo
|
El
trasfondo modal
|
Guía de lectura sobre
McDermott, Drew V., Doyle, Jon, 1978, "Non-monotonic
logic I".
|
17 y 19
de marzo
|
Defaults
y extensiones
|
Guía de lectura sobre
Reiter, Raymond, 1980, "A logic
for default reasoning".
|
24
y 26 de marzo |
|
Presentación
y discusión
de proyecto de investigación. Aquí
hay un formato para proyecto de investigación. |
31 de marzo, 2
de abril
|
Circunscripción
|
Guía de lectura sobre
McCarthy, John, 1980, "Circumscription: A form of non-monotonic
reasoning".
|
14 y 16 de abril
|
Lógica y racionalidad
|
Guía de lectura sobre Morado,
Raymundo, 2000, "Nuevos paradigmas de la
inferencia racional".
|
21 y 23
de abril
|
Lógica y epistemología
|
Guía de lectura sobre Moore, Robert C., 1985, "NonmonotonicSemantical considerations on nonmonotonic logic" (Versión breve publicada en IJCAI 1983).
|
28 y 30 de abril
|
Sistemas expertos
|
Guía de lectura sobre
Gabbay, Dov M., 1985, "Theoretical
foundations for non-monotonic
reasoning in expert systems''.
|
5 y
7 de mayo
|
Preferencias
lógicas
|
Guía de lectura sobre Kraus,
S., Lehmann, D., Magidor, M., 1990, "Nonmonotonic
Reasoning, Preferential Models and Cumulative Logics".
|
12 y 14
de mayo
|
Problemas
abiertos
|
Guía de
lectura sobre Morado, Raymundo, 2005, "La representación de
las inferencias no-monotónicas".
|
19 y 21 de
mayo
|
|
Presentación
y discusión
del trabajo final.
|
26 y
28 de mayo
|
|
Presentación
y
discusión del trabajo final.
|
Bibliografía
de apoyo para McCarthy;
Hayes 1969 y McCarthy
1989:
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)
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.
McCARTHY, John, 1995.
CS323:
Nonmonotonic Reasoning.
Disponible
por FTP en
www-formal.stanford.edu/jmc/. Sobre
todo
los capítulos 6, 8 y 10.
Bibliografía
de apoyo para Minsky
1974 y Reiter
1978:
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.
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, University
of
Maryland at College Park, College Park, MD, 1991.
Bibliografía
de apoyo para Mcdermott,
Doyle 1978:
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.
ORAYEN,
Raúl (1995). “Lógica
Modal”. Enciclopedia
Iberoamericana de Filosofía, vol. 7.
Madrid: Editorial Trotta, pp. 289-322.
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.
Bibliografía
de apoyo para Reiter 1980:
GEFFNER, Hector
Alberto, 1992,
Default
Reasoning:
Causal And Conditional Theories. MIT Press.
(Especialmente pp.
1-22.)
MAREK, V. Wiktor,
TRUSZCZYNSKI, Miroslaw, 1993.
Nonmonotonic
Logic: Context-Dependent Reasoning.
Berlin:
Springer-Verlag.
REITER, Raymond, CRISCUOLO, G. 1981.
“On
interacting defaults”. En Proceedings
of
the Seventh International Joint Conference on Artificial Intelligence,
IJCAI-81, 24-28 August 1981, University of British Columbia, Vancouver,
B. C.,
Canada. Ann
Drinan (ed.), AAAI, Morgan Kaufmann., pp. 270--276. Reimpreso in Ginsberg (1987), pp. 94--100.
Bibliografía
de apoyo para McCarthy 1980:
McCarthy, John,
1977. ``Epistemological problems of artificial intelligence''. En
IJCAI,
pp. 1038-1044.
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.
Bibliografía
de apoyo para Moore 1985:
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.
Bibliografía
de apoyo para Gabbay
1985:
BREWKA, Gerhard,
1989, ``Nonmonotonic logics -a brief overview''.
AI
Communications, vol.
2, no. 2, pp. 88-97.
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.
Bibliografía
de apoyo para Kraus, Lehmann y Magidor 1990:
Shoam,
Yoav.
(1986), “Chronological ignorance: An experiment in
nonmonotonic temporal
reasoning”. En AAAI (1986), pp. 389-393. Reimpreso en
Ginsberg (1987), pp. 396-409.
Shoam, Yoav.
(1987), “A semantical approach to
nonmonotonic
logic”. En
IJCAI (1987), pp. 388-392. Reimpreso en
Ginsberg (1987), pp. 227-250. Resumen extenso en LICS (1987), pp.
275-279.
Shoam, Yoav.
(1987) “What is the frame problem?”. En Frank M.
Brown (ed.) 1987, Proceedings
of the 1987 Workshop on the Frame Problem in
Artificial Intelligence, Lawrence, Kansas. Los
Altos, California:
Morgan Kaufmann, pp. 5-21.
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, The MIT Press Series in Artificial Intelligence. Basicamente su tesis de
Yale.
Bibliografía
de apoyo para Morado 2000:
CASABAN, Enric.
“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.
SAN MIGUEL,
Alfonso. “Lógicas
no-monótonas”.
Manuscrito.
Bibliografía
de apoyo para Morado
2000:
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.)
LUKASCEWICZ,
Witold, 1985, Non-Monotonic
Reasoning:
Formalization of Commonsense Reasoning. Ellis Horwood, Chichester,
Inglaterra. (Especialmente pp. 77-88.)
PERLIS, Donald,
1987, ``Reasoning,
nonmonotonic''. En
SHAPIRO, Stuart C. (ed.), 1987, Encyclopedia
of Artificial Intelligence.
Wiley, New
York, pp. 848-853.
Bibliografía
de apoyo para Morado
2000:
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.
ter MEULEN, Alice
1986.
“Generic information, conditional
contexts and constraints”. In
Traugott, ter Meulen, Reilly and Ferguson
(1986), pp. 123--145.
Bibliografía
de apoyo para Morado
2005:
GINSBERG, Matthew
L., 1987, Readings
in Nonmonotonic
Reasoning, Morgan Kaufmann Publishers, Los Altos,
California.
MORADO, Raymundo y Leah
SAVION (2005). “The
Role of Heuristic Inference in Rationality”. En 3rd
Annual International
Conference on Arts and Humanities, pp. 5403-5411.
NUTE, Donald
1990. “Review of
Matthew L.
Ginsberg, Readings in Nonmonotonic Reasoning”,
pp. 351--355.
PEARL, Judea
(1989). “Probabilistic semantics for nonmonotonic reasoning:
A survey”. En
Ronald J. Brachman, Hector J. Levesque y Raymond Reiter (eds.), KR'89:
Proceedings of the First International Conference on Principles of
Knowledge
Representation and Reasoning. San Mateo, California:
Morgan Kaufmann, pp. 505-516.