Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions

Szymon Wilk, Martin Michalowski, Xing Tan, Wojtek Michalowski

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

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 developing 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.

Original languageEnglish (US)
Title of host publicationKnowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Revised Selected Papers
Subtitle of host publicationMaking Personalized and Participatory Medicine a Reality - Papers from the AAAI Fall Symposium, Technical Report
EditorsAnnette ten Teije, Silvia Miksch, David Riaño
PublisherSpringer Verlag
Pages45-61
Number of pages17
Volume8903
ISBN (Electronic)9783319132808
DOIs
StatePublished - Jan 1 2014
Event6th International Workshop on Knowledge Representation for Heath Care, KR4HC 2014 held as part of the 14th International Conference on Principles of Knowledge Representation and Reasoning, VSL 2014 - Vienna, Austria
Duration: Jul 21 2014Jul 21 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8903
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th International Workshop on Knowledge Representation for Heath Care, KR4HC 2014 held as part of the 14th International Conference on Principles of Knowledge Representation and Reasoning, VSL 2014
CountryAustria
CityVienna
Period7/21/147/21/14

Fingerprint Dive into the research topics of 'Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions'. Together they form a unique fingerprint.

  • Cite this

    Wilk, S., Michalowski, M., Tan, X., & Michalowski, W. (2014). Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions. In A. T. Teije, S. Miksch, & D. Riaño (Eds.), Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Revised Selected Papers: Making Personalized and Participatory Medicine a Reality - Papers from the AAAI Fall Symposium, Technical Report (Vol. 8903, pp. 45-61). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8903). Springer Verlag. https://doi.org/10.1007/978-3-319-13281-5_4