Abstract
Clinical practice guidelines (CPGs) were originally designed to help with evidence-based management of a single disease and such single disease focus has impacted research on CPG computerization. This computerization is mostly concerned with supporting different representation formats and identifying potential inconsistencies in the definitions of CPGs. However, one of the biggest challenges facing physicians is the application of multiple CPGs to comorbid patients. While various research initiatives propose ways of mitigating adverse interactions in concurrently applied CPGs, there are no attempts to develop a generalized framework for mitigation that captures generic characteristics of the problem, while handling nuances such as precedence relationships. In this paper we present our research towards develo** a mitigation framework that relies on a first-order logic-based representation and related theorem proving and model finding techniques. The application of the proposed framework is illustrated with a simple clinical example.
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
Similar content being viewed by others
References
Duftschmid, G., Miksch, S.: Knowledge-based verification of clinical guidelines by detection of anomalies. Artif. Intell. Med. 22(1), 23–41 (2001)
Fox, J., Glasspool, D., Patkar, V., Austin, M., Black, L., South, M., Robertson, D., Vincent, C.: Delivering clinical decision support services: there is nothing as practical as a good theory. J. Biomed. Inform. 43, 831–843 (2010)
Isern, D., Moreno, A., Pedone, G., Sánchez, D., Varga, L.Z.: Home care personalisation with individual intervention plans. In: Riaño, D. (ed.) K4HelP 2008. LNCS (LNAI), vol. 5626, pp. 134–151. Springer, Heidelberg (2009)
Jafarpour, B., Abidi, S.S.R.: Merging disease-specific clinical guidelines to handle comorbidities in a clinical decision support setting. In: Peek, N., MarÃn Morales, R., Peleg, M. (eds.) AIME 2013. LNCS, vol. 7885, pp. 28–32. Springer, Heidelberg (2013)
López-Vallverdú, J.A., Riaño, D., Collado, A.: Rule-Based Combination of comorbid treatments for chronic diseases applied to hypertension, diabetes mellitus and heart failure. In: Lenz, R., Miksch, S., Peleg, M., Reichert, M., Riaño, D., ten Teije, A. (eds.) ProHealth 2012 and KR4HC 2012. LNCS (LNAI), vol. 7738, pp. 30–41. Springer, Heidelberg (2013)
McCune, W.: Prover9 and Mace4 (2005). http://www.cs.unm.edu/mccune/prover9
Michalowski, M., Wilk, S., Lin, D., Michalowski, W., Tan, X., Mohapatra, S.: Procedural approach to mitigating concurrently applied clinical practice guidelines. In: Proceedings of the First Workshop on Expanding the Boundaries of Health Informatics Using Artificial Intelligence (HIAI13) (2013)
Michalowski, M., Wilk, S., Michalowski, W., Lin, D., Farion, K., Mohapatra, S.: Using constraint logic programming to implement iterative actions and numerical measures during mitigation of concurrently applied clinical practice guidelines. In: Peek, N., MarÃn Morales, R., Peleg, M. (eds.) AIME 2013. LNCS, vol. 7885, pp. 17–22. Springer, Heidelberg (2013)
National Institute for Health and Clinical Excellence (NICE): NICE pathways (2014). http://pathways.nice.org.uk/
Otten, J.: leanCoP 2.0 and ileanCoP 1.2: high performance lean theorem proving in classical and intuitionistic logic (system descriptions). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 283–291. Springer, Heidelberg (2008)
Pavlov, V., Schukin, A., Cherkasova, T.: Exploring automated reasoning in first-order logic: tools, techniques and application areas. In: Klinov, P., Mouromtsev, D. (eds.) KESW 2013. CCIS, vol. 394, pp. 102–116. Springer, Heidelberg (2013)
Peleg, M.: Computer-interpretable clinical guidelines: a methodological review. J. Biomed. Inform. 46(4), 744–763 (2013)
Peleg, M., Tu, S.W., Leonardi, G., Quaglini, S., Russo, P., Palladini, G., Merlini, G.: Reasoning with effects of clinical guideline actions using OWL: al amyloidosis as a case study. In: Riaño, D., ten Teije, A., Miksch, S. (eds.) KR4HC 2011. LNCS (LNAI), vol. 6924, pp. 65–79. Springer, Heidelberg (2012)
Perez, B., Porres, I.: Authoring and verification of clinical guidelines: a model driven approach. J. Biomed. Inform. 43(4), 520–536 (2010)
Riaño, D., Real, F., Lopez-Vallverdu, J.A., Campana, F., Ercolani, S., Mecocci, P., Annicchiarico, R., Caltagirone, C.: An ontology-based personalization of health-care knowledge to support clinical decisions for chronically ill patients. J. Biomed. Inform. 45(3), 429–446 (2012)
Rosenfeld, R., Shiffman, R.: Clinical practice guideline development manual: a quality-driven approach for translating evidence into action. Otolaryngol. Head Neck Surg. 140(6), 1–43 (2009)
Sittig, D., Wright, A., Osheroff, J., Middleton, B., Teich, J., Ash, J., Campbell, E., Bates, D.: Grand challenges in clinical decision support. J. Biomed. Inform. 41, 387–392 (2008)
ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artif. Intell. Med. 36(3), 193–209 (2006)
Wilk, S., Michalowski, W., Michalowski, M., Farion, K., Hing, M., Mohapatra, S.: Automatic mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming. J. Biomed. Inform. 46(2), 341–353 (2013)
Zhang, H., Zhang, J.: MACE4 and SEM: a comparison of finite model generators. In: Bonacina, M.P., Stickel, M.E. (eds.) Automated Reasoning and Mathematics. LNCS, vol. 7788, pp. 101–130. Springer, Heidelberg (2013)
Acknowledgment
The last two authors were supported by grants from the Natural Sciences and Engineering Research Council of Canada (Collaborative Health Research Program) and Telfer School of Management Research Support Program. This research was conducted when Dr. Tan was a postdoctoral fellow with MET Research Group at the University of Ottawa.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Wilk, S., Michalowski, M., Tan, X., Michalowski, W. (2014). Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions. In: Miksch, S., Riaño, D., ten Teije, A. (eds) Knowledge Representation for Health Care. KR4HC 2014. Lecture Notes in Computer Science(), vol 8903. Springer, Cham. https://doi.org/10.1007/978-3-319-13281-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-13281-5_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13280-8
Online ISBN: 978-3-319-13281-5
eBook Packages: Computer ScienceComputer Science (R0)