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 language | English |
---|---|
Title of host publication | Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings |
Editors | Zbigniew W. Ras, Maria Zemankova |
Publisher | Springer Verlag |
Pages | 92-101 |
Number of pages | 10 |
ISBN (Print) | 9783540545637 |
DOIs | |
State | Published - 1991 |
Externally published | Yes |
Event | 6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991 - Charlotte , United States Duration: 16 Oct 1991 → 19 Oct 1991 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 542 LNAI Part F2 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991 |
---|---|
Country/Territory | United States |
City | Charlotte |
Period | 16/10/91 → 19/10/91 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 1991.