摘要：La revisi ́ on de creencias es un ́ area central en la representaci ́ on de conocimiento y en el procesamiento de razonamiento autom ́ atico. Consideraremos una base inicial de conocimiento K y una nueva informaci ́ on φ , ambas codificadas en forma normal conjuntiva (FC). Presentamos aqu ́ ı, un algoritmo novedoso, determinista y correcto para la revisi ́ on de creencias de φ en K . Denotamos nuestro operador de revisi ́ on como: K ′ = K ◦ φ . Proponemos un nuevo operador binario l ́ ogico Ind entre formas conjuntivas, y tal que Ind ( φ , K ) construye tambi ́ en una nueva forma conjuntiva. El operador Ind ( φ , K ) trabaja construyendo cl ́ ausulas independientes con las cl ́ ausulas de K , y las asignaciones falsificantes de la f ́ ormula resultante cubren exactamente el espacio de asignaciones de Fals ( φ ) − Fals ( K ) , lo que es esencial para realizar el proceso de revisi ́ on de creencias K ′ = K ◦ φ , y donde K ′ | = φ . Adem ́ as de que nuestra propuesta satisface los postulados KM. Presentamos tambi ́ en la demostraci ́ on de que nuestro algoritmo de revisi ́ on de creencias es correcto, y su an ́ alisis de complejidad en tiempo.
其他摘要：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 Fals ( φ ) − Fals ( 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.
关键词：Inferencia proposicional; revisi ́on de creencias; inferencia basada en modelos; postulados KM.
其他关键词：Propositional inference; belief revision; model based inference; postulates KM.
