DocumentCode :
814772
Title :
Verification of Medical Guidelines Using Background Knowledge in Task Networks
Author :
Hommersom, Arjen ; Hommersom, Arjen ; Groot, Perry ; Groot, Perry ; Lucas, Peter J.F. ; Lucas, Peter J.F. ; Balser, Michael ; Balser, Michael ; Schmitt, Jonathan ; Schmitt, Jonathan
Volume :
19
Issue :
6
fYear :
2007
fDate :
6/1/2007 12:00:00 AM
Firstpage :
832
Lastpage :
846
Abstract :
The application of a medical guideline to the treatment of a patient\´s disease can be seen as the execution of tasks, sequentially or in parallel, in the face of patient data. It has been shown that many of such guidelines can be represented as a "network of tasks,¿ that is, as a sequence of steps that have a specific function or goal. In this paper, a novel methodology for verifying the quality of such guidelines is introduced. To investigate the quality of such guidelines, we propose to include medical background knowledge to task networks and to formalize criteria for good medical practice that a guideline should comply with. This framework was successfully applied to a guideline dealing with the management of diabetes mellitus type 2 by using KIV.
Keywords :
Costs; Diabetes; Diseases; Drugs; Formal verification; Guidelines; Logic; Medical diagnostic imaging; Medical services; Medical treatment; Medical guidelines; background knowledge; formal verification; temporal logic.;
fLanguage :
English
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
1041-4347
Type :
jour
DOI :
10.1109/TKDE.2007.190611
Filename :
4161903
Link To Document :
بازگشت