Belief revision between conjunctive normal forms
Guillermo De Ita Luna, J. Raymundo Marcial‐Romero, Pedro Bello, Meliza Contreras González · Journal of Intelligent & Fuzzy Systems · 2018
Let K be a knowledge base (KB) and let φ be new information, both propositional formulas expressed in conjunctive form (CF). We propose a deterministic and correct algorithm for performing the belief revision of φ in K , denoted as: K ∘ φ . Our proposal satisfies subsets of AGM and KM postulates. We also present the soundness proof of our belief revision method, and the analysis of its time complexity.