Abstract
Consider the construction of an expert system by encoding the knowledge of different experts. Suppose the knowledge provided by each expert is encoded into a knowledge base. Then the process of combining the knowledge of these different experts is an important and non-trivial problem. We study this problem here when the expert systems are considered to be first order theories. We present techniques for resolving inconsistencies in such knowledge bases. We also provide algorithms for implementing these techniques.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
C. Baral, S. Kraus, and J. Minker. Communicating Between Multiple Knowledge Based Systems with Different Languages. Presented in International Working Conference on Cooperating Knowledge Based Systems, Keele, England, Oct 1990.
H. Blair and V. S. Subrahmanian. Praraconsistent Logic Programming. Theoretical Computer Science, 68, pp 135–154, 1989.
R. Fagin, G. Kuper, J. Ullman, and M. Vardi. Updating Logical Databases. In Advances in Computing Research, volume 3, pages 1–18, 1986.
R. Fagin, J.D. Ullman, and M.Y. Vardi. On the Semantics of Updates in Databases. In ACM SIGACT/SIGMOD Symposium on Principles of Database Systems, pages 352–365, 1983.
P. Gardenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, 1988.
M. Gelfond and V. Lifschitz. Logic Programs with Classical Negation. In Proc. 7th Intl. Conf. on Logic Programming, pages 579–597, MIT Press.
M. Ginsberg. Counterfactuals. In Artificial Intelligence, 1986
J. Grant and V. S. Subrahmanian. Reasoning in Inconsistent Databases, 1990. manuscript.
M. Kifer and E. Lozinskii. A Logic for Reasoning with Inconsistency. to appear in J. of Automated Reasoning. Preliminary version in: Proc. Logic in Computer Science 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S. (1991). Combining knowledge bases consisting of first order theories. In: Ras, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1991. Lecture Notes in Computer Science, vol 542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54563-8_73
Download citation
DOI: https://doi.org/10.1007/3-540-54563-8_73
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54563-7
Online ISBN: 978-3-540-38466-3
eBook Packages: Springer Book Archive