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

Szymon Wilk; Martin Michalowski; Xing Tan; Wojtek Michalowski

doi:10.1007/978-3-319-13281-5_4

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

Szymon Wilk, Martin Michalowski, Xing Tan, Wojtek Michalowski

Academics (Nursing)

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Revised Selected Papers
Subtitle of host publication	Making Personalized and Participatory Medicine a Reality - Papers from the AAAI Fall Symposium, Technical Report
Editors	Annette ten Teije, Silvia Miksch, David Riaño
Publisher	Springer Verlag
Pages	45-61
Number of pages	17
Volume	8903
ISBN (Electronic)	9783319132808
DOIs	https://doi.org/10.1007/978-3-319-13281-5_4
State	Published - Jan 1 2014
Event	6th 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 2014 → Jul 21 2014

Publication series

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

Other

Other	6th 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
Country/Territory	Austria
City	Vienna
Period	7/21/14 → 7/21/14

Bibliographical note

Publisher Copyright:
© Springer International Publishing Switzerland 2014.

Publisher link

10.1007/978-3-319-13281-5_4

Find It

Find It at U of M Libraries

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

Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions. / Wilk, Szymon; Michalowski, Martin; Tan, Xing et al.
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. ed. / Annette ten Teije; Silvia Miksch; David Riaño. Vol. 8903 Springer Verlag, 2014. p. 45-61 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8903).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Wilk, S, Michalowski, M, Tan, X & Michalowski, W 2014, Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions. in AT 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8903, Springer Verlag, pp. 45-61, 6th 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, 7/21/14. https://doi.org/10.1007/978-3-319-13281-5_4

Wilk S, Michalowski M, Tan X, Michalowski W. Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions. In Teije AT, Miksch S, Riaño D, editors, 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. Springer Verlag. 2014. p. 45-61. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-13281-5_4

Wilk, Szymon ; Michalowski, Martin ; Tan, Xing et al. / Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions. 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. editor / Annette ten Teije ; Silvia Miksch ; David Riaño. Vol. 8903 Springer Verlag, 2014. pp. 45-61 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f13f3dc9818e4d3d87223a340422d258,

title = "Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions",

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.",

author = "Szymon Wilk and Martin Michalowski and Xing Tan and Wojtek Michalowski",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2014.; 6th 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 ; Conference date: 21-07-2014 Through 21-07-2014",

year = "2014",

month = jan,

day = "1",

doi = "10.1007/978-3-319-13281-5\_4",

language = "English (US)",

volume = "8903",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "45--61",

editor = "Teije, \{Annette ten\} and Silvia Miksch and David Ria{\~n}o",

booktitle = "Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Revised Selected Papers",

}

TY - GEN

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

AU - Wilk, Szymon

AU - Michalowski, Martin

AU - Tan, Xing

AU - Michalowski, Wojtek

PY - 2014/1/1

Y1 - 2014/1/1

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

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

UR - https://www.scopus.com/pages/publications/84917674952

UR - https://www.scopus.com/inward/citedby.url?scp=84917674952&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-13281-5_4

DO - 10.1007/978-3-319-13281-5_4

M3 - Conference contribution

AN - SCOPUS:84917674952

VL - 8903

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 45

EP - 61

BT - Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Revised Selected Papers

A2 - Teije, Annette ten

A2 - Miksch, Silvia

A2 - Riaño, David

PB - Springer Verlag

T2 - 6th 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

Y2 - 21 July 2014 through 21 July 2014

ER -

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

Abstract

Publication series

Other

Bibliographical note

Publisher link

Find It

Other files and links

Fingerprint

Cite this