Combining knowledge bases consisting of first order theories

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

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

20 Scopus citations

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.

Original languageEnglish
Title of host publicationMethodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings
EditorsZbigniew W. Ras, Maria Zemankova
PublisherSpringer Verlag
Pages92-101
Number of pages10
ISBN (Print)9783540545637
DOIs
StatePublished - 1991
Externally publishedYes
Event6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991 - Charlotte , United States
Duration: 16 Oct 199119 Oct 1991

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume542 LNAI Part F2
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991
Country/TerritoryUnited States
CityCharlotte
Period16/10/9119/10/91

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1991.

Fingerprint

Dive into the research topics of 'Combining knowledge bases consisting of first order theories'. Together they form a unique fingerprint.

Cite this