Algoritmo basado en modelos para la revisión de creencias entre formas normales conjuntivas



Título del documento: Algoritmo basado en modelos para la revisión de creencias entre formas normales conjuntivas
Revista: Computación y sistemas
Base de datos: PERIÓDICA
Número de sistema: 000423347
ISSN: 1405-5546
Autores: 1
1
1
Instituciones: 1Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias de la Computación, Puebla. México
Año:
Periodo: Jul-Sep
Volumen: 21
Número: 3
País: México
Idioma: Español
Tipo de documento: Artículo
Enfoque: Aplicado, descriptivo
Resumen en español 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
Resumen en inglés Belief revision is a central area in knowledge representation and processing of automated reasoning. We will consider a knowledge base (KB) K and a new information φ, both expressed in conjunctive form (CF). We present here, a novel, deterministic and correct algorithm for belief revision of φ in K. We denote our revision operator as: K′ = K ◦ φ. We introduce a new logical binary operator Ind between two conjunctive forms, such that Ind(φ, K) generates also a conjunctive form. The operator Ind(φ, K) works building independent clauses with the clauses of K, and whose falsifying assignments of the resulting formula cover exactly the space of assignments F als(φ) − F als(K), this is essential for performing the process of belief revision K′ = K ◦ φ, where K′ ⊨ φ. Furthermore, our proposal satisfies the KM postulates. We also present the correctness proof of our belief revision method, and the analysis of its time complexity
Disciplinas: Ciencias de la computación
Palabras clave: Procesamiento de datos,
Razonamiento automatizado,
Inferencia proposicional,
Revisión de creencias,
Inferencia basada en modelos,
Postulados KM
Keyword: Data processing,
Automated reasoning,
Propositional inference,
Belief revision,
Model based inference,
Postulates KM
Texto completo: Texto completo (Ver HTML) Texto completo (Ver PDF)