Using constraint logic programming for the verification of customized decision models for clinical guidelines

Szymon Wilk, Adi Fux, Martin Michalowski, Mor Peleg, Pnina Soffer

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Scopus citations

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’ 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.
Original languageEnglish (US)
Title of host publicationArtificial Intelligence in Medicine - 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Proceedings
EditorsAnnette [surname]ten Teije, Christian Popow, Lucia Sacchi, John H. Holmes
PublisherSpringer- Verlag
Pages37-47
Number of pages11
Volume10259 LNAI
ISBN (Print)9783319597577
DOIs
StatePublished - 2017
Event16th Conference on Artificial Intelligence in Medicine, AIME 2017 - Vienna, Austria
Duration: Jun 21 2017Jun 24 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10259 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other16th Conference on Artificial Intelligence in Medicine, AIME 2017
CountryAustria
CityVienna
Period6/21/176/24/17

Fingerprint Dive into the research topics of 'Using constraint logic programming for the verification of customized decision models for clinical guidelines'. Together they form a unique fingerprint.

Cite this