title: A formal logical framework for Cadiag-2.
abstract: 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.
authors.affiliation: Institute for Discrete Mathematics and Geometry, Vienna University of Technology, Austria.
authors.forename: Agata
authors.initials: A
authors.lastname: Ciabattoni
authors.forename: Thomas
authors.initials: T
authors.lastname: Vetterlein
authors.forename: Klaus-Peter
authors.initials: KP
authors.lastname: Adlassnig
mesh_terms: D000465:Algorithms; D003936:Diagnosis, Computer-Assisted; D005103:Expert Systems; D007388:Internal Medicine