A Formal Logical Framework for Cadiag-2


Cadiag-2-where "Cadiag" stands for "computer-assisted diagnosis"- is an expert system based on fuzzy logic assisting in the differential diagnosis in internal medicine. With its aid, it is possible to derive from possibly vague information about a patient's symptoms, signs, laboratory test results, and clinical findings conjectures about present diseases. In this paper, we provide a mathematical formalization of the inferential mechanism of Cadiag-2. The aim is to have a formal logical calculus at hand which corresponds to the mode of operation of Cadiag-2 and which is among others needed to perform consistency checking of Cadiag-2's medical knowledge base.

DOI: 10.3233/978-1-60750-044-5-648

Extracted Key Phrases


Citations per Year

112 Citations

Semantic Scholar estimates that this publication has 112 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Ciabattoni2009AFL, title={A Formal Logical Framework for Cadiag-2}, author={Agata Ciabattoni and Thomas Vetterlein and Klaus-Peter Adlassnig}, journal={Studies in health technology and informatics}, year={2009}, volume={150}, pages={648-52} }