Abstract
A Clinical Practice Guideline defines best practices to be followed by clinicians to manage a particular disease. Checking the quality of such guidelines is a very important issue, e.g., designers of the guidelines should ensure their consistency. A formal modelling approach is an appropriate choice due to the complexity of these guidelines. In this paper, we develop a metric interval-based temporal logic, which is suitable for such modelling and then propose a method for checking the satisfiability of such guidelines, to assure their consistency. As a case study, we use the logic to model a real-life guideline, the Active Tuberculosis Diagnosis guideline.
This is a preview of subscription content, log in via an institution to check access.
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
Sciavicco, G., Juarez, J.M., Campos, M.: 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.) IWINAC 2009, Part II. LNCS, vol. 5602, pp. 158–167. Springer, Heidelberg (2009)
de Clercq, P.A., Blom, J.A., Korsten, J.H.M., Hasman, A.: Approaches for creating computer-interpretable guidelines that facilitate decision support. Artificial Intelligence in Medicine 31, 1–27 (2004)
Tu, S.W., Musen, M.A.: A flexible approach to guideline modelling. In: Proc. AMIA Symp., p. 420 (1999)
Damas, C., Lambeau, B., van Lamsweerde, A.: Transformation operators for easier engineering of medical process models. In: 5th International Workshop on Software Engineering in Health Care (SEHC), pp. 39–45. IEEE Press (2013)
Christov, S., Chen, B., Avrunin, G.S., Clarke, L.A., Osterweil, L.J., Brown, D., Cassells, L., Mertens, W.: Formally defining medical processes. Methods of Information in Medicine 47(5), 392 (2008)
Lucas, P.: Quality checking of medical guidelines through logical abduction. In: Coenen, F., Preece, A., Macintosh, A. (eds.) Research and Development in Intelligent Systems XX, pp. 309–321. Springer, London (2004)
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)
Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighbourhood temporal logics. J. UCS 9(9), 1137–1167 (2003)
Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Decidable and undecidable fragments of halpern and shoham’s interval temporal logic: Towards a complete classification. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS (LNAI), vol. 5330, pp. 590–604. Springer, Heidelberg (2008)
Temporal logic, http://en.wikipedia.org/wiki/temporal_logic
Halpern, J.Y., Shoham, Y.: A Propositional Modal Logic of Time Intervals. J. of the ACM 38(4), 935–962 (1991)
Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
Goranko, V., Montanari, S., Sciavicco, G., Bresolin, D., Della Monica, D.: Metric propositional neighbourhood logics. Technical report, European Conference on Artificial Intelligence (ECAI) (2010)
Goranko, V., Montanari, A., Sala, P., Sciavicco, G.: A general tableau method for propositional interval temporal logics: Theory and implementation. J. of Applied Logic 4(3), 305–330 (2006)
Toward Optimized Practice - Alberta: Active tuberculosis: Diagnosis and management guideline (2011)
Yousef Sanati, M., MacCaull, W., Maibaum, T.S.E.: Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-based Temporal Logic. Technical report, McMaster Centre for Software Certification, McMaster University (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Yousef Sanati, M., MacCaull, W., Maibaum, T.S.E. (2014). Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. In: Jones, C., Pihlajasaari, P., Sun, J. (eds) FM 2014: Formal Methods. FM 2014. Lecture Notes in Computer Science, vol 8442. Springer, Cham. https://doi.org/10.1007/978-3-319-06410-9_41
Download citation
DOI: https://doi.org/10.1007/978-3-319-06410-9_41
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06409-3
Online ISBN: 978-3-319-06410-9
eBook Packages: Computer ScienceComputer Science (R0)