Welcome to the InfoSci Platform
Reference Hub3
The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach

The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach

Pavel Picado Klinov, Bijan Parsia, David Muiño
Copyright: © 2011 |Volume: 4 |Issue: 1 |Pages: 20
ISSN: 1938-7857|EISSN: 1938-7865|EISBN13: 9781466600034|DOI: 10.4018/jitr.2011010101
Cite Article Cite Article

MLA

Klinov, Pavel Picado, et al. "The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach." JITR vol.4, no.1 2011: pp.1-20. http://doi.org/10.4018/jitr.2011010101

APA

Klinov, P. P., Parsia, B., & Muiño, D. (2011). The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach. Journal of Information Technology Research (JITR), 4(1), 1-20. http://doi.org/10.4018/jitr.2011010101

Chicago

Klinov, Pavel Picado, Bijan Parsia, and David Muiño. "The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach," Journal of Information Technology Research (JITR) 4, no.1: 1-20. http://doi.org/10.4018/jitr.2011010101

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

CADIAG-2 is a well known rule-based medical expert system aimed at providing support in medical diagnose in the field of internal medicine. Its knowledge base consists of a large collection of IF-THEN rules that represent uncertain relationships between distinct medical entities. Given this uncertainty and the size of the system, it has been challenging to validate its consistency. Recent attempts to partially formalize CADIAG-2’s knowledge base into decidable Gödel logics have shown that, on formalization, the system is inconsistent. In this paper, the authors use an alternative, more expressive formalization of CADIAG-2’s knowledge base as a set of probabilistic conditional statements and apply their probabilistic logic solver (Pronto) to confirm its inconsistency and compute its conflicting sets of rules under a slightly relaxed interpretation. Once this is achieved, the authors define a measure to evaluate inconsistency and discuss suitable repair strategies for CADIAG-2 and similar systems.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.