Resumo

ITA LUNA, Guillermo De; ZACARIAS FLORES, Fernando  e  GARCIA GARCIA, Alma Delia. Algoritmo basado en modelos para la revisión de creencias entre formas normales conjuntivas. Comp. y Sist. [online]. 2017, vol.21, n.3, pp.435-448. ISSN 2007-9737.  https://doi.org/10.13053/cys-21-3-2442.

La revisión de creencias es un área central en la representación de conocimiento y en el procesamiento de razonamiento automático. Consideraremos una base inicial de conocimiento K y una nueva información φ, ambas codificadas en forma normal conjuntiva (FC). Presentamos aquí, un algoritmo novedoso, determinista y correcto para la revisión de creencias de φ en K. Denotamos nuestro operador de revisión como: K′ = K ◦ φ. Proponemos un nuevo operador binario lógico Ind entre formas conjuntivas, y tal que Ind(φ, K) construye también una nueva forma conjuntiva. El operador Ind(φ, K) trabaja construyendo cláusulas independientes con las cláusulas de K, y las asignaciones falsificantes de la fórmula resultante cubren exactamente el espacio de asignaciones de F als(φ) − F als(K), lo que es esencial para realizar el proceso de revisión de creencias K′ = K ◦ φ, y donde K′ ⊨ φ. Además de que nuestra propuesta satisface los postulados KM. Presentamos también la demostración de que nuestro algoritmo de revisión de creencias es correcto, y su análisis de complejidad en tiempo.

Palavras-chave : Inferencia proposicional; revisión de creencias; inferencia basada en modelos; postulados KM.