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)
We propose linguistic associations mining as a technique to create the models of the multivariate time series. We define various linguistic evaluative expressions on the range of the values of the time series and variables derived from them. We mine linguistic associations then and interpret them as IF-THEN rules in the framework of Perception based Logic… (More)
We briefly describe the medical expert system Cadiag-2, developed to support the differential diagnostic process in internal medicine. We propose a propositional logic called fuzzy probability logic as a possible formalization of Cadiag-2 and indicate the way of transferring Cadiag-2's methodology into this framework.