Abstract
In many fields such as heterogeneous databases [1] or genomic information systems [9] we are often confronted with multiple and conflicting sources of information. Systems organized around reasoning agents [12, 6] face the similar problem of resolving conflicts among contradictory knowledge or beliefs1 held by different agents. At the same time, these systems want to extract additional knowledge that is not locally held by any agent, but collectively by all of them (called implicit knowledge in [12]). For example, if an agent knows a and another agent knows a → b, then combining their knowledge yields b, even though neither one of them individually knows b.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M.W. Bright, A.R.Hurson, and S.H. Pakzad. A.taxonomy and current issues in multidatabase systems. Computer, 25 (3): 50–59, 1992.
A. Borgida and T. Imielinski. Decision making in committees-a framework for dealing with inconsistency and non-monotonicity. In Proceedings Nonmonotonic Reasoning Workshop, pages 21–32, 1984.
C. Baral, S. Kraus, J. Minker, and V. S. Subrahmanian. Combining knowledge bases consisting of first-order theories. Computational Intelligence, 8: 45–71, 1992.
C. Boutilier. Revision sequences and nested conditionals. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 1993.
Mukesh Dalai. Investigations into a theory of knowledge base revision: preliminary report. In Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, pages 475–479, 1988.
R. Fagin and J. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34: 39–76, 1988.
R. Fagin, J. Halpern, and M. Vardi. A model-theoretic analysis of knowledge. Journal of the ACM, 38 (2): 382–428, 1991.
R. Fagin, G. M. Kuper, J. D. Ullman, and M. Vardi. Updating logical databases. Advances in Computing Research, 3: 1–18, 1986.
K. A. Frenkel. The human genome project and informatics. Communications of the Association for Computing Machinery, 34: 42, 1991.
R. Fagin, J. D. Ullman, and M. Vardi. On the semantics of updates in databases. In 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 352–365, 1983.
J. Halpern. Reasoning about knowledge: an overview. In Proceedings of the Conference on Theoretical Aspects of Reasoning about Knowledge, 1986.
J. Halpern and Y. Moses. A guide to the modal logics of knowledge and belief. In Proceedings IJCAI-85, pages 480–490, 1985. A complete version appears in Artificial Intelligence, 54(3):319–379, 1992, under the title “A guide to completeness and complexity for modal logics of knowledge and belief”.
J. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37 (3): 549–587, 1990.
Jerry S. Kelly. Social Choice Theory: An Introduction. Springer-Verlag, 1988.
H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 387–394, 1991.
H. Katsuno and A. O. Mendelzon. Propositional knowledgebase revision and minimal change. Artificial Intelligence, 52: 263–294, 1991.
Hector J. Levesque. A logic of implicit and explicit belief. FLAIR Texh. Rept. 32, Fairchid Lab. for AI Research, Palp Alto. A preliminary version appears in Proc. of the 4th National conference of the American Association for Artificial Intelligence, pages 198–202, 1984, 1984.
Jinxin Lin. Integration of weighted knowledge bases. Artificial Intelligence, 83/2:363378, 1996.
P. Revesz. On the semantics of theory change: arbitration between old and new information. In Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 71–82, 1992.
P. Revesz. On the semantics of arbitration. International Journal of Algebra and Computation, 7 (2): 133–160, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Lin, J., Mendelzon, A.O. (1999). Knowledge Base Merging by Majority. In: Pareschi, R., Fronhöfer, B. (eds) Dynamic Worlds. Applied Logic Series, vol 12. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1317-7_6
Download citation
DOI: https://doi.org/10.1007/978-94-017-1317-7_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5159-2
Online ISBN: 978-94-017-1317-7
eBook Packages: Springer Book Archive