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

  • Authors:
  • Agata Ciabattoni;David Picado MuiòO;Thomas Vetterlein;Moataz El-Zekey

  • Affiliations:
  • Department of Formal Languages, Vienna University of Technology, Favoritenstraße 9-11, 1040 Vienna, Austria;European Centre for Soft Computing, Edificio Científico Tecnológico, Gonzalo Gutiérrez Quirós s/n, 33600 Mieres, Spain;Department of Knowledge-Based Mathematical Systems, Johannes Kepler University, Altenberger Straße 69, 4040 Linz, Austria;Department of Discrete Mathematics and Geometry, Vienna University of Technology, Wiedner Hauptstraße 8-10, 1040 Vienna, Austria

  • Venue:
  • International Journal of Approximate Reasoning
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.