Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
On the (fuzzy) logical content of CADIAG-2
Fuzzy Sets and Systems
Artificial Intelligence in Medicine
Formal approaches to rule-based systems in medicine: The case of CADIAG-2
International Journal of Approximate Reasoning
| Hi-index | 0.00 |
Knowledge bases of medical expert systems have grown to such an extent that formal methods to verify their consistency seem highly desirable; otherwise, decision results of such expert systems are not reliable and contradictory entries in the knowledge base may cause erroneous conclusions. This paper presents a new formalization of the finding/finding, finding/disease, and disease/disease relationships of the medical expert system Cadiag-1. This formalization also helps to clarify the differences between the application of propositional logic and of quantificational logic to capture the meaning of some fundamental categorical relationships in the area of medical diagnostics. Moreover, this formalization leads to very simple yet provably correct and complete algorithms to check the consistency of a medical knowledge base containing a set of these relationships.