AAAI Publications, Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System
Agata Ciabattoni, Pavel Rusnok

Last modified: 2010-04-27


The satisfiability problem for monadic infinite-valued Gödel logic is known to be undecidable. We identify a fragment of this logic extended with strong negation whose satisfiability is not only decidable but it is decidable within classical logic. We use this fragment to formalize the rules of CADIAG-2, a well performing fuzzy expert system assisting in the differential diagnosis in internal medicine. A (classical) satisfiability check of the resulting formulas allowed the detection of some errors in the rules of the system.

Full Text: PDF