De Ita Luna, GuillermoDE ITA LUNA, GUILLERMO; 57559Bello López, Pedro2021-10-012021-10-012021https://hdl.handle.net/20.500.12371/14538"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".pdfspaINGENIERÍA Y TECNOLOGÍAAlgoritmos computacionalesSistemas lógicosLingüística computacionalTesis de doctoradoopenAccessLógica proposicionalModelo AGMModelo KM