Título
Semánticas para lógicas posibilistas
Autor
RUBEN OCTAVIO VELEZ SALAZAR
Colaborador
JOSE RAMON ENRIQUE ARRAZOLA RAMIREZ (Asesor de tesis)
IVAN MARTINEZ RUIZ (Asesor de tesis)
Nivel de Acceso
Acceso Abierto
Materias
Lógica simbólica y matemática - (LCC) Lógica difusa - (LCC) Lenguajes de programación (Computadoras)--Semántica - (LCC) Inteligencia artificial--Modelos matemáticos - (LCC) Programación lógica--Investigación - (LCC) Programas para computadora--Investigación - (LCC) CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA - (CTI)
Resumen o descripción
"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."
Benemérita Universidad Autónoma de Puebla
Fecha de publicación
5 de junio de 2015
Tipo de publicación
Tesis de doctorado
Recurso de información
Formato
application/pdf
Idioma
Español
Audiencia
Público en general
Repositorio Orígen
Repositorio Institucional de Acceso Abierto RIAA-BUAP
Descargas
0