From informal knowledge to formal logic: A realistic case study in medical protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2473, Issue , 2002, Pages 49-64

  Marcos, Mar ^a,b   Balser, Michael ^c   Ten Teije, Annette ^d   van Harmelen, Frank ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITAT JAUME I   (Spain)

^c UNIVERSITY OF AUGSBURG   (Germany)

^d UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; KNOWLEDGE MANAGEMENT;

AUTOMATED THEOREM PROVING; DAILY USE; FORMALISATION; KNOWLEDGE MODEL; KNOWLEDGE REPRESENTATION LANGUAGE; MEDICAL KNOWLEDGE; MEDICAL PROTOCOLS; PARALLEL PROGRAM;

KNOWLEDGE REPRESENTATION;

EID: 53249136825     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45810-7_8     Document Type: Conference Paper

References (18)

1. Weingarten, S.: Using Practice Guideline Compendiums To Provide Better Preventive Care. Annals of Internal Medicine 130 (1999) 454–458
2. Field, M., Lohr, K., eds.: Clinical Practice Guidelines: Directions for a New Program. National Academy Press, Washington D.C., USA (1992)
3. Woolf, S., Grol, R., Hutchinson, A., Eccles, M., Grimshaw, J.: Potential benefits, limitations, and harms of clinical guidelines. British Medical Journal 318 (1999) 527–530
4. Clayton, P., Hripsak, G.: Decision support in healthcare. Int. J. of Biomedical Computing 39 (1995) 59–66
5. Graham, I., Calder, L., Hébert, P., Carter, A., Tetroe, J.: A comparison of clinical practice guideline appraisal instruments. International Journal of Technology Assessment in Health Care 16 (2000) 1024–1038
6. Musen, M., Rohn, J., Fagan, L., Shortliffe, E.: Knowledge engineering for a clinical trial advice system: Uncovering errors in protocol specification. Bulletin du Cancer 74 (1987) 291–296
7. AAP: American Academy of Pediatrics, Provisional Committee for Quality Improvement and Subcommittee on Hyperbilirubinemia. Practice parameter: management of hyperbilirubinemia in the healthy term newborn. Pediatrics 94 (1994) 558–565
8. Elkin, P., Peleg, M., Lacson, R., Bernstam, E., Tu, S., Boxwala, A., Greenes, R., Shortliffe, E.: Toward Standardization of Electronic Guidelines. MD Computing 17 (2000) 39–44
9. Miksch, S.: Plan Management in the Medical Domain. AI Communications 12 (1999) 209–235
10. Ohno-Machado, L., Gennari, J., Murphy, S., Jain, N., Tu, S., Oliver, D., Pattison-Gordon, E., Greenes, R., Shortliffe, E., Octo Barnett, G.: Guideline Interchange Format: a model for representing guidelines. J. of the American Medical Informatics Association 5 (1998) 357–372
11. Fox, J., Johns, N., Lyons, C., Rahmanzadeh, A., Thomson, R., Wilson, P.: PROforma: a general technology for clinical decision support systems. Computer Methods and Programs in Biomedicine 54 (1997) 59–67
12. Shahar, Y., Miksch, S., 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
13. Roomans, H., Berger, G., Marcos, M., ten Teije, A., Seyfang, A., van Harmelen, F.: Asbru Protocol for the Management of Hyperbilirubinemia in the Healthy Term Newborn. Technical Report IR-495, Vrije Universiteit Amsterdam (2002) To be published
14. Rutten, G., Verhoeven, S., Heine, R., de Grauw, W., Cromme, P., Reenders, K., van Ballegooie, E., Wiersma, T.: NHG-Standaard Diabetes Mellitus Type 2 (eerste herziening). Huisarts en Wetenschap 42 (1999) 67–84 First revision
15. Marcos, M., Roomans, H., ten Teije, A., van Harmelen, F.: Improving medical protocols through formalisation: a case study. In: Session on Formal Methods in Healthcare, 6th International Conference on Integrated Design and Process Technology (IDPT-02). (2002)
16. Balser, M., Reif, W., Schellhorn, G., Stenzel, K., Thums, A.: Formal system development with KIV. In Maibaum, T., ed.: Fundamental Approaches to Software Engineering. Number 1783 in LNCS, Springer (2000)
17. Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. IEEE Computer 18 (1985) 10–19
18. Balser, M., Duelli, C., Reif, W., Schellhorn, G.: Verifying concurrent systems with symbolic execution. Journal of Logic and Computation (Special Issue) (2002)