Sciweavers

FSS
2010

On the (fuzzy) logical content of CADIAG-2

13 years 8 months ago
On the (fuzzy) logical content of CADIAG-2
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.
Thomas Vetterlein, Agata Ciabattoni
Added 02 Mar 2011
Updated 02 Mar 2011
Type Journal
Year 2010
Where FSS
Authors Thomas Vetterlein, Agata Ciabattoni
Comments (0)