Tesis de maestría
Un algoritmo para la revisión de creencias entre formas conjuntivas
Fecha
2016-09Autor
García García, Alma Delia
Resumen
“La revisión de creencias es un área central en la representación del conocimiento y en el procesamiento de razonamiento automático, consiste en estar incorporando nuevas creencias, cambiando tan poco como sean posibles las creencias originales y manteniendo la consistencia de la base de creencias. Consideremos 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 el operador de revisión como: K′ = K ◦φ. En este documento de tesis se propone un nuevo operador binario lógico Ind entre formas conjuntivas, donde 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 Fals(φ) −Fals(K), lo que es esencial para realizar el proceso de revisión de creencias K′= K ◦ φ, y donde K′ |= φ. Además de que esta propuesta satisface los postulados KM. Por otro lado se presenta la demostración de la corrección del algoritmo de revisión de creencias así como el análisis de complejidad en tiempo”.