Computational Intelligence · 1992 · 232 citations · 16 references
ManagementComputer ScienceKnowledge CaptureKnowledge CreationKnowledge RepresentationExpert SystemsExpertise RepresentationKnowledge AcquisitionKnowledge Base DesignKnowledge ElicitationKnowledge ModelingExpert Knowledge ModelingExpert Systems Knowledge AcquisitionKnowledge Base ArchitectureKnowledge Base ConstructionKnowledge Elicitation From ExpertsKnowledge Representation ModelingKnowledge-based Expert Systems
Combining knowledge from multiple experts into a single expert system is a complex, nontrivial challenge. This work investigates how to merge expert systems represented as first‑order theories. The authors propose inconsistency‑resolution techniques and algorithms to implement them.
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.
16
Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations
The complexity of relational query languages (Extended Abstract)
Moshe Y. Vardi · 1982 · 1.2K citations
Computing, Computer Science, Algebra +16
Knowledge in Flux: Modeling the Dynamics of Epistemic States.
Isaac Levi, Peter Gärdenfors · The Journal of Philosophy · 1991 · 573 citations
Humanities, Philosophy, Epistemology +11