Resumen

FLORES ROJAS, Manuel Ramiro. Lógica no Monotónica Un nuevo Modelo Inferencial para Aplicaciones Informáticas. Revista PGI [online]. 2014, n.1, pp. 90-96. ISSN 3333-7777.

Lógica es la ciencia que le proporciona el fundamento necesario a las aplicaciones informáticas y a la informática en su conjunto. Lógica es considerada como un lenguaje formal, un lenguaje simbólico; dispone de un sistema axiomático y un sistema inferencial, que permite derivar conclusiones a partir de un conjunto de premisas consideradas como verdaderas. En las aplicaciones informáticas se emplea lógica clásica: lógica de proposiciones y lógica de predicados. Sin embargo, una característica de la lógica clásica es su carácter monotónico, por lo cual presenta limitaciones en razonamientos en los que no se cuenta con información completa o que se halla comprometida con el entorno. En la realidad, el conocimiento es no monotónico, puesto que cada nuevo conocimiento que se adquiere en un razonamiento modifica e incluso puede invalidar los conocimientos previos que se tenía; el conocimiento cambia, evoluciona permanentemente. En el presente trabajo se desarrollará el sistema axiomático e inferencial de una nueva lógica, una lógica de sentido común, una lógica que razone con el entorno: una lógica no monotónica.

Palabras llave : Lógica; monotónica; lenguaje formal; sistema axiomático; sistema inferencial; aplicaciones informáticas.