De Ita Luna, GuillermoAltamirano Robles, Luis CarlosDE ITA LUNA, GUILLERMO; 57559Altamirano Robles, Luis Carlos; 26147Osuna González, Reynold2023-03-092023-03-092022-07https://hdl.handle.net/20.500.12371/17754"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".pdfspaINGENIERÍA Y TECNOLOGÍACreencia y dudaInferenciaLógica computacionalCálculo proposicionalAlgoritmos computacionalesInteligencia artificialTesis de maestríaopenAccess