Combining Knowledge Bases Consisting of First Order Theories

  title={Combining Knowledge Bases Consisting of First Order Theories},
  author={Chitta Baral and Sarit Kraus and Jack Minker and V. S. Subrahmanian},
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… CONTINUE READING