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

International Journal of Approximate Reasoning

Volumn 54, Issue 1, 2013, Pages 132-148

  Ciabattoni, Agata ^a   Muiño, David Picado ^b   Vetterlein, Thomas ^c   El Zekey, Moataz ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b EUROPEAN CENTRE FOR SOFT COMPUTING   (Spain)

^c JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

CADIAG 2; Medical expert systems; Possibilistic logic; Probability theory; t Norm based logics

Indexed keywords

CADIAG-2; MEDICAL EXPERT SYSTEM; POSSIBILISTIC LOGIC; PROBABILITY THEORY; T-NORM BASED LOGICS;

EXPERT SYSTEMS; FUZZY LOGIC; MATHEMATICAL MODELS;

PROBABILISTIC LOGICS;

EID: 84870061068     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2012.09.002     Document Type: Article

References (37)

1. K.-P. Adlassnig Fuzzy set theory in medical diagnosis IEEE Transactions on Systems, Man and Cybernetics 16 2 1986 260 265
2. K.-P. Adlassnig, and G. Kolarz CADIAG-2: computer-assisted medical diagnosis using fuzzy subsets M.M. Gupta, E. Sanchez, Approximate Reasoning in Decision Analysis 1982 North-Holland Publ. Comp. Amsterdam 219 247
3. K.-P. Adlassnig, G. Kolarz, F. Lipomersky, I. Gröger, and G. Grabner CADIAG-1: a computer-assisted diagnostic system on the basis of symbolic logic and its application in internal medicine Proceedings of Medical Informatics in Europe 1982 1982 Springer-Verlag Berlin 495 505
4. K.-P. Adlassnig, G. Kolarz, and W. Scheithauer Present state of the medical expert system CADIAG-2 Methods of Information in Medicine 24 1985 13 20
5. K.-P. Adlassnig, G. Kolarz, W. Scheithauer, H. Effenberger, and G. Grabner CADIAG: approaches to computer-assisted medical diagnosis Computers in Biology and Medicine 15 1985 315 335
6. K.-P. Adlassnig, G. Kolarz, W. Scheithauer, and G. Grabner Approach to a hospital-based application of a medical expert system Medical Informatics 11 1986 205 223
7. M. Baaz Infinite-valued Gödel logics with 0-1-projections and relativizations Proceedings of Gödel 96, Kurt Gödel's Legacy, LNL 6 1996 Springer-Verlag Berlin 23 33
8. M. Baaz, A. Ciabattoni, N. Preining, First-order satisfiability in Goedel logics: an NP-complete fragment, Theoretical Computer Science, 412(2011):6612-6623.
9. M. Baaz, and C.G. Fermüller Analytic calculi for projective logics Proceedings of Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX '99) 1999 Springer-Verlag Berlin 36 50
10. M. Baioletti, G. Coletti, D. Petturiti, and B. Vantaggi Inferential models and relevant algorithms in a possibilistic framework International Journal of Approximate Reasoning 52 2011 580 598
11. L. Baron, S. Achiche, and M. Balazinski Fuzzy decision support system knowledge base generation using a genetic algorithm International Journal of Approximate Reasoning 28 2001 125 148
12. B.G. Buchanan, and E.H. Shortliffe Rule-based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project 1984 Addison-Wesley
13. ∼ and its application to a fuzzy medical expert system Proceedings of Knowledge Representation and Reasoning (KR2010) 2010 AAAI Press 373 381
14. A. Ciabattoni, and Th. Vetterlein On the (fuzzy) logical content of CADIAG-2 Fuzzy Sets and Systems 161 2010 1941 1958
15. M. Daniel, P. Hájek, and P.H. Nguyen CADIAG-2 and MYCIN-like systems Artificial Intelligence in Medicine 9 3 1997 241 259
16. D. Dubois, and H. Prade Possibilistic logic: a retrospective and prospective view Fuzzy Sets and Systems 144 2004 3 23
17. F. Esteva, Ll. Godo, P. Hájek, and M. Navara Residuated fuzzy logics with an involutive negation Archive for Mathematical Logic 39 2000 103 124
18. F. Esteva, Ll. Godo, and C. Noguera Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics Soft Computing 14 2010 273 284
19. T. Flaminio, Ll. Godo, and E. Marchioni Reasoning about uncertainty of fuzzy events: an overview P. Cintula, C. Fermüller, Ll. Godo, P. Hájek, Understanding Vagueness 2011 College Publications London 367 400
20. G. Gerla Fuzzy Logic 2000 Kluwer Dordrecht
21. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer Acad. Publ. Dordrecht
22. P. Klinov, B. Parsia, and D. Picado Muiño The consistency of the CADIAG-2 knowledge base: a probabilistic approach Proceedings of Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17) 2010 Springer-Verlag Berlin 432 446
23. G. Klir, and T. Folger Fuzzy Sets, Uncertainty and Information 1988 Prentice-Hall International
24. W. Koller, A. Blacky, C. Bauer, H. Mandl, and K.-P. Adlassnig Electronic surveillance of healthcare-associated infections with MONI-ICU - a clinical breakthrough compared to conventional surveillance systems Studies in Health Technology and Informatics 160 2010 426 432
25. V. Kreinovich, and H.T. Nguyen Which fuzzy logic is the best: pragmatic approach (and its theoretical analysis) Fuzzy Sets and Systems 157 5 2006 611 614
26. H. Leitich, K.-P. Adlassnig, and G. Kolarz Evaluation of two different models of semiautomatic knowledge acquisition for the medical consultant system CADIAG-II/RHEUMA Artificial Intelligence in Medicine 25 2002 215 225
27. W. Moser, and K.-P. Adlassnig Consistency checking of binary categorical relationships in a medical knowledge base Artificial Intelligence in Medicine 8 1992 389 407
28. V. Novák, I. Perfilieva, and J. Močkoř Mathematical Principles of Fuzzy Logic 1999 Kluwer Dordrecht
29. J. Paris The Uncertain Reasoner's Companion 1994 Cambridge University Press
30. J. Pavelka On fuzzy logic I, II, III Zeitschrift f ür mathematische Logik und Grundlagen der Mathematik 25 1979 45 52 119-134, 447-464
31. D. Picado Muiño A probabilistic interpretation of the medical expert system CADIAG-2 Soft Computing 15 2011 2013 2020
32. D. Picado Muiño Measuring and repairing inconsistency in probabilistic knowledge bases International Journal of Approximate Reasoning 52 2011 828 840
33. R. Reiter A theory of diagnosis from first principles Artificial Intelligence 32 1987 57 95
34. J. Yen GERTIS: a Dempster-Shafer approach to diagnosing hierarchical hypotheses Communications of the ACM 32 1989 573 585
35. L. Zadeh Fuzzy sets Information and Control 8 1965 338 353
36. M. El-Zekey, and L. Godo An extension of Gödel logic for reasoning under both vagueness and possibilistic uncertainty Proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2012) 2012 Springer-Verlag Berlin 216 225
37. H. Zimmermann Fuzzy Set Theory and its Applications 1991 Kluwer Academic Press