COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES

Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian

Research output: Contribution to journalArticle

168 Citations (Scopus)

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 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 languageEnglish (US)
Pages (from-to)45-71
Number of pages27
JournalComputational Intelligence
Volume8
Issue number1
DOIs
StatePublished - 1992
Externally publishedYes

Fingerprint

Knowledge Base
Expert systems
Expert System
Inconsistency
Encoding
Knowledge

Keywords

  • first‐order the theories.
  • knowledge bases

ASJC Scopus subject areas

  • Computational Mathematics
  • Artificial Intelligence

Cite this

COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES. / Baral, Chitta; Kraus, Sarit; Minker, Jack; Subrahmanian, V. S.

In: Computational Intelligence, Vol. 8, No. 1, 1992, p. 45-71.

Research output: Contribution to journalArticle

Baral, Chitta ; Kraus, Sarit ; Minker, Jack ; Subrahmanian, V. S. / COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES. In: Computational Intelligence. 1992 ; Vol. 8, No. 1. pp. 45-71.
@article{e4b4431c8ed341e592e9731c95ef7cf4,
title = "COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES",
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 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.",
keywords = "first‐order the theories., knowledge bases",
author = "Chitta Baral and Sarit Kraus and Jack Minker and Subrahmanian, {V. S.}",
year = "1992",
doi = "10.1111/j.1467-8640.1992.tb00337.x",
language = "English (US)",
volume = "8",
pages = "45--71",
journal = "Computational Intelligence",
issn = "0824-7935",
publisher = "Wiley-Blackwell",
number = "1",

}

TY - JOUR

T1 - COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES

AU - Baral, Chitta

AU - Kraus, Sarit

AU - Minker, Jack

AU - Subrahmanian, V. S.

PY - 1992

Y1 - 1992

N2 - 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.

AB - 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.

KW - first‐order the theories.

KW - knowledge bases

UR - http://www.scopus.com/inward/record.url?scp=84990602723&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84990602723&partnerID=8YFLogxK

U2 - 10.1111/j.1467-8640.1992.tb00337.x

DO - 10.1111/j.1467-8640.1992.tb00337.x

M3 - Article

VL - 8

SP - 45

EP - 71

JO - Computational Intelligence

JF - Computational Intelligence

SN - 0824-7935

IS - 1

ER -