Advertisement

The Role of Model Checking in Critiquing Based on Clinical Guidelines

  • Perry Groot
  • Arjen Hommersom
  • Peter Lucas
  • Radu Serban
  • Annette ten Teije
  • Frank van Harmelen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4594)

Abstract

Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual actions and a set of ‘ideal’ actions as described by a clinical guideline. In case differences exist, insight to which extent they are compatible is provided by the critiquing system. We propose a methodology for such critiquing, where the ideal actions are given by a formal model of a clinical guideline, and where the actual actions are derived from real world patient data. We employ model checking to investigate whether a part of the actual treatment is consistent with the guideline. Furthermore, it is shown how critiquing can be cast in terms of temporal logic, and what can be achieved by using model checking. The methodology has been applied to a clinical guideline of breast cancer in conjunction with breast cancer patient data.

Keywords

Model Check Temporal Logic Linear Temporal Logic Atomic Proposition Proof Obligation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Advani, A., Lo, K., Shahar, Y.: Intention-based critiquing of guideline-oriented medical care. In: Proceedings of AMIA Annual Symposium, pp. 483–487 (1998)Google Scholar
  2. 2.
    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.) Model Checking Software. LNCS, vol. 3925, pp. 219–233. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Clarke, E.M., Grumberg, O., Peled, A.D.: Model Checking. MIT Press, Cambridge, Massachusetts, London, England (2001)Google Scholar
  4. 4.
    Gertner, A.S.: Critiquing: effective decision support in time-critical domains. PhD thesis, Dept. of Computer & Information Science, University of Pennsylvania (1995)Google Scholar
  5. 5.
    Hommersom, A.J., Groot, P., Lucas, P.J.F., Marcos, M., Martinez-Salvador, B.: A constraint-based approach to medical guidelines and protocols. In: ECAI 2006 WS – AI techniques in healthcare: evidence based guidelines and protocols (2006)Google Scholar
  6. 6.
    Kupferman, O., Vardi, M.Y.: Modular model checking. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 381–401. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  7. 7.
    Marcos, M., Berger, G., van Harmelen, F., ten Teije, A., Roomans, H., Miksch, S.: Using critiquing for improving medical protocols: Harder than it seems. In: 8th European Conference on Artificial Intelligence in Medicine, pp. 431–441 (2001)Google Scholar
  8. 8.
    Miller, P.: A critiquing approach to Expert Computer Advice: ATTENDING. Pittman Press, London (1984)zbMATHGoogle Scholar
  9. 9.
    Shahar, Y., Miksch, S., Johnson, P.: A task-specific ontology for the application and critiquing of time oriented clinical guidelines. In: Proceedings of the sixth Conference on Artificial Intelligence in Medicine in Europe, pp. 51–61 (1997)Google Scholar
  10. 10.
    Silverman, B.G.: Survey of expert critiquing systems: Practical and theoretical frontiers. Communications of the ACM 35(4), 106–127 (1992)CrossRefGoogle Scholar
  11. 11.
    Sips, R., Braun, L., Roos, N.: Applying formal medical guidelines for critiquing. In: ECAI 2006 WS – AI techniques in healthcare: evidence based guidelines and protocols (2006)Google Scholar
  12. 12.
    Terenziani, P., Giodano, L., Bottrighi, A., Montani, S., Donzella, L.: SPIN model checking for the verifcation of clinical guideline. In: ECAI 2006 WS – AI techniques in healthcare: evidence-baded guidelines and protocols (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Perry Groot
    • 1
  • Arjen Hommersom
    • 1
  • Peter Lucas
    • 1
  • Radu Serban
    • 2
  • Annette ten Teije
    • 2
  • Frank van Harmelen
    • 2
  1. 1.Radboud Universiteit Nijmegen 
  2. 2.Vrije Universiteit Amsterdam 

Personalised recommendations