Requirements about the quality of medical guidelines can be represented using schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a guideline. In this paper, we investigate how this approach can be mapped to the facilities offered by a theorem proving system for program verification, KIV. It is shown that the reasoning that is required for checking the quality of a guideline can be mapped to such theoremproving facilities. The medical quality of an actual guideline concerning diabetes mellitus 2 is investigated in this way, and some problems discovered are discussed.
CITATION STYLE
Hommersom, A., Lucas, P., & Balser, M. (2004). Meta-level verification of the quality of medical guidelines using interactive theorem proving. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3229, pp. 654–666). Springer Verlag. https://doi.org/10.1007/978-3-540-30227-8_54
Mendeley helps you to discover research relevant for your work.