Skip to main content
Top
Published in: Soft Computing 10/2011

01-10-2011 | Original Paper

A probabilistic interpretation of the medical expert system CADIAG-2

Author: David Picado Muiño

Published in: Soft Computing | Issue 10/2011

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

CADIAG-2 is a well-known expert system aimed at providing support for medical diagnose in the field of internal medicine. CADIAG-2 consists of a knowledge base in the form of a set of IF-THEN rules that relate distinct medical entities, in this paper interpreted as conditional probabilistic statements, and an inference engine constructed upon methods of fuzzy set theory. The aim underlying this paper is the understanding of the logical structure of the inference in CADIAG-2. To that purpose, we provide a (probabilistic) logical formalisation of the inference of the system and check its adequacy with probabilistic logic.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Footnotes
1
Here (and throughout) ⊧ represents classical entailment.
 
2
We will be using the terms ‘satisfiable’ and ‘consistent’ indistinguishably.
 
3
Notice that such a rule is compatible with a probabilistic interpretation of v 0.
 
4
For the sake of brevity we will deal with sentences as if they were equivalence classes. If anything applies to a sentence of the form \(\neg\phi,\) with \(\phi\in SL,\) we also assume that it applies to any logical equivalent of \(\neg\phi\) without mentioning it.
 
Literature
go back to reference Adlassnig K (1986) Fuzzy set theory in medical diagnosis. IEEE Trans Syst, Man Cybern 16(2):260–265CrossRef Adlassnig K (1986) Fuzzy set theory in medical diagnosis. IEEE Trans Syst, Man Cybern 16(2):260–265CrossRef
go back to reference Adlassnig K, Kolarz G, Effenberger W, Grabner H (1985) Cadiag: approaches to computer-assisted medical diagnosis. Comput Biol Med 15:315–335CrossRef Adlassnig K, Kolarz G, Effenberger W, Grabner H (1985) Cadiag: approaches to computer-assisted medical diagnosis. Comput Biol Med 15:315–335CrossRef
go back to reference Adlassnig K, Kolarz G, Scheithauer W, Grabner H (1986) Approach to a hospital-based application of a medical expert system. Inform Health Soc Care 11(3):205–223CrossRef Adlassnig K, Kolarz G, Scheithauer W, Grabner H (1986) Approach to a hospital-based application of a medical expert system. Inform Health Soc Care 11(3):205–223CrossRef
go back to reference Buchanan B, Shortliffe E (1984) Rule-based expert systems: the MYCIN experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading Buchanan B, Shortliffe E (1984) Rule-based expert systems: the MYCIN experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading
go back to reference Castillo E, Gutiérrez J, Hadi A (1997) Expert systems and probabilistic network models. Springer, New York Castillo E, Gutiérrez J, Hadi A (1997) Expert systems and probabilistic network models. Springer, New York
go back to reference Ciabattoni A, Vetterlein T (2010) On the fuzzy (logical) content of cadiag2. Fuzzy Sets Syst 161(14):1941–1958 Ciabattoni A, Vetterlein T (2010) On the fuzzy (logical) content of cadiag2. Fuzzy Sets Syst 161(14):1941–1958
go back to reference Genest C, Zidek J (1986) Combining probability distributions: a critique and an annotated bibliography. Stat Sci 1(1):114–135MathSciNetCrossRef Genest C, Zidek J (1986) Combining probability distributions: a critique and an annotated bibliography. Stat Sci 1(1):114–135MathSciNetCrossRef
go back to reference Hajek P (1988) Towards a probabilistic analysis of mycin-like expert systems. In: COMPSTAT 88 proceedings. Physica, Heidelberg Hajek P (1988) Towards a probabilistic analysis of mycin-like expert systems. In: COMPSTAT 88 proceedings. Physica, Heidelberg
go back to reference Hajek P (1989) Towards a probabilistic analysis of mycin-like expert systems 2. In: Artificial Intelligence and Information-Control Systems of Robots. North-Holland Hajek P (1989) Towards a probabilistic analysis of mycin-like expert systems 2. In: Artificial Intelligence and Information-Control Systems of Robots. North-Holland
go back to reference Hajek P, Valdés J (1994) An analysis of mycin-like expert systems. Mathw Soft Comput 1:45–68MathSciNet Hajek P, Valdés J (1994) An analysis of mycin-like expert systems. Mathw Soft Comput 1:45–68MathSciNet
go back to reference Halpern J (2003) Reasoning about uncertainty. MIT Press, Cambridge Halpern J (2003) Reasoning about uncertainty. MIT Press, Cambridge
go back to reference Heckerman D (1986) Probabilistic interpretations for mycin’s certainty factors. In: Uncertainty in artificial intelligence. North-Holland, pp 167–196 Heckerman D (1986) Probabilistic interpretations for mycin’s certainty factors. In: Uncertainty in artificial intelligence. North-Holland, pp 167–196
go back to reference Klinov P, Parsia B, Picado-Muino D (2010) The consistency of the cadiag-2 knowledge base: a probabilistic approach. In: LPAR proceedings, pp 432–446 Klinov P, Parsia B, Picado-Muino D (2010) The consistency of the cadiag-2 knowledge base: a probabilistic approach. In: LPAR proceedings, pp 432–446
go back to reference Klir G, Folger T (1988) Fuzzy Sets, Uncertainty and information. Prentice-Hall International, USA Klir G, Folger T (1988) Fuzzy Sets, Uncertainty and information. Prentice-Hall International, USA
go back to reference Leitich H, Adlassnig K, Kolarz G (2002) Evaluation of two different models of semiautomatic knowledge acquisition for the medical consultant system cadiag2/rheuma. Artif Intell Med 25:215–225CrossRef Leitich H, Adlassnig K, Kolarz G (2002) Evaluation of two different models of semiautomatic knowledge acquisition for the medical consultant system cadiag2/rheuma. Artif Intell Med 25:215–225CrossRef
go back to reference Pearl J (1988) Probabilistic reasoning in intelligent systems. Morgan Kaufman, San Mateo Pearl J (1988) Probabilistic reasoning in intelligent systems. Morgan Kaufman, San Mateo
go back to reference Shortliffe E (1976) Computer-based medical consultations: MYCIN. Elsevier, New York Shortliffe E (1976) Computer-based medical consultations: MYCIN. Elsevier, New York
go back to reference Zimmermann H (1991) Fuzzy Set Theory and its Applications. Kluwer Academic Publisher, Boston MATH Zimmermann H (1991) Fuzzy Set Theory and its Applications. Kluwer Academic Publisher, Boston MATH
Metadata
Title
A probabilistic interpretation of the medical expert system CADIAG-2
Author
David Picado Muiño
Publication date
01-10-2011
Publisher
Springer-Verlag
Published in
Soft Computing / Issue 10/2011
Print ISSN: 1432-7643
Electronic ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-011-0699-y

Other articles of this Issue 10/2011

Soft Computing 10/2011 Go to the issue

Premium Partner