Consistency-based Revision of Structured Belief Bases

Article type: Research Article

Authors: Korpusik, Michał | Łukaszewicz, Witold | Madalińska-Bugaj, Ewa

Affiliations: Faculty of Mathematics and Computer Science, University of Warmia and Mazury, Olsztyn, Poland. m.korpusik@matman.uwm.edu.pl; lukaszewicz@matman.uwm.edu.pl | Institute of Informatics, Warsaw University, Warsaw, Poland. E.Madalinska@mimuw.edu.pl

Note: [] Address for correspondence: Institute of Informatics, Warsaw University, Warsaw, Poland.

Abstract: In this paper we extend a consistency-based approach (originally introduced by Delgrande and Schaub) to belief revision for structured belief bases. We explicitly distinguish between observations, i.e., facts that an epistemic agent observes or is being told, and rules representing general knowledge about the considered world. When new information becomes available respective sets are being altered in a different way to preserve parts of knowledge during the revision process. Such an approach allows us to deal with difficult and complex scenarios, involving defeasible information and derivation filtering, with common-sense results.

DOI: 10.3233/FI-2015-1163

Journal: Fundamenta Informaticae, vol. 136, no. 4, pp. 381-404, 2015