Un algoritmo para la revisión de creencias entre formas conjuntivas
Date
2016-09
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
“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”.
Description
Keywords
Citation
Collections
Document Viewer
Select a file to preview:
Can't see the file? Try reloading