A consistency-based framework for merging knowledge bases

Abstract We present a framework for expressing various merging operators for belief sets. This framework generalises our earlier work on consistency-based belief revision and contraction. Two primary merging operators are identified: in the first approach, belief sources are consistently combined so that the result of merging knowledge bases K 1 , … , K n is a maximal consistent (if possible) set of formulas comprising the joint knowledge of the knowledge bases. This approach then accords with one's intuitions as to what a “merge” operator should do. The second approach is more akin to a generalised belief revision operator. Knowledge bases K 1 , … , K n are “projected” onto another (in the simplest case the knowledge base where only tautologies are known). Properties of these operators are investigated, primarily by comparing their properties with postulates that have been identified previously in the literature. Notably, the approach is independent of syntax, in that merging knowledge bases K 1 , … , K n is independent of how each K i is expressed. As well, we investigate the role of entailment-based and consistency-based integrity constraints, the interrelationships between these approaches and belief revision, and the expression of further merging operators.

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

[2]  Brian Skyrms,et al.  Causation in Decision, Belief Change, and Statistics, vol. II , 1988 .

[3]  Sébastien Konieczny,et al.  Distance Based Merging: A General Framework and some Complexity Results , 2002, KR.

[4]  Alberto O. Mendelzon,et al.  Knowledge Base Merging by Majority , 1999 .

[5]  Thomas Andreas Meyer.  On the semantics of combination operations , 2001, J. Appl. Non Class. Logics.

[6]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[7]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[8]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[9]  Torsten Schaub,et al.  Two Approaches to Merging Knowledge Bases , 2004, JELIA.

[10]  Jack Minker.  Foundations of deductive databases and logic programming , 1988 .

[11]  Marco Schaerf,et al.  Reducing Belief Revision to Circumscription (and Vice Versa) , 1997, Artif. Intell..

[12]  Sébastien Konieczny,et al.  On the Difference between Merging Knowledge Bases and Combining them , 2000, KR.

[13]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

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

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

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

[17]  Didier Dubois,et al.  Possibilistic Merging and Distance-Based Fusion of Propositional Information , 2002, Annals of Mathematics and Artificial Intelligence.

[18]  Stefan Woltran,et al.  On Computing Solutions to Belief Change Scenarios , 2001, ECSQARU.

[19]  Remo Pareschi,et al.  Dynamic Worlds: From the Frame Problems to Knowledge Management , 1999 .

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

[21]  Michael A. Taitslin,et al.  A Logic for Data Description , 1989, Logic at Botik.

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

[23]  Michael L. Brodie,et al.  On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.

[24]  Sébastien Konieczny,et al.  Merging Information Under Constraints: A Logical Framework , 2002, J. Log. Comput..

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

[26]  Richard Booth,et al.  Social contraction and belief negotiation , 2002, Inf. Fusion.

[27]  D. Fensel.  Principles of knowledge representation and reasoning : proceedings of the eighth International Conference (KR2002), Toulouse, France, April 22-25, 2002 , 2002 .

[28]  Peter Z. Revesz.  On the semantics of theory change: arbitration between old and new information , 1993, PODS '93.

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

[30]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .