A framework for automated conflict detection and resolution in medical guidelines

This research is supported by the MRC-funded UK Research and Innovation grant MR/S003819/1 and by EPSRC grant EP/M014290/1.Common chronic conditions are routinely treated following standardised procedures known as clinical guidelines. For patients suffering from two or more chronic conditions, known as multimorbidity, several guidelines have to be applied simultaneously, which may lead to severe adverse effects when the combined recommendations and prescribed medications are inconsistent or incomplete. This paper presents an automated formal framework to detect, highlight and resolve conflicts in the treatments used for patients with multimorbidities focusing on medications. The presented extended framework has a front-end which takes guidelines captured in a standard modelling language and returns the visualisation of the detected conflicts as well as suggested alternative treatments. Internally, the guidelines are transformed into formal models capturing the possible unfoldings of the guidelines. The back-end takes the formal models associated with multiple guidelines and checks their correctness with a theorem prover, and inherent inconsistencies with a constraint solver. Key to our approach is the use of an optimising constraint solver which enables us to search for the best solution that resolves/minimises conflicts according to medication efficacy and the degree of severity in case of harmful combinations, also taking into account their temporal overlapping. The approach is illustrated throughout with a real medical example.Publisher PDFPeer reviewe

Automated conflict resolution for patients with multiple morbidity being treated using more than one set of single condition clinical guidance: A case study

Background The number of people in the UK with two or more conditions continues to grow and their clinical management is complicated by the reliance on guidance focused on a single condition. This leaves individual clinicians responsible for collating disparate information from patient management systems and care recommendations to manually manage the contradictions that exist in the simultaneous treatment of various conditions. Methods/design We have devised a modelling language based on BPMN that allows us to create computer interpretable representations of single condition guidance and incorporate patient data to detect the points of conflict between multiple conditions based on their transformation to logical constraints. This has been used to develop a prototype clinical decision support tool that we can use to highlight the causes of conflict between them in three main areas: medication, lifestyle and well-being, and appointment bookings. Results The prototype tool was used to discern contradictions in the care recommendations of chronic obstructive pulmonary disease and osteoarthritis. These were presented to a panel of clinicians who confirmed that the tool produced clinically relevant alerts that can advise clinicians of the presence of conflicts between guidelines relating to both clashes in medication or lifestyle advice. Conclusions The need for supporting general practitioners in their treatment of patients remains and this proof of concept has demonstrated that by converting this guidance into computer-interpretable pathways we can use constraint solvers to readily identify clinically relevant points of conflict between critical elements of the pathway

A framework for automated conflict detection and resolution in medical guidelines

Common chronic conditions are routinely treated following standardised procedures known as clinical guidelines. For patients suffering from two or more chronic conditions, known as multimorbidity, several guidelines have to be applied simultaneously, which may lead to severe adverse effects when the combined recommendations and prescribed medications are inconsistent or incomplete. This paper presents an automated formal framework to detect, highlight and resolve conflicts in the treatments used for patients with multimorbidities focusing on medications. The presented extended framework has a front-end which takes guidelines captured in a standard modelling language and returns the visualisation of the detected conflicts as well as suggested alternative treatments. Internally, the guidelines are transformed into formal models capturing the possible unfoldings of the guidelines. The back-end takes the formal models associated with multiple guidelines and checks their correctness with a theorem prover, and inherent inconsistencies with a constraint solver. Key to our approach is the use of an optimising constraint solver which enables us to search for the best solution that resolves/minimises conflicts according to medication efficacy and the degree of severity in case of harmful combinations, also taking into account their temporal overlapping. The approach is illustrated throughout with a real medical example