Semánticas para lógicas posibilistas
Date
2015-06-05
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
"En este trabajo comenzamos por explicar lo que entendemos por una
lógica y explicamos las diferentes lógicas que utilizamos en esta tesis:
la clásica, la intuicionista, la paraconsistente Cω y la posibilista. Todas
estas tienen una conexión con el campo perteneciente a la Inteligencia Artificial dedicada a representar información sobre el mundo real de
tal forma que una computadora la pueda utilizar para dar soluciones
a problemas que pudieran ser complejos. Tal campo se conoce como la
Representación del Conocimiento. Los atributos de la Lógica Posibilista
en el manejo de la información incompleta o parcialmente inconsistente,
las lógicas constructivas, como la Intuicionista y las lógicas Paraconsistentes, como Cω, hacen que estas lógicas sean útiles en la Representación
del Conocimiento.
La Lógica Posibilista Intuicionista P IL fue tratada ya en [11, 12], en
el cual los autores presentan algunas propiedades sintácticas de P IL. Nosotros retomamos algunos de sus resultados y aportamos dos semánticas para P IL: una semántica de Kripke y una semántica topológica. Además,
en esa dirección estudiamos la Lógica Posibilista Paraconsistente que denominamos P CωL, presentando algunas de sus propiedades sintácticas
as ́ı como dos semánticas: una semántica de Kripke y una semántica topológica."