Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
复制标题
综合形式方法 - 第 12 届国际会议，IFM 2016，冰岛雷克雅未克，2016 年 6 月 1-5 日，会议记录
DOI：
10.1007/978-3-319-33693-0_24
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Kovalov A
中科院分区：
文献类型：
--
作者：
Kovalov A
临床路径是护理计划，详细说明了护理患有特定临床问题（通常是慢性疾病）的患者的基本步骤。路径包括在护理计划的不同阶段开具的药物建议。对于患有三种或更多慢性疾病（称为多发病）的患者，必须同时应用多种途径。此类患者的一个常见问题是针对不同疾病的药物之间的不良相互作用。本文提出了一种通过使用正式方法来避免患有多种疾病的患者发生药物冲突的解决方案。我们引入药物图表的概念来捕获与途径不同阶段相关的药物。然后，我们探索使用优化的 SMT 求解器 (Z3) 来快速找到冲突数量和严重程度最少的一组药物，这被认为是最安全的。我们对一位患有五种多种疾病的老年患者的众所周知的病例进行了评估。
Clinical pathways are care plans which detail essential steps in the care of patients with a specific clinical problem, usually a chronic disease. A pathway includes recommendations of medications prescribed at different stages of the care plan. For patients with three or more chronic diseases (known asmultimorbidities) the multiple pathways have to be applied together. One common problem for such patients is the adverse interaction between medications given for different diseases. This paper proposes a solution for avoiding medication conflicts for patients with multimorbidities through the use of formal methods. We introduce the notion of a pharmaceutical graph to capture the medications associated to different stages of a pathway. We then explore the use of an optimising SMT solver (Z3) to quickly find the set of medications with the minimal number and severity of conflicts which is assumed to be the safest. We evaluate the approach on a well known case of an elderly patient with five multimorbidities.