COBA 2.0: A Consistency-Based Belief Change System

We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing here on revision and contraction, with the possible incorporation of integrity constraints. This general framework was first proposed in [1]; following a review of this work, we present COBA 2.0's high-level algorithm, work through several examples, and describe our experiments. A distinguishing feature of COBA 2.0 is that it builds on SAT-technology by using a module comprising a state-of-the-art SAT-solver for consistency checking. As well, it allows for the simultaneous specification of revision, multiple contractions, along with integrity constraints, with respect to a given knowledge base.

[1]  Robert A. Kowalski,et al.  A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..

[2]  Robert A. Kowalski.  Logic for Data Description , 1977, Logic and Data Bases.

[3]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[4]  Stefan Woltran,et al.  Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas , 2000, AAAI/IAAI.

[5]  André Fuhrmann,et al.  Relevant logics, modal logics and theory change , 1988 .

[6]  Michael L. Brodie,et al.  On Conceptual Modelling , 1984, Topics in Information Systems.

[7]  Stefan Woltran,et al.  On Computing Belief Change Operations using Quantified Boolean Formulas , 2004, J. Log. Comput..

[8]  Souhila Kaci,et al.  Weakening conflicting information for iterated revision and knowledge integration , 2001, Artificial Intelligence.

[9]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[10]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[11]  Torsten Schaub,et al.  Consistency-based approaches to merging knowledge bases: preliminary report , 2004, NMR.

[12]  Torsten Schaub,et al.  A consistency-based approach for belief change , 2003, Artif. Intell..

[13]  Torsten Schaub,et al.  A consistency-based framework for merging knowledge bases , 2007, J. Appl. Log..