Merging Locally Correct Knowledge Bases: A Preliminary Report

Belief integration methods are often aimed at deriving a single and consistent knowledge base that retains as much as possible of the knowledge bases to integrate. The rationale behind this approach is the minimal change principle: the result of the integration process should differ as less as possible from the knowledge bases to integrate. We show that this principle can be reformulated in terms of a more general model of belief revision, based on the assumption that inconsistency is due to the mistakes the knowledge bases contain. Current belief revision strategies are based on a specific kind of mistakes, which however does not include all possible ones. Some alternative possibilities are discussed.

[1]  Mary-Anne Williams,et al.  Transmutations of Knowledge Systems , 1994, KR.

[2]  Georg Gottlob,et al.  On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..

[3]  Marco Schaerf,et al.  Arbitration (or How to Merge Knowledge Bases) , 1998, IEEE Trans. Knowl. Data Eng..

[4]  Andreas Herzig,et al.  Propositional Belief Base Update and Minimal Change , 1999, Artif. Intell..

[5]  Paolo Liberatore,et al.  The Complexity of Iterated Belief Revision , 1997, ICDT.

[6]  Andreas Herzig,et al.  Updates, actions, and planning , 2001, IJCAI.

[7]  Sébastien Konieczny,et al.  On the Logic of Merging , 1998, KR.

[8]  Pierre Marquis,et al.  Updating Epistemic States , 2001, Australian Joint Conference on Artificial Intelligence.

[9]  Alexander Borgida,et al.  Language features for flexible handling of exceptions in information systems , 1985, TODS.

[10]  Kenneth D. Forbus.  Introducing Actions into Qualitative Simulation , 1989, IJCAI.

[11]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[12]  Thomas Andreas Meyer,et al.  Syntactic Representations of Semantic Merging Operations , 2002, PRICAI.

[13]  Ken Satoh.  Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.

[14]  Marco Schaerf,et al.  BReLS: A System for the Integration of Knowledge Bases , 2000, KR.

[15]  Paolo Liberatore,et al.  The Complexity of Belief Update , 1997, IJCAI.

[16]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

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

[18]  Hans Rott,et al.  Two Dogmas of Belief Revision , 2000 .