@inbook{578abb5ef7494f578ba1366fbd3b4fbb,
title = "Using constraint logic programming for the verification of customized decision models for clinical guidelines",
abstract = "Computer-interpretable implementations of clinical guidelines (CIGs) add knowledge that is outside the scope of the original guideline. This knowledge can customize CIGs to patients{\textquoteright} psycho-social context or address comorbidities that are common in the local population, potentially increasing standardization of care and patient compliance. We developed a two-layered contextual decision-model based on the PROforma CIG formalism that separates the primary knowledge of the original guideline from secondary arguments for or against specific recommendations. In this paper we show how constraint logic programming can be used to verify the layered model for two essential properties: (1) secondary arguments do not rule in recommendations that are ruled out in the original guideline, and (2) the CIG is complete in providing recommendation(s) for any combination of patient data items considered. We demonstrate our approach when applied to the asthma domain.",
author = "Szymon Wilk and Adi Fux and Martin Michalowski and Mor Peleg and Pnina Soffer",
year = "2017",
doi = "10.1007/978-3-319-59758-4_4",
language = "English (US)",
isbn = "9783319597577",
volume = "10259 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer- Verlag",
pages = "37--47",
editor = "{[surname]ten Teije}, Annette and Christian Popow and Lucia Sacchi and Holmes, {John H.}",
booktitle = "Artificial Intelligence in Medicine - 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Proceedings",
note = "16th Conference on Artificial Intelligence in Medicine, AIME 2017 ; Conference date: 21-06-2017 Through 24-06-2017",
}