2 research outputs found
Dise帽o de un algoritmo para la revisi贸n de creencias entre formas conjuntivas
"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"