Reparación de la inferencia entre formas conjuntivas implementando un algoritmo de revisión de creencias en PROLOG

Date
2022-07
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
"Para las aplicaciones de inteligencia artificial, es sumamente importante tanto la representación del conocimiento de un ser racional como la revisión de creencias, puesto que sin ella la base de conocimiento de dicho ser permanecería inalterable sin posibilidad de crecer o ser corregida. La lógica proposicional permite representar una base de conocimiento y por medio de la inferencia lógica, es posible determinar si la aparente nueva información forma o no parte de la base de conocimiento. En este proyecto se considera un operador de revisión de creencias entre formas normales conjuntivas (FNC’s). El operador que trabaja dentro del marco de la lógica proposicional hace uso de métodos de deducción automática para revisar si una nueva información se deduce lógicamente de una base de conocimiento. En el caso de que una nueva información no se infiera de la base de conocimiento, se debe determinar lo mínimo a agregar a la base de conocimiento, para que si se cumpla la inferencia. A este proceso le llamamos reparación de la inferencia lógica. En este proyecto de tesis, proponemos un método lógico para reparar la inferencia lógica entre FNC’s. La propuesta de método se implementa a través de un sistema programado con el lenguaje de programación lógica: PROLOG".
Description
Keywords
Citation
Document Viewer
Select a file to preview:
Can't see the file? Try reloading