Merging First-Order Knowledge Using Dilation Operators
The area of knowledge merging is concerned with merging conflicting information while preserving as much as possible. Most proposals in the literature work with knowledge bases expressed in propositional logic. We propose a new framework for merging knowledge bases expressed in (subsets of) first-order logic. Dilation operators (a concept originally introduced by Bloch and Lang) are employed and developed, and by combining them with the concept of comparison orderings we obtain a framework that is driven by model-based intuitions but that can be implemented in a syntax-based manner. We demonstrate specific dilation operators and comparison orderings for use in applications. We also show how postulates from the literature on knowledge merging translate into our framework and provide the conditions that dilation operators and comparison orderings must satisfy in order for the respective merging operators to satisfy the new postulates.
KeywordsKnowledge Base Propositional Logic Belief Revision Integrity Constraint Dilation Operator
Unable to display preview. Download preview PDF.
- 5.Everaere, P., Konieczny, S., Marquis, P.: Quota and Gmin merging operators. In: IJCAI 2005. Nineteenth International Joint Conference on Artificial Intelligence, pp. 424–429 (2005)Google Scholar
- 6.Konieczny, S., Pérez, R.P.: On the logic of merging. In: KR 1998. Sixth International Conference on Principles of Knowledge Representation and Reasoning, pp. 488–498 (1998)Google Scholar
- 11.Chacón, J.L., Pérez, R.P.: Merging operators: Beyond the finite case. Information Fusion 7(1), 41–60 (2006)Google Scholar
- 12.Booth, R.: Social contraction and belief negotiation. In: KR 2002. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning, pp. 375–384. Morgan Kaufmann, San Francisco (2002)Google Scholar
- 13.Konieczny, S.: On the difference between merging knowledge bases and combining them. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) KR 2000. International Conference on Principles of Knowledge Representation and Reasoning, pp. 135–144. Morgan Kaufmann, San Francisco (2000)Google Scholar
- 14.Bloch, I., Lang, J.: Towards Mathematical Morpho-Logics. In: Technologies for Constructing Intelligent Systems, vol. 2, pp. 367–380. Springer, Heidelberg (2002)Google Scholar
- 16.Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. MIT Press, Cambridge (2000)Google Scholar
- 17.Gorogiannis, N., Hunter, A.: Implementing semantic merging operators using binary decision diagrams. Technical report, University College London (2007)Google Scholar
- 18.Dalal, M.: Investigations into a theory of knowledge base revision. In: AAAI 1988. Proceedings of the Seventh National Conference on Artificial Intelligence, vol. 2, pp. 475–479 (1988)Google Scholar