Abstract
Clinical Guidelines (CGs) capture medical evidence, but are not meant to deal with single patients’ peculiarities and specific context limitations and/or constraints. In practice, the physician has to exploit basic medical knowledge (BMK) in order to adapt the general CG to the specific case at hand. The interplay between CG knowledge and BMK can be very complex. In this paper, we explore such interaction from the viewpoint of the conformance problem, intended as the adherence of an observed CG execution trace to both types of knowledge. We propose an approach based on the GLARE language to represent CGs, and on an homogeneous formalization of both CGs and BMK using Event Calculus (EC) and its Prolog-based implementation \(\mathcal{REC}\), focusing on “a posteriori” conformance evaluation.
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
Advani, A., Lo, K., Shahar, Y.: Intention-based critiquing of guideline-oriented medical care: The asgaard project at stanford. In: Proc. AMIA Annual Symposium, pp. 483–487 (1998)
Balser, M., Duelli, C., Reif, W.: Formal semantics of asbru-an overview. In: Proceedings of IDPT 2002 (2002)
Brandhorst, C.J., Sent, D., Stegwee, R.A., van Dijk, B.M.A.G.: Medintel: Decision support for general practitioners: A case study. In: Adlassnig, K.-P., Blobel, B., Mantas, J., Masic, I. (eds.) Proceedings of MIE 2009, pp. 688–692 (2009)
Chesani, F., Mello, P., Montali, M., Torroni, P.: A Logic-Based, Reactive Calculus of Events. Fundamenta Informaticae 105(1-2), 135–161 (2010)
Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. AMAI 28(1-4), 47–106 (2000)
Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Information Sciences 176(15), 2227–2267 (2006)
De Clercq, P.A., Blom, J.A., Hasman, A., Korsten, H.H.M.: Gaston: an architecture for the acquisition and execution of clinical guideline-application tasks. Med. Inform Internet Med. 24(4), 247–264 (2000)
Fridsma, D.B., (Guest ed.): Special issue on workflow management and clinical guidelines. JAMIA 22(1), 1–80 (2001)
Groot, P., Hommersom, A., Lucas, P.J.F., Merk, R.-J., ten Teije, A., van Harmelen, F., Serban, R.: Using model checking for critiquing based on clinical guidelines. Artificial Intelligence in Medicine 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)
Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)
Rozinat, A., van der Aalst, W.M.P.: Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 163–176. Springer, Heidelberg (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., Montani, S., Bottrighi, A., Molino, G., Torchio, M.: Applying Artificial Intelligence to Clinical Guidelines: the GLARE Approach. In: Teije, et al. (eds.) [13], vol. 139, pp. 273–282 (July 2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bottrighi, A., Chesani, F., Mello, P., Montali, M., Montani, S., Terenziani, P. (2012). Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds) Business Process Management Workshops. BPM 2011. Lecture Notes in Business Information Processing, vol 100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28115-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-28115-0_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28114-3
Online ISBN: 978-3-642-28115-0
eBook Packages: Computer ScienceComputer Science (R0)