BReLS: A System for the Integration of Knowledge Bases

The process of integrating knowledge coming from different sources has been widely investigated in the literature. Three distinct conceptual approaches to this problem have been most succesful: belief revision, merging and update. In this paper we present a framework that integrates these three approaches. In the proposed framework all three operations can be performed. We provide an example that can only be solved by applying more than one single style of knowledge integration and, therefore, cannot be addressed by anyone of the approaches alone. The framework has been implemented, and the examples shown in this paper (as well as other examples from the belief revision literature) have been successfully tested.

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

[2]  Craig Boutiller,et al.  Generalized update: belief change in dynamic settings , 1995, IJCAI 1995.

[3]  Craig Boutilier,et al.  Generalized Update: Belief Change in Dynamic Settings , 1995, IJCAI.

[4]  Gabriel M. Kuper,et al.  Updating Logical Databases , 1986, Adv. Comput. Res..

[5]  Jinxin Lin,et al.  Integration of Weighted Knowledge Bases , 1996, Artif. Intell..

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

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

[8]  Luís Moniz Pereira,et al.  What Is Believed Is What Is Explained (Sometimes) , 1996, AAAI/IAAI, Vol. 1.

[9]  Sheila A. McIlraith.  Explanatory Diagnosis: Conjecturing Actions to Explain Observations , 1998, KR.

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

[11]  Chitta Baral,et al.  Representing Actions: Laws, Observations and Hypotheses , 1997, J. Log. Program..

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

[13]  Marco Schaerf,et al.  Arbitration: A Commutative Operator for Belief Revision , 1995, WOCFAI.

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

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

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

[17]  Joseph Y. Halpern,et al.  A Knowledge-Based Framework for Belief Change, Part II: Revision and Update , 1994, KR.