Resumen de Lógicas no monótonas como intento de modelación del sentido común en Inteligencia Artificial
- español
En el presente artículo se presentan los límites que presenta la Lógica Clásica en la formalización de un tipo razonamiento inductivo, a saber: el del sentido común. Asimismo, se da una breve introducción a las Lógicas no monótonas, como una herramienta más idónea para alcanzar dicha pretensión, las cuales se caracterizan por la posibilidad de cambiar la conclusión en el caso de que una nueva premisa aparezca. Sin embargo, éstas también poseen limitaciones que dificultan una formalización perfecta del sentido común.
- English
This paper presents the limits of Classical Logic in the formalization of a type of inductive reasoning, namely: that of common sense. Likewise, a brief introduction is given to non-monotonic logics, as a more suitable tool to achieve such pretension, which are characterized by the possibility of changing the conclusion in case a new premise appears. However, they also have limitations that hinder a perfect formalization of common sense.
