Abstract
We report our experience in a case study with constructing fully formalised knowledge models of realistic, specialised medical knowledge. We have taken a medical protocol in daily use by medical specialists, modelled this knowledge in a specific-purpose knowledge representation language, and finally formalised this knowledge representation in terms of temporal logic and parallel programs. The value of this formalisation process is that each successive formalisation step has contributed to improving the quality of the original medical protocol, and that the final formalisation allows us to provide machine-assisted proofs of properties that are satisfied by the original medical protocol (or, alternatively, precise arguments why the original protocol fails to satisfy certain desirable properties). We believe that this the first time that a significant body of medical knowledge (in our case: a protocol for the management of jaundice in newborns) has been formalised to the extent that it becomes amenable to automated theorem proving, and that this has actually lead to improvement of the original body of medical knowledge.
On research leave from the Dept. of Computer Engineering and Science, Universitat Jaume I, Castellón, Spain.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Weingarten, S.: Using Practice Guideline Compendiums To Provide Better Preventive Care. Annals of Internal Medicine 130 (1999) 454–458
Field, M., Lohr, K., eds.: Clinical Practice Guidelines: Directions for a New Program. National Academy Press, Washington D.C., USA (1992)
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
Clayton, P., Hripsak, G.: Decision support in healthcare. Int. J. of Biomedical Computing 39 (1995) 59–66
Graham, I., Calder, L., Hebert, 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
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
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
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
Miksch, S.: Plan Management in the Medical Domain. AI Communications 12 (1999) 209–235
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
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
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
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.
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.
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)
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)
Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. IEEE Computer 18 (1985) 10–19
Balser, M., Duelli, C., Reif, W., Schellhorn, G.: Verifying concurrent systems with symbolic execution. Journal of Logic and Computation (Special Issue) (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marcos, M., Balser, M., ten Teije, A., van Harmelen, F. (2002). From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. In: Gómez-Pérez, A., Benjamins, V.R. (eds) Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web. EKAW 2002. Lecture Notes in Computer Science(), vol 2473. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45810-7_8
Download citation
DOI: https://doi.org/10.1007/3-540-45810-7_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44268-4
Online ISBN: 978-3-540-45810-4
eBook Packages: Springer Book Archive