Lógica no monotónica 1

Lógica no monotónica
Una lógica no monotónica es un sistema lógico cuya relación de Consecuencia lógica es no monotónica. La
mayoría de las lógicas formales tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar
una fórmula a una teoría nunca produce una reducción de su conjunto de consecuencias. Intuitivamente, la
monotonicidad indica que el agregar nuevos conocimientos no puede reducir el conjunto de las cosas conocidas. Una
lógica monotónica no puede manejar varios tipos de razonamiento tales como el razonamiento por defecto (los
hechos pueden ser conocidos únicamente por la carencia de evidencia de lo contrario), el razonamiento abductivo
(los hechos sólo se deducen en calidad de explicaciones probables), el razonamiento acerca del conocimiento (la
ignorancia de un hecho debe ser retractada cuando el hecho sea conocido), y la revisión de creencias (nuevo
conocimiento puede contradecir creencias anteriores).

Razonamiento por defecto

Un ejemplo de una suposición por defecto es que las clásicas aves vuelan. Como un resultado, si de un determinado
animal se sabe que es un ave, y no se conoce nada más, se puede asumir que es capaz de volar. No obstante, este
hecho debe ser retractado si después se sabe que ese determinado animal es un pingüino. Este ejemplo muestra que
una lógica que modele el razonamiento por defecto no debe ser monotónica. Las lógicas que formalizan
razonamiento por defecto pueden ser divididas tajantemente en dos categorías: lógicas capaces de manejar
suposiciones arbitrarias por defecto (lógica por defecto, lógica retractable, y answer set programming) y lógicas que
formalizan la específica suposición por defecto de que los hechos que no se saben verdaderos pueden ser asumidos
como falsos por defecto (closed world assumption y circunscripción).

Razonamiento abductivo
El razonamiento abductivo es el sistema que deriva las explicaciones más probables de los hechos conocidos. Una
lógica abductiva no puede ser monotónica porque las explicaciones más probables no son necesariamente las
correctas. Por ejemplo, la explicación más probable de ver el pasto mojado es que ha llovido; sin embargo, esta
explicación debe ser retractada cuando se sepa que la causa real de que el pasto estuviera mojado era un rociador. En
tanto que la primera explicación (llovió) es retractada debido a la adición de información (se activó un rociador),
cualquier lógica que modele explicaciones es no monotónica.

Razonamiento acerca del conocimiento

Si una lógica incluye fórmulas que significan que algo no es conocido, esta lógica no puede ser monotónica. De
hecho, aprender algo que antes no era conocido lleva a el reemplazo de la fórmula que especificaba que esa parte de
conocimiento no es conocida. Este segundo cambio (un reemplazo causada por una adición) viola la condición de
monotonicidad. La lógica acerca del conocimiento es la lógica autoepistémica.

Revisión de creencias
La revisión de creencias es el sistema que permite cambiar las creencias para alojar una nueva que puede ser
inconsistente con las anteriores. En el supuesto de que la nueva creencia es correcta, algunas de las anteriores deben
ser retractadas para mantener la consistencia. Esta retractación como respuesta a la adición de una nueva creencia
hace que cualquier lógica para la revisión de creencias sea no monotónica. El enfoque de la revisión de creencias es
alternativo para las lógicas paraconsistentes, las cuales más que intentar remover la inconsistencia la toleran.
Lógica no monotónica 2

Referencias
• N. Bidoit and R. Hull (1989) "Minimalism, justification and non-monotonicity in deductive databases," Journal of
Computer and System Sciences 38: 290-325.
• G. Brewka (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University
Press.
• G. Brewka, J. Dix, K. Konolige (1997). Nonmonotonic Reasoning - An Overview. CSLI publications, Stanford.
• M. Cadoli and M. Schaerf (1993) "A survey of complexity results for non-monotonic logics" Journal of Logic
Programming 17: 127-60.
• F. M. Donini, M. Lenzerini, D. Nardi, F. Pirri, and M. Schaerf (1990) "Nonmonotonic reasoning," Artificial
Intelligence Review 4: 163-210.
• M. L. Ginsberg, ed. (1987) Readings in Nonmonotonic Reasoning. Los Altos CA: Morgan Kaufmann.
• Horty, J. F., 2001, "Nonmonotonic Logic," in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic.
Blackwell.
• W. Lukaszewicz (1990) Non-Monotonic Reasoning. Ellis-Horwood, Chichester, West Sussex, England.
• W. Marek and M. Truszczynski (1993) Nonmonotonic Logics: Context-Dependent Reasoning. Springer Verlag.

Enlaces externos
• Stanford Encyclopedia of Philosophy - "Non-monotonic logic" [1] -- por G. Aldo Antonelli.
• Anthony Aaby on "Non-monotonic logic. [2]"

Referencias
[1] http:/ / plato. stanford. edu/ entries/ logic-nonmonotonic/
[2] http:/ / cs. wwc. edu/ ~aabyan/ Logic/ Nonmonotonic. html
Fuentes y contribuyentes del artículo 3

Fuentes y contribuyentes del artículo

Lógica no monotónica  Fuente: http://es.wikipedia.org/w/index.php?oldid=30449028  Contribuyentes: Gafotas, HUB, Isha, JonnyJD, Lorevna, Luis Felipe Schenone, Nubecosmica, Unificacion,
2 ediciones anónimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/