Format

Send to

Choose Destination
See comment in PubMed Commons below
Artif Intell Med. 2009 May;46(1):19-36. doi: 10.1016/j.artmed.2008.07.007. Epub 2008 Sep 27.

Using model checking for critiquing based on clinical guidelines.

Author information

1
Institute for Computing and Information Sciences, Radboud University Nijmegen, Toernooiveld 1, 6525 ED Nijmegen, The Netherlands. perry@cs.ru.nl

Abstract

OBJECTIVE:

Medical critiquing systems compare clinical actions performed by a physician with a predefined set of actions. In order to provide useful feedback, an important task is to find differences between the actual actions and a set of 'ideal' actions as described by a clinical guideline. In case differences exist, the critiquing system provides insight into the extent to which they are compatible.

METHODS AND MATERIAL:

We propose a computational method for such critiquing, where the ideal actions are given by a formal model of a clinical guideline, and where the actual actions are derived from real world patient data. We employ model checking to investigate whether a part of the actual treatment is consistent with the guideline.

RESULTS:

We show how critiquing can be cast in terms of temporal logic, and what can be achieved by using model checking. Furthermore, a method is introduced for off-line computing relevant information which can be exploited during critiquing. The method has been applied to a clinical guideline of breast cancer in conjunction with breast cancer patient data.

PMID:
18824335
DOI:
10.1016/j.artmed.2008.07.007
[Indexed for MEDLINE]
PubMed Commons home

PubMed Commons

0 comments
How to join PubMed Commons

    Supplemental Content

    Full text links

    Icon for Elsevier Science
    Loading ...
    Support Center