Diseño de un algoritmo para la revisión de creencias entre formas conjuntivas

Date
2021
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
"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".
Description
Keywords
Citation
Document Viewer
Select a file to preview:
Can't see the file? Try reloading