Abstract
Analyzing conformance of execution traces with clinical guidelines is not a trivial task, because guidelines are developed for physicians who should always interpret them according to their general knowledge; their application to the specific conditions of a patient or a specific context cannot always be foreseen in the guideline specification. In this paper we consider the conformance problem not only for the sequence of action execution events, but also for their timing: the guideline may include temporal constraints for the execution of actions, and its adaptation to a specific patient and context may add or modify conditions and temporal constraints for actions. We propose an approach for analyzing execution traces in Answer Set Programming with respect to a guideline and Basic Medical Knowledge, pointing out discrepancies – including temporal discrepancies – with respect to the different knowledge sources.
This research is partially supported by Compagnia di San Paolo.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Actually, the recommendations in [6] explicitly mention acute chest infection as one of the conditions to be checked and, if necessary, treated, to avoid delaying surgery too much; but they also mention, without detailing them, less common concerns which may require delaying surgery: we consider chest infection like one of these.
- 2.
In some cases there is a deadline, e.g. for a diagnostic action that should be performed within a given time after the first episode of a symptom. Such deadlines can be dealt with as the other ones, but, again, for simplicity, we ignore them in the following.
References
Anselma, L., Terenziani, P., Montani, S., Bottrighi, A.: Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines. Artif. Intell. Med. 38(2), 171–195 (2006)
Bäumler, S., Balser, M., Dunets, A., Reif, W., Schmitt, J.: Verification of medical guidelines by model checking – a case study. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 219–233. Springer, Heidelberg (2006)
Bottrighi, A., Chesani, F., Mello, P., Montali, M., Montani, S., Terenziani, P.: Conformance checking of executed clinical guidelines in presence of basic medical knowledge. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 200–211. Springer, Heidelberg (2012)
Bottrighi, A., Giordano, L., Molino, G., Montani, S., Terenziani, P., Torchio, M.: Adopting model checking techniques for clinical guidelines verification. Artif. Intell. Med. 48(1), 1–19 (2010)
Brandhorst, C.J., Sent, D., Stegwee, R.A., van Dijk, B.M.A.G.: Medintel: decision support for general practitioners: a case study. In: MIE 2009, pp. 688–692 (2009)
British National Institute for Health and Care Excellence. Hip fracture: The management of hip fracture in adults. http://www.nice.org.uk/guidance/cg124
Field, M., Lohr, K. (eds.): Guidelines for Clinical Practice: From Development to Use. National Academy Press, Washington, D.C (1992). Institute of Medicine
Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, Chap. 7. Elsevier, Amsterdam (2007)
Grando, A., Peleg, M., Glasspool, D.: A goal-oriented framework for specifying clinical guidelines and handling medical errors. J. Biomed. Inform. 43(2), 287–299 (2010)
Groot, P., Hommersom, A., Lucas, P.J.F., Merk, R., ten Teije, A., van Harmelen, F., Serban, R.: Using model checking for critiquing based on clinical guidelines. Artif. Intell. Med. 46(1), 19–36 (2009)
Hommersom, A., Groot, P., Lucas, P.J.F., Balser, M., Schmitt, J.: Verification of medical guidelines using background knowledge in task networks. IEEE Trans. Knowl. Data Eng. 19(6), 832–846 (2007)
Leonardi, G., Bottrighi, A., Galliani, G., Terenziani, P., Messina, A., Della Corte, F.: Exceptions handling within GLARE clinical guideline framework. In: AMIA 2012, American Medical Informatics Association Annual Symposium (2012)
Quaglini, S., Stefanelli, M., Lanzola, G., Caporusso, V., Panzarasa, S.: Flexible guideline-based patient careflow systems. Artif. Intell. Med. 22(1), 65–80 (2001)
Spiotta, M., Bottrighi, A., Giordano, L., Dupré, D.T.: Conformance analysis of the execution of clinical guidelines with basic medical knowledge and clinical terminology. In: Miksch, S., Riano, D., Teije, A. (eds.) KR4HC 2014. LNCS, vol. 8903, pp. 62–77. Springer, Heidelberg (2014)
ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P.J.F., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artif. Intell. Med. 36(3), 193–209 (2006)
ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, Studies in Health Technology and Informatics, vol. 139. IOS Press, Amsterdam (2008)
Terenziani, P., Molino, G., Torchio, M.: A modular approach for representing and executing clinical guidelines. Artif. Intell. Med. 23(3), 249–276 (2001)
The Potsdam Answer Set Solving Collection. http://potassco.sourceforge.net/
Acknowledgement
The authors are grateful to Gianpaolo Molino for his valuable advice on the medical issues in the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Spiotta, M., Terenziani, P., Theseider Dupré, D. (2015). Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. In: Riaño, D., Lenz, R., Miksch, S., Peleg, M., Reichert, M., ten Teije, A. (eds) Knowledge Representation for Health Care. AIME 2015. Lecture Notes in Computer Science(), vol 9485. Springer, Cham. https://doi.org/10.1007/978-3-319-26585-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-26585-8_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26584-1
Online ISBN: 978-3-319-26585-8
eBook Packages: Computer ScienceComputer Science (R0)