Belief revision between conjunctive normal forms

Issue title: Intelligent and Fuzzy Systems applied to Language & Knowledge Engineering

Guest editors: David Pinto, Vivek Kumar Singh, Aline Villavicencio, Philipp Mayr-Schlegel and Efstathios Stamatatos

Article type: Research Article

Authors: De Ita, Guillermo^{a; *} | Marcial-Romero, Raymundo^b | Bello, Pedro^a | Contreras, Meliza^a

Affiliations: [a] Faculty of Computer Science, Benemérita Universidad Autonóma de Puebla, Puebla, Mexico | [b] Faculty of Engineering, Universidad Autónoma del Estado de México, Toluca, México

Correspondence: [*] Corresponding author. Guillermo De Ita, Benemérita Universidad Autonóma de Puebla, Faculty of Computer Science. deita@inaoep.mx.

Abstract: 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.

Keywords: Belief revision, propositional inference, AGM postulates, KM postulates

DOI: 10.3233/JIFS-169499

Journal: Journal of Intelligent & Fuzzy Systems, vol. 34, no. 5, pp. 3155-3164, 2018