Premium
Detection of potential inconsistencies in knowledge bases
Author(s) -
fjall Heri,
Larsen Henrik L.
Publication year - 1992
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.4550070202
Subject(s) - backward chaining , computer science , forward chaining , inference , knowledge base , computation , resolution (logic) , extension (predicate logic) , rule of inference , contradiction , simple (philosophy) , artificial intelligence , theoretical computer science , horn clause , base (topology) , chaining , inference engine , algorithm , expert system , mathematics , logic programming , programming language , psychology , mathematical analysis , philosophy , epistemology , psychotherapist
We present a new computational approach to the problem of detection of potential inconsistencies in knowledge bases. For such inconsistencies, we characterize the sets of possible input facts that will allow the knowledge based system to derive the contradiction. the state‐of‐the‐art approach to a solution of this problem is represented by the COVADIS system which checks simple rule bases. the COVADIS approach relies on forward chaining and is strongly related to the way ATMS computes labels for deducible facts. Here, we present an alternative computation method that employs backward chaining in a kind of abductive reasoning. This approach gives a more focused reasoning, thus requiring much less computation and memory than COVADIS. Further, since our method is very similar to SLD‐resolution, it is suitable for handling the more powerful knowledge base form represented by Horn claause bases. Finally, our method is easily extended to uncertain knowledge bases, assuming that the uncertainty calculus is modeled by possibilistic logic. This extension allows us to model the effect of user defined belief thresholds for inference chains.