Using model checking for critiquing based on clinical guidelines.
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
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.
Groot
Perry
P
Institute for Computing and Information Sciences, Radboud University Nijmegen, Toernooiveld 1, 6525 ED Nijmegen, The Netherlands. perry@cs.ru.nl
Hommersom
Arjen
A
Lucas
Peter J F
PJ
Merk
Robbert-Jan
RJ
ten Teije
Annette
A
van Harmelen
Frank
F
Serban
Radu
R
D001185:Artificial Intelligence; D001943:Breast Neoplasms / Q000175:diagnosis / Q000628:therapy*; D018270:Carcinoma, Ductal, Breast / Q000175:diagnosis / Q000628:therapy*; D003198:Computer Simulation; D020000:Decision Support Systems, Clinical; D005260:Female; D019983:Guideline Adherence; D006801:Humans; D008128:Logic; D016347:Medical Records Systems, Computerized; D008962:Models, Theoretical; D018579:Patient Selection; D017410:Practice Guidelines as Topic; D018511:Systems Integration; D013997:Time Factors