Using model checking for critiquing based on clinical guidelines

Artificial Intelligence in Medicine

Volumn 46, Issue 1, 2009, Pages 19-36

  Groot, Perry ^a   Hommersom, Arjen ^a   Lucas, Peter J F ^a   Merk, Robbert Jan ^b   ten Teije, Annette ^b   van Harmelen, Frank ^b   Serban, Radu ^b  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Breast cancer; Clinical guidelines; Critiquing; Formal methods; Model checking

Indexed keywords

BREAST CANCER; CLINICAL GUIDELINES; CRITIQUING; CRITIQUING SYSTEMS; FORMAL MODELS; OFF-LINE COMPUTING; PATIENT DATUM;

FORMAL METHODS; HOSPITAL DATA PROCESSING; TEMPORAL LOGIC;

MODEL CHECKING;

ARTICLE; BREAST CANCER; CANCER DIAGNOSIS; CLINICAL PRACTICE; DIAGNOSTIC PROCEDURE; DIAGNOSTIC TEST; EVALUATION; HEALTH CARE DELIVERY; INFORMATION PROCESSING; INTRADUCTAL CARCINOMA; LOGIC; MEDICAL DECISION MAKING; METHODOLOGY; OUTCOME ASSESSMENT; PARAMETER; PATIENT INFORMATION; PRACTICE GUIDELINE; PRIORITY JOURNAL; PROGNOSIS; QUALITY CONTROL; SATISFACTION; SYMPTOMATOLOGY; TREATMENT INDICATION; TREATMENT OUTCOME; TREATMENT PLANNING;

ARTIFICIAL INTELLIGENCE; BREAST NEOPLASMS; CARCINOMA, DUCTAL, BREAST; COMPUTER SIMULATION; DECISION SUPPORT SYSTEMS, CLINICAL; FEMALE; GUIDELINE ADHERENCE; HUMANS; LOGIC; MEDICAL RECORDS SYSTEMS, COMPUTERIZED; MODELS, THEORETICAL; PATIENT SELECTION; PRACTICE GUIDELINES AS TOPIC; SYSTEMS INTEGRATION; TIME FACTORS;

EID: 64549127797     PISSN: 09333657     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artmed.2008.07.007     Document Type: Article

References (24)

1. Silverman B. Survey of expert critiquing systems: Practical and theoretical frontiers. Communications of the ACM 35 4 (1992) 106-127
2. Gertner A. Critiquing: effective decision support in time-critical domains. PhD thesis. Department of Computer & Information Science, University of Pennsylvania; 1995
3. Clarke E., Grumberg O., and Peled A. Model Checking (2001), The MIT Press, Cambridge, MA, London, England
4. Kupferman O., and Vardi M. Modular model checking. Lecture Notes in Computer Science 1536 (1998) 381-401
5. Shahar Y., Miksch S., and Johnson P. The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artificial Intelligence in Medicine 14 (1998) 29-51
6. Balser M., Duelli C., and Reif W. Formal semantics of Asbru-an overview. In: Ehrig H., Kraemer B., and Ertas A. (Eds). Proceedings of the 6th world conference on integrated design and process technology (IDPT-02) (2002), Society for Design and Process Science, Passadena, CA 1-8
7. Bäumler S., Balser M., Dunets A., Reif W., and Schmitt J. Model checking software. In: Valmari A. (Ed). Proceedings of 13th international SPIN workshop on model checking of software, vol. 3925 of lecture notes in computer science (2006), Springer, Berlin/Heidelberg, Germany 219-233
8. Marcos M., Berger G., Harmelen F.V., ten Teije A., Roomans H., and Miksch S. Using critiquing for improving medical protocols: harder than it seems. Proceedings of the 8th European conference on artificial intelligence in medicine (2001) 431-441
9. Miller P. A critiquing approach to Expert Computer Advice: ATTENDING (1984), Pitman Publishing, Inc., Marshfield, MA, USA p. 1-8
10. Gertner A. Plan recognition and evaluation for on-line critiquing. User Modeling and User-Adapted Interaction 7 2 (1997) 107-140
11. Lei J.V.D. Critiquing based on computer-stored medical records (1991), Erasmus University
12. Sips R., Braun L., and Roos N. Applying intention-based guidelines for critiquing. In: ten Teije A., Misch A., and Lucas P. (Eds). ECAI 2006 WS-AI techniques in healthcare: evidence based guidelines and protocols (2006) 83-88
13. Y Shahar., Miksch S., and P Johnson. A task-specific ontology for the application and critiquing of time oriented clinical guidelines. Proceedings of the sixth conference on artificial intelligence in medicine in Europe (1997) 51-61
14. Advani A., Lo K., and Shahar Y. Intention-based critiquing of guideline-oriented medical care. Proceedings American medical informatics annual symposium (1998) 483-487
15. Advani A., Shahar Y., and Musen M.A. Medical quality assessment by scoring adherence to guideline intentions. Journal of the American Medical Informatics Society 9 (2002) S9-S97
16. Peleg M., Tu S., Bury J., Ciccares P., Fox J., and Greenes R. Comparing computer interpretable guideline models: a case-study approach. Journal of the American Medical Informatics Association 10 (2004) 52-68
17. Terenziani P., Giodano L., Bottrighi A., Montani S., and Donzella L. SPIN model checking for the verification of clinical guideline. In: ten Teije A., Misch A., and Lucas P. (Eds). ECAI 2006 WS-AI techniques in healthcare: evidence-based guidelines and protocols. Riva del Garda, Italy (2006) 101-106
18. Alberti M., Daolio D., Torroni P., Gavanelli M., Lamma E., and Mello P. Specification and verification of agent interaction protocols in a logic-based system. SAC '04: Proceedings of the 2004 ACM symposium on applied computing (2004), ACM, New York, NY, USA 72-78
19. Mulyar N., Pesic M., van der Aalst W., and Peleg M. Towards the flexibility in clinical guideline modeling languages. Proceedings of the 5th international conference on BPM-workshop BPM in healthcare (2007) 17-28
20. Larsen K.G., Peterson P., and Wang Y. UPPAAL in a nutshell. Journal of Software Tools for Technology Transfer 1 1-2 (1997) 134-152
21. Henzinger T. Symbolic model checking for real-time systems. Information and Computation 111 (1994) 193-244
22. Bryant R. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 35 8 (1986) 677-691
23. Reiter R. On closed world databases. In: Gallaire H., and Minker J. (Eds). Logic and databases (1978), Plenum Press, New York, USA 55-76
24. Patel C, Cimino J, Dolby J, Fokoue A, Kalyanpur A, Kershenbaum AEA. The semantic web, vol. 4825/2008 of lecture notes in computer science. Berlin/Heidelberg, Germany: Springer; 2007. p. 816-29 [Ch. Matching Patient Records to Clinical Trials Using Ontologies].