Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach

Clinical Guidelines (CGs) provide general evidence-based recommendations and physicians often have to resort also to their Basic Medical Knowledge (BMK) to cope with specific patients. In this paper, we explore the interplay between CGs and BMK from the viewpoint of a-posteriori conformance analysis, intended as the adherence of a specific execution log to both the CG and the BMK. In this paper, we consider also the temporal dimension: the guideline may include temporal constraints for the execution of actions, and its adaptation to a specific patient and context may add or modify conditions and temporal constraints for actions. We propose an approach for analyzing execution traces in Answer Set Programming with respect to a guideline and BMK, pointing out discrepancies – including temporal discrepancies – with respect to the different knowledge sources, and providing explanations regarding how the applications of the CG and the BMK have interacted, especially in case strictly adhering to both is not possible.

[1]  M. Field,et al.  Guidelines for Clinical Practice: From Development to Use , 1992 .

[2]  Daniele Theseider Dupré,et al.  Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution , 2015, KR4HC/ProHealth.

[3]  Laura Giordano,et al.  Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology , 2014, KR4HC@VSL.

[4]  Peter J. F. Lucas,et al.  Checking the quality of clinical guidelines using automated reasoning tools , 2008, Theory and Practice of Logic Programming.

[5]  Peter J. F. Lucas.  Computer-based Medical Guidelines and Protocols: A Primer and Current Trends , 2008 .

[6]  Paola Mello,et al.  Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge , 2011, Business Process Management Workshops.

[7]  Frank van Harmelen,et al.  Improving medical protocols by formal methods , 2006, Artif. Intell. Medicine.

[8]  Markus Krötzsch.  Efficient Inferencing for OWL EL , 2010, JELIA.

[9]  Giordano Lanzola,et al.  Flexible guideline-based patient careflow systems , 2001, Artif. Intell. Medicine.

[10]  Betsy van Dijk,et al.  Medintel: Decision Support for General Practitioners: A Case Study , 2009, MIE.

[11]  Nicolette de Keizer,et al.  Comparison of reasoners for large ontologies in the OWL 2 EL profile , 2011, Semantic Web.

[12]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[13]  Andriy Dunets,et al.  Verification of Medical Guidelines by Model Checking - A Case Study , 2006, SPIN.

[14]  M. S. Blois,et al.  What is medical informatics? , 1986, The Western journal of medicine.

[15]  Laura Giordano,et al.  Adopting model checking techniques for clinical guidelines verification , 2010, Artif. Intell. Medicine.

[16]  David Glasspool,et al.  A goal-oriented framework for specifying clinical guidelines and handling medical errors , 2010, J. Biomed. Informatics.

[17]  J. McCarthy.  ELABORATION TOLERANCE , 1997 .

[18]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[19]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[20]  Frank van Harmelen,et al.  Using model checking for critiquing based on clinical guidelines , 2009, Artif. Intell. Medicine.

[21]  A. Rector,et al.  Medical Informatics , 2003, Description Logic Handbook.

[22]  Peter J. F. Lucas,et al.  Verification of Medical Guidelines Using Background Knowledge in Task Networks , 2007, IEEE Transactions on Knowledge and Data Engineering.

[23]  Alessio Bottrighi,et al.  Exceptions Handling within GLARE Clinical Guideline Framework , 2012, AMIA.

[24]  Alessio Bottrighi,et al.  Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines , 2006, Artif. Intell. Medicine.

[25]  Paolo Terenziani,et al.  A modular approach for representing and executing clinical guidelines , 2001, Artif. Intell. Medicine.