Lógicas no monótonas como intento de modelación del sentido común en Inteligencia Artificial

Resumo

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.