Applying Artificial Intelligence to clinical guidelines: The GLARE approach

Studies in Health Technology and Informatics

Volumn 139, Issue , 2008, Pages 273-282

  Terenziani, Paolo ^a   Montani, Stefania ^a   Bottrighi, Alessio ^a   Molino, Gianpaolo ^b   Torchio, Mauro ^b  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b Az Ospedaliera S G Battista   (Italy)

Author keywords

Acquisition; Consistent checking; Decision support; Execution; Representation; Verification

Indexed keywords

DECISION MAKING; DECISION SUPPORT SYSTEMS; HIGH LEVEL LANGUAGES; KNOWLEDGE REPRESENTATION; MERGERS AND ACQUISITIONS; VERIFICATION;

ACQUISITION; CONSISTENT CHECKING; DECISION SUPPORTS; EXECUTION; REPRESENTATION;

GLARE;

ARTICLE; ARTIFICIAL INTELLIGENCE; CLINICAL PROTOCOL; DECISION SUPPORT SYSTEM; PRACTICE GUIDELINE;

ARTIFICIAL INTELLIGENCE; CLINICAL PROTOCOLS; DECISION MAKING, COMPUTER-ASSISTED; PRACTICE GUIDELINES AS TOPIC;

EID: 56149085230     PISSN: 09269630     EISSN: 18798365     Source Type: Book Series    
DOI: 10.3233/978-1-58603-873-1-273     Document Type: Conference Paper

References (24)

1. Health Telematics for Clinical Guidelines and Protocols, eds. C. Gordon and J.P. Christensen IOS Press, Amsterdam, 1995.
2. Special Issue on Workflow Management and Clinical Guidelines, D.B. Fridsma (Guest ed.), JAMIA, 22(1) (2001), 1-80.
3. S. Miksch K. Kaiser and S.W. Tu, eds. Proceedings of the Symposium on Computerized Guidelines and Protocols. IOS Press, Amsterdam, 2004.
4. M. Peleg, S. Tu, J. Bury, P. Ciccarese, J. Fox, R.A. Greenes, R. Hall, P.D. Johnson, N. Jones, A. Kumar, S. Miksch, S. Quaglini, A. Seyfang, E.H. Shortliffe, and M. Stefanelli. Comparing computer-interpretable GL models: a case-study approach, Journal of the American Medical Informatics Association, 10 (2004), 52-68,
5. P. Terenziani, G. Molino, M. Torchio, A Modular Approach for Representing and Executing Clinical Guidelines. Artificial Intelligence in Medicine 23 (2001), 249-276.
6. P. Terenziani, L. Anselma, A. Bottrighi, L. Giordano, S. Montani, Automatic Checking of the Correctness of Clinical Guidelines in GLARE, Proc Medinfo 2007 (2007), to appear,
7. P. Terenziani, S. Montani, A. Bottrighi, M. Torchio, G. Molino, G. Correndo, A context-adaptable approach to clinical guidelines. Proc. MEDINFO'04, M. Fieschi et al. (eds), Amsterdam, IOS Press, (2004) 169-173.
8. L. Vila, A Survey on Temporal Reasoning in Artificial Intelligence, AI Communications, 7(1) (1994) 4-28.
9. L. Anselma, P. Terenziani, S. Montani, A. Bottrighi, Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines, Artificial Intelligence in Medicine 38 (2006), 171-195.
10. R. Dechter, I. Meiri, J. Pearl, Temporal Constraint Networks, Artificial Intelligence 49 (1991), 61-95.
11. S. Montani and P. Terenziani, Exploiting decision theory concepts within clinical guideline systems: towards a general approach, International Journal of Intelligent System 21 (2006), 585-599,.
12. F.A. Sonnenberg, J.R. Beck. Markov models in medical decision making: a practical guide. Medical Decision Making 13 (1993), 332-338.
13. M.R. Gold, J. E. Siegel, L. B. Russell, M. C. Weinstein. Cost-Effectiveness in Health and Medicine. Oxford University Press, New York, 1996.
14. P. Terenziani, S. Montani, C. Carlini, G. Molino, M. Torchio, Supporting physicians in taking decisions in Clinical Guidelines: the GLARE's "what if" facility. Journal of the American Association of Medical Informatics (JAMIA), Proc. Annual Fall Symposium, 2002.
15. Tatman, R. Shachter. Dynamic programming and influence diagrams. IEEE Transactions on Systems, Man and Cybernetics 20 (1990), 365-379.
16. L.Giordano, P. Terenziani, A. Bottrighi, S.Montani, L.Donzella, Model Checking for Clinical Guidelines: an Agent-based Approach. Proc. AMIA'06, Washington, November 2006.
17. G.J.Holzmann, The SPIN Model Checker. Primer and Reference Manual, Addison-Wesley, 2003
18. A.A. Boxwala, Applying axiomatic design methodology to create guidelines that are locally adaptable, In Proceedings American Medical Informatics Annual Symposium 2002
19. Y. Shahar, A Framework for Knowledge-Based Temporal Abstraction in Clinical Domains, Artificial Intelligence 90(1) (1997), 79-133.
20. G. Duftschmid, S. Miksch, W. Gall, Verification of temporal scheduling constraints in clinical practice guidelines. Artificial Intelligence in Medicine 25(2) 2002, 93-121.
21. S. Quaglini, M. Stefanelli, A. Cavallini, G. Micieli, C. Fassino, C. Mossa, GL-based careflow systems, Artificial Inteligence in Medicine 20(1) (2000), 5-22,
22. M.Marcos, M. Balser, A. ten Teije, F. van Harmelen, and C. Duelli, Experiences in the formalisation and verification of medical protocols, in Proc. Artificial Intelligence in Medicine in Europe (AIME) 2003, LNCS 2780, eds., S. Quaglini, P. Barahona, and S. Andreassen, Springer-Verlag, Berlin (2003), 132-141.
23. M. Peleg, S. Tu, A. Manindroo, R.B. Altman, Modeling and analyzing biomedical processes using workflow/petri net models and tools Proc. Medinfo'04, M. Fieschi et al. (eds), Amsterdam, IOS Press, (2004), 74-78
24. A. ten Teije, M. Marcos, M. Balser, J. van Croonenborg, C. Duelli, F. van Harmelen, P. Lucas, S. Miksch, W. Reif, K. Rosenbrand, A. Seyfarng, 'Improving medical protocols by formal methods', Artificial Intelligence in Medicine, 36, 193.209, (2006).