Formal approaches to rule-based systems in medicine: The case of CADIAG-2

There is no established formal framework for expert systems based on weighted IF-THEN rules. We discuss three mathematical models that have been recently proposed by the authors for CADIAG-2-a well-known system of this kind. The three frameworks are based on fuzzy logics, probability theory and possibilistic logic, respectively. CADIAG-2 is used here as a case study to evaluate these frameworks. We point out their use, advantages and disadvantages. In addition, the described models provide insight into various aspects of CADIAG-2.

[1]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[2]  K. Adlassnig,et al.  Present State of the Medical Expert System CADIAG-2 , 1985, Methods of Information in Medicine.

[3]  Edward H. Shortliffe,et al.  Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence) , 1984 .

[4]  Klaus-Peter Adlassnig,et al.  Electronic Surveillance of Healthcare-Associated Infections with MONI-ICU - A Clinical Breakthrough Compared to Conventional Surveillance Systems , 2010, MedInfo.

[5]  J. Paris.  The Uncertain Reasoner's Companion: A Mathematical Perspective , 1994 .

[6]  Agata Ciabattoni,et al.  On the Classical Content of Monadic G ∼ and its Application to a Fuzzy Medical Expert System , 2010 .

[7]  Wolfgang Moser,et al.  Consistency checking of binary categorical relationships in a medical knowledge base , 1992, Artif. Intell. Medicine.

[8]  David Picado-Muiño,et al.  A probabilistic interpretation of the medical expert system CADIAG-2 , 2011, Soft Comput..

[9]  Pavel Klinov,et al.  The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach , 2010, LPAR.

[10]  Petr Hájek,et al.  Residuated fuzzy logics with an involutive negation , 2000, Arch. Math. Log..

[11]  Lluis Godo,et al.  An Extension of Gödel Logic for Reasoning under Both Vagueness and Possibilistic Uncertainty , 2012, IPMU.

[12]  Agata Ciabattoni,et al.  On the (fuzzy) logical content of CADIAG-2 , 2010, Fuzzy Sets Syst..

[13]  Lotfi A. Zadeh,et al.  Fuzzy Logic , 2009, Encyclopedia of Complexity and Systems Science.

[14]  George J. Klir,et al.  Fuzzy sets, uncertainty and information , 1988 .

[15]  A. Caramazza,et al.  A Fuzzy Set Approach to Modifiers and Vagueness in Natural Language , 2005 .

[16]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[17]  David Picado Muiòo.  Measuring and repairing inconsistency in probabilistic knowledge bases , 2011 .

[18]  M. Baaz.  Infinite-valued Gödel logics with $0$-$1$-projections and relativizations , 1996 .

[19]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[20]  Klaus-Peter Adlassnig,et al.  Fuzzy Set Theory in Medical Diagnosis , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[21]  Hans-Jürgen Zimmermann,et al.  Fuzzy Set Theory - and Its Applications , 1985 .

[22]  Vladik Kreinovich,et al.  Which fuzzy logic is the best: Pragmatic approach (and its theoretical analysis) , 2006, Fuzzy Sets Syst..

[23]  Didier Dubois,et al.  Possibilistic logic : a retrospective and prospective view , 2003 .

[24]  Christian G. Fermüller,et al.  Analytic Calculi for Projective Logics , 1999, TABLEAUX.

[25]  David Picado-Muiño,et al.  Measuring and repairing inconsistency in probabilistic knowledge bases , 2011, Int. J. Approx. Reason..

[26]  H. Zimmermann,et al.  Fuzzy Set Theory and Its Applications , 1993 .

[27]  K. Adlassnig,et al.  Approach to a hospital-based application of a medical expert system. , 1986, Medical informatics = Medecine et informatique.

[28]  Sofiane Achiche,et al.  Fuzzy decision support system knowledge base generation using a genetic algorithm , 2001, Int. J. Approx. Reason..

[29]  Gernot Kolarz,et al.  CADIAG 1: A Computer-Assisted Diagnostic System on the Basis of Symbolic Logic and Its Application in Internal Medicine , 1982 .

[30]  Matthias Baaz,et al.  First-order satisfiability in Gödel logics: An NP-complete fragment , 2011, Theor. Comput. Sci..

[31]  Petr Hájek,et al.  CADIAG-2 and MYCIN-like systems , 1997, Artif. Intell. Medicine.

[32]  K. Adlassnig,et al.  CADIAG: approaches to computer-assisted medical diagnosis. , 1985, Computers in biology and medicine.

[33]  Jan Pavelka,et al.  On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[34]  John Yen,et al.  GERTIS: a Dempster-Shafer approach to diagnosing hierarchical hypotheses , 1989, CACM.

[35]  Klaus-Peter Adlassnig,et al.  Evaluation of two different models of semi-automatic knowledge acquisition for the medical consultant system CADIAG-II/RHEUMA , 2002, Artif. Intell. Medicine.

[36]  Agata Ciabattoni,et al.  On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System , 2010, KR.

[37]  Giulianella Coletti,et al.  Inferential models and relevant algorithms in a possibilistic framework , 2011, Int. J. Approx. Reason..

[38]  Lluis Godo,et al.  Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics , 2009, Soft Comput..

[39]  Tommaso Flaminio,et al.  Reasoning about uncertainty of fuzzy events: an overview , 2011 .