Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge

  • Alessio Bottrighi
  • Federico Chesani
  • Paola Mello
  • Marco Montali
  • Stefania Montani
  • Paolo Terenziani
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 100)


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.


Clinical Guidelines Conformance Event Calculus Integration with Basic Medical Kwnoledge 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    Balser, M., Duelli, C., Reif, W.: Formal semantics of asbru-an overview. In: Proceedings of IDPT 2002 (2002)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Chesani, F., Mello, P., Montali, M., Torroni, P.: A Logic-Based, Reactive Calculus of Events. Fundamenta Informaticae 105(1-2), 135–161 (2010)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. AMAI 28(1-4), 47–106 (2000)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Information Sciences 176(15), 2227–2267 (2006)CrossRefzbMATHGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Fridsma, D.B., (Guest ed.): Special issue on workflow management and clinical guidelines. JAMIA 22(1), 1–80 (2001)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)CrossRefGoogle Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Alessio Bottrighi
    • 1
  • Federico Chesani
    • 2
  • Paola Mello
    • 2
  • Marco Montali
    • 3
  • Stefania Montani
    • 1
  • Paolo Terenziani
    • 1
  1. 1.DIUniv. del Piemonte OrientaleAlessandriaItaly
  2. 2.DEISUniv. di BolognaBolognaItaly
  3. 3.KRDB Research CentreFree University of Bozen-BolzanoItaly

Personalised recommendations