Using model checking for critiquing based on clinical guidelines. Export

@article{citeulike:4480491, 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.}, author = {Groot, P. and Hommersom, A. and Lucas, P. J. and Merk, R. J. and ten Teije, A. and van Harmelen, F. and Serban, R.}, citeulike-article-id = {4480491}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.artmed.2008.07.007}, citeulike-linkout-1 = {http://view.ncbi.nlm.nih.gov/pubmed/18824335}, citeulike-linkout-2 = {http://www.hubmed.org/display.cgi?uids=18824335}, doi = {10.1016/j.artmed.2008.07.007}, issn = {1873-2860}, journal = {Artificial intelligence in medicine}, keywords = {critiquing, model}, month = {May}, number = {1}, pages = {19--36}, posted-at = {2009-05-06 18:53:03}, priority = {2}, title = {Using model checking for critiquing based on clinical guidelines.}, url = {http://dx.doi.org/10.1016/j.artmed.2008.07.007}, volume = {46}, year = {2009} }

TY - JOUR ID - citeulike:4480491 L3 - citeulike-article-id:4480491 N2 - 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. IS - 1 JF - Artificial intelligence in medicine SN - 1873-2860 EP - 36 TI - Using model checking for critiquing based on clinical guidelines. VL - 46 SP - 19 KW - critiquing KW - model AU - Groot, P AU - Hommersom, A AU - Lucas, PJ AU - Merk, RJ AU - ten Teije, A AU - van Harmelen, F AU - Serban, R PY - 2009/05// UR - http://dx.doi.org/10.1016/j.artmed.2008.07.007 ER -