Abstract
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals in managing a disease in a patient, in order to avoid non-standard practices or outcomes. In this paper, we consider the problem of formalizing a guideline in a logical language. The target language is an interval-based temporal logic interpreted over natural numbers, namely the Propositional Neighborhood Logic, which has been shown to be expressive enough for our objective, and for which the satisfiability problem has been shown to be decidable. A case-study of a real guideline is presented.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
Bresolin, D., Goranko, V., Montanari, A., Sala, P.: Tableau Systems for Logics of Subinterval Structures over Dense Orderings. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 73–89. Springer, Heidelberg (2007)
Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. In: Artemov, S.N., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 84–99. Springer, Heidelberg (2007)
Combi, C., Gozzi, M., Juarez, J.M., Marin, R., Oliboni, B.: Querying clinical workflows by temporal similarity. In: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds.) AIME 2007. LNCS, vol. 4594, pp. 469–478. Springer, Heidelberg (2007)
Dazzi, L., Fassino, C., Saracco, R., Quaglini, S., Stefanelli, M.: A patient workflow management system built on guidelines. In: Proc. of AMIA Annu. Fall Symp., pp. 146–150 (1997)
de Clercq, P.A., Blom, J.A., Korsten, H.H.M., Hasman, A.: Approaches for creating computer-interpretable guidelines that facilitate decision support. Artificial Intelligence in Medicine 31(1), 1–27 (2004)
Field, M.J., Lohr, N.K.: Guidelines for Clinical Practice: from Development to Use. National Academic Press, London (1992)
Fox, J., Johns, N., Lyons, C., Rahmanzadeh, A., Thomson, R., Wilson, P.: Proforma: a general technology for clinical decision support systems. Computer Methods and Programs in Biomedicine 54(2), 59–67 (1997)
Gabbay, D.M., Hodkinson, I.M., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, Oxford (1994)
Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. Journal of Universal Computer Science 9(9), 1137–1167 (2003)
Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. Journal of the ACM 38(4), 935–962 (1991)
Hederman, L., Smutek, D.: Representing clinical guidelines a comparative study in uml (2002)
Hommersom, A., Lucas, P., Balser, M.: Meta-level verification of the quality of medical guidelines using interactive theorem proving. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 654–666. Springer, Heidelberg (2004)
Lucas, P.: Quality checking of medical guidelines through logical abduction. In: Proc. of the 23rd SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI 2003), pp. 309–321 (2003)
Ohno-Machado, L., Gennari, S.: The guideline interchange format: A model for representing guidelines. Journal of the American Medical Informatics Association 5(4), 357–372 (1998)
Panzarasa, S., Stefanelli, M.: Workflow management systems for guideline implementation. Neurological Sciences 27(3), 245–249 (2007)
Sciavicco, G.: Quality checking of medical guidelines using interval temporal logics. In: Proc. of the 12th Conference CAEPIA (Conferencia de la Asociación Española para la Inteligencia Artificiál) (2007)
Shahar, Y., Miksch, S., Johnson, P.: The asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artificial Intelligence in Medicine 14(1-2), 29–51 (1998)
Suarez, J.I., Tarr, R.W., Selman, W.R.: Aneurysmal subarachnoid hemorrhage. New England Journal of Medicine 354, 387–396 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sciavicco, G., Juarez, J.M., Campos, M. (2009). Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study. In: Mira, J., Ferrández, J.M., Álvarez, J.R., de la Paz, F., Toledo, F.J. (eds) Bioinspired Applications in Artificial and Natural Computation. IWINAC 2009. Lecture Notes in Computer Science, vol 5602. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02267-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-02267-8_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02266-1
Online ISBN: 978-3-642-02267-8
eBook Packages: Computer ScienceComputer Science (R0)