Advertisement

Combining knowledge bases consisting of first order theories

  • Chitta Baral
  • Sarit Kraus
  • Jack Minker
  • V. S. Subrahmanian
Communications Intelligent Databases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 542)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BKM90a]
    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.Google Scholar
  2. [BS89a]
    H. Blair and V. S. Subrahmanian. Praraconsistent Logic Programming. Theoretical Computer Science, 68, pp 135–154, 1989.Google Scholar
  3. [FKUV86]
    R. Fagin, G. Kuper, J. Ullman, and M. Vardi. Updating Logical Databases. In Advances in Computing Research, volume 3, pages 1–18, 1986.Google Scholar
  4. [FUV83]
    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.Google Scholar
  5. [Gar88]
    P. Gardenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, 1988.Google Scholar
  6. [GL90]
    M. Gelfond and V. Lifschitz. Logic Programs with Classical Negation. In Proc. 7th Intl. Conf. on Logic Programming, pages 579–597, MIT Press.Google Scholar
  7. [Gins86]
    M. Ginsberg. Counterfactuals. In Artificial Intelligence, 1986Google Scholar
  8. [GS90]
    J. Grant and V. S. Subrahmanian. Reasoning in Inconsistent Databases, 1990. manuscript.Google Scholar
  9. [KL89]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Chitta Baral
    • 1
  • Sarit Kraus
    • 1
  • Jack Minker
    • 1
  • V. S. Subrahmanian
    • 1
  1. 1.Department of Computer Science University of Maryland Institute for Advanced Computer StudiesUniversity of MarylandCollege ParkUSA

Personalised recommendations