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’ 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.
CITATION STYLE
Wilk, S., Fux, A., Michalowski, M., Peleg, M., & Soffer, P. (2017). Using constraint logic programming for the verification of customized decision models for clinical guidelines. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10259 LNAI, pp. 37–47). Springer Verlag. https://doi.org/10.1007/978-3-319-59758-4_4
Mendeley helps you to discover research relevant for your work.