Premium
COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES
Author(s) -
Baral Chitta,
Kraus Sarit,
Minker Jack,
Subrahmanian V. S.
Publication year - 1992
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/j.1467-8640.1992.tb00337.x
Subject(s) - knowledge base , computer science , expert system , order (exchange) , process (computing) , legal expert system , artificial intelligence , encoding (memory) , knowledge acquisition , programming language , finance , economics
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.