Tesis de doctorado
Diseño de un algoritmo para la revisión de creencias entre formas conjuntivas
Fecha
2021Autor
BELLO LOPEZ, PEDRO; 80291
Bello López, Pedro
Resumen
"El problema a tratar en este trabajo de tesis es proponer un algoritmo para la revisión y actualización de una base de conocimiento usando lógica proposicional. Una base de conocimiento almacena conocimiento en una forma legible para la computadora, usualmente con el fin de obtener razonamiento deductivo automático aplicado a ellas, las cuales contienen una serie de datos en forma de reglas que describen el conocimiento de manera lógicamente consistente usando operadores lógicos".