Quality Checking of Medical Guidelines through Logical Abduction
Formal methods have been used in the past for the verification of the correctness of formalised versions of medical guidelines. In this paper a second possible application of the use of formal methods is proposed: checking whether a guideline conforms to global medical quality requirements. It is argued that this allows spotting design errors in medical guidelines, which is seen as a useful application for formal methods in medicine. However, this type of verification may require medical knowledge currently not available within the guidelines, i.e. medical background knowledge. In this paper, we propose a method for checking the quality of a treatment for a disorder, based on the theory of abductive diagnosis. We also examine the medical background knowledge required to be able to quality check a guideline. The method is illustrated by the formal analysis of an actual guideline for the management of diabetes mellitus type 2.
KeywordsDiabetes Mellitus Type Diabetes Type Formal Method Temporal Logic Quality Check
Unable to display preview. Download preview PDF.
- Fox J, and Das S. Safe and Sound: Artificial Intelligence in Hazardous Applications. Cambridge: MIT Press (jointly published with the American Association of Artificial Intelligence), 2000.Google Scholar
- Kuipers BJ. Qualitative Reasoning. The MIT Press, Cambridge, Massachusetts, 1994.Google Scholar
- Marcos M, Balser M, Ten Teije A, and Van Harmelen F. From informal knowledge to formal logic: a realistic case study in medical protocols. Proceedings of the 12th EKAW-2002, 2002.Google Scholar
- Reif W. The KIV Approach to Software Verification. In: M. Broy and S. Jähnichen (eds.), KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Lecture Notes in Computer Science, Volume 1009, Springer–Verlag, Berlin, 1995.Google Scholar
- Sackett DL, Richardson WS, Rosenberg W, and Brian R. Evidence Based Medicine-How to Practice and Teach EBM. Haynes Churchill Livingstone, 1996.Google Scholar
- Turner R. Logics for Artificial Intelligence. Ellis Horwood, Chichester, 1985.Google Scholar
- Woolf SH. Evidence-based medicine and practice guidelines: an overview. Cancer Control 2000; 7(4): 362–367.Google Scholar