| Revista: | Computación y sistemas |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000423347 |
| ISSN: | 1405-5546 |
| Autores: | Ita Luna, Guillermo De1 Zacarias Flores, Fernando1 García García, Alma Delia1 |
| Instituciones: | 1Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias de la Computación, Puebla. México |
| Año: | 2017 |
| 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) |
