ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution

In this paper, we present an approach where Answer Set Programming is used for analyzing the conformance of execution traces, describing the treatment of individual patients, to Computer-Interpretable Guidelines (CIGs) in the medical domain. The problem is challenging because the CIG for a given pathology describes the most typical treatments for that pathology and cannot take into account all the specific cases that may occur for a specific patient, being them contraindications, temporary conditions of the patient, or other major pathologies. Deviations (also in the timing) from a single guideline may then be explainable using general medical knowledge or knowledge about the interaction between pathologies or treatments.