On the (fuzzy) logical content of CADIAG-2

Authors:
Thomas Vetterlein;Agata Ciabattoni
Affiliations:
Section on Medical Expert and Knowledge-Based Systems, Medical University of Vienna, Spitalgasse 23, 1090 Wien, Austria;Institute for Discrete Mathematics and Geometry, Wiedner Hauptstraße 8-10, 1040 Wien, Austria
Venue:
Fuzzy Sets and Systems
Year:
2010

Citing 4
Cited 5

Sequent of relations calculi: a framework for analytic deduction in many-valued logics

Beyond two
Evaluation of two different models of semi-automatic knowledge acquisition for the medical consultant system CADIAG-II/RHEUMA

Artificial Intelligence in Medicine
Knowledge acquisition in the fuzzy knowledge representation framework of a medical consultation system

Artificial Intelligence in Medicine
Consistency checking of binary categorical relationships in a medical knowledge base

Artificial Intelligence in Medicine

MTL-algebras arising from partially ordered groups

Fuzzy Sets and Systems
The consistency of the CADIAG-2 knowledge base: a probabilistic approach

LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Measuring and repairing inconsistency in knowledge bases with graded truth

Fuzzy Sets and Systems
Plausible reasoning and graded information: A unified approach

Fuzzy Sets and Systems
Formal approaches to rule-based systems in medicine: The case of CADIAG-2

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.20

Visualization

Abstract

CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vague information about a patient's symptoms. In this paper we provide a mathematical formalisation of the inferential mechanism of CADIAG-2. A Gentzen-style calculus for the resulting logic is introduced and used to compare the system's behaviour with t-norm based fuzzy logics.