Pavel Rusnok

Learn More
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(More)
CADIAG-2 is a medical expert system to assist differential diagnosis in several sub-specialties of internal medicine. A patient’s symptoms, signs, laboratory test results, and various clinical findings constitute the starting point of the computer-assisted differential diagnostic process. Lists of confirmed and excluded diagnoses as well as diagnostic(More)
  • 1