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 proceedingConference contributionpeer-review

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
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
ISBN (Print)9783319597577
DOIs
StatePublished - 2017
Event16th Conference on Artificial Intelligence in Medicine, AIME 2017 - Vienna, Austria
Duration: 21 Jun 201724 Jun 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

Conference

Conference16th Conference on Artificial Intelligence in Medicine, AIME 2017
Country/TerritoryAustria
CityVienna
Period21/06/1724/06/17

Bibliographical note

Publisher Copyright:
© Springer International Publishing AG 2017.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)

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