Fuzzy set theory in medical diagnosis
IEEE Transactions on Systems, Man and Cybernetics
A theory of diagnosis from first principles
Artificial Intelligence
Fuzzy sets, uncertainty, and information
Fuzzy sets, uncertainty, and information
A quantitative approach to logical inference
Decision Support Systems
Fuzzy set theory—and its applications (3rd ed.)
Fuzzy set theory—and its applications (3rd ed.)
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
The Description Logic Handbook
The Description Logic Handbook
Laconic and Precise Justifications in OWL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Extracting Modules from Ontologies: A Logic-Based Approach
Modular Ontologies
Ontology Integration Using ε-Connections
Modular Ontologies
On the (fuzzy) logical content of CADIAG-2
Fuzzy Sets and Systems
Artificial Intelligence in Medicine
Measuring and repairing inconsistency in probabilistic knowledge bases
International Journal of Approximate Reasoning
Formal approaches to rule-based systems in medicine: The case of CADIAG-2
International Journal of Approximate Reasoning
Hi-index | 0.00 |
The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base consists of a large collection of rules representing knowledge about various medical entities (symptoms, signs, diseases...) and relationships between them. The major portion of the rules are uncertain, i.e., they specify to what degree a medical entity is confirmed by another medical entity or a combination of them. Given the size of the system and the uncertainty it has been challenging to validate its consistency. Recent attempts to partially formalise CADIAG-2's knowledge base into decidable Gödel logics have shown that, on that formalisation, CADIAG-2 is inconsistent. In this paper we verify this result with an alternative, more expressive formalisation of CADIAG-2 as a set of probabilistic conditional statements and apply a state-of-the-art probabilistic logic solver to determine satisfiability of the knowledge base and to extract conflicting sets of rules. As CADIAG-2 is too large to be handled out of the box we describe an approach to split the knowledge base into fragments that can be tested independently and prove that such methodology is complete (i.e., is guaranteed to find all conflicts). With this approach we are able to determine that CADIAG-2 contains numerous sets of conflicting rules and compute all of them for a slightly relaxed version of the knowledge base.