Abstract
The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many of such guidelines can be represented as a ‘network of tasks’, i.e., as a number of steps that have a specific function or goal. To investigate the quality of such guidelines we propose a formalization of criteria for good practice medicine a guideline should comply to. We use this theory in conjunction with medical background knowledge to verify the quality of a guideline dealing with diabetes mellitus type 2 using the interactive theorem prover KIV. Verification using task execution and background knowledge is a novel approach to quality checking of medical guidelines.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Balser. Verifying Concurrent System with Symbolic Execution — Temporal Reasoning is Symbolic Execution with a Little Induction. PhD thesis, University of Augsburg, Augsburg, Germany, 2005.
M. Balser, C. Duelli, and W. Reif. Formal semantics of asbru — an overview. In Proceedings of the International Conference on Integrated Design and Process Technology, Passadena, June 2002. Society for Design and Process Science.
AGREE Collaboration. Development and validation of an international appraisal instrument for assessing the quality of clinical practice guidelines: the agree project. Quality & Safety in Health Care, 12:18–23, 2003.
J. Fox and S. Das. Safe and Sound: Artificial Intelligence in Hazardous Applications. AAAI Press, 2000.
M. van Gendt, A. van Teije, R. Serban, and F. van Harmelen. Formalising medical quality indicators to improve guidelines. In AIME, number 3581 in LNAI, pages 201–220. Springer Verlag, 2005.
General Medical Counsil — Protecting patients, guiding doctors. Good medical practise, http://www.gmc-uk.org. Third edition, May 2001.
A.J. Hommersom, P.J.F. Lucas, and M. Balser. Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. In JELIA’ 04, volume 3229 of LNCS, pages 654–666. Springer-Verlag, 2004.
P.J.F. Lucas. Quality checking of medical guidelines through logical abduction. In F. Coenen, A. Preece, and A.L. Mackintosh, editors, Proc. of AI-2003, volume XX, pages 309–321, London, 2003. Springer.
M. Marcos, M. Balser, A. ten Teije, and F. van Harmelen. From informal knowledge to formal logic: A realistic case study in medical protocols. In Proceedings of EKAW, pages 49–64. Springer, 2002.
S. Miksch. Plan management in the medical domain. AI Communications, 12(4):209–235, 1999.
M. Peleg et al. Comparing computer-interprétable guideline models: a case-study approach. Journal of the American Medical Informatics Association, 10nr](l):52–68, 2003.
S. Quaglini, M. Stefanelli, A. Cavallini, G Micieli, C. Fassino, and C. Mossa. Guideline-based careflow system. Artificial Intelligence in Medicine, 20(l):5–22, 2000.
G.E.H.M. Rutten, S. Verhoeven, R.J. Heine, W.J.C. de Grauw, P.V.M. Cromme, and K. Reenders. NHG-standaard diabetes mellitus type 2 (eerste herziening). Huisarts Wet, 42:67–84, 1999.
A. Seyfang, R. Kosara, and S. Miksch. Asbru’s reference manual, asbru version 7.3. Technical Report Asgaard-TR-20002-1, Vienna University of Technology, Institute of Software Technology, 2002.
S.H. Woolf. Evidence-based medicine and practice guidelines: an overview. Cancer Control, 7(4):362–367, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this paper
Cite this paper
Hommersom, A., Groot, P., Lucas, P., Balser, M., Schmitt, J. (2007). Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines. In: Bramer, M., Coenen, F., Tuson, A. (eds) Research and Development in Intelligent Systems XXIII. SGAI 2006. Springer, London. https://doi.org/10.1007/978-1-84628-663-6_1
Download citation
DOI: https://doi.org/10.1007/978-1-84628-663-6_1
Publisher Name: Springer, London
Print ISBN: 978-1-84628-662-9
Online ISBN: 978-1-84628-663-6
eBook Packages: Computer ScienceComputer Science (R0)