Combining Knowledge Bases Consisting of First Order Theories

C Baral, S Kraus, J Minker, V. S Subrahmanian

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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 nontrivial 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.
Original languageAmerican English
Title of host publicationThe Sixth International Symposium on Methodologies for Intelligent Systems
StatePublished - 1991

Bibliographical note

Place of conference:USA


Dive into the research topics of 'Combining Knowledge Bases Consisting of First Order Theories'. Together they form a unique fingerprint.

Cite this