|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Verification of Medical Guidelines Using Background Knowledge in Task Networks
June 2007 (vol. 19 no. 6)
pp. 832-846
| ASCII Text | x | ||
| Arjen Hommersom, Perry Groot, Peter J.F. Lucas, Michael Balser, Jonathan Schmitt, "Verification of Medical Guidelines Using Background Knowledge in Task Networks," IEEE Transactions on Knowledge and Data Engineering, vol. 19, no. 6, pp. 832-846, June, 2007. | |||
| BibTex | x | ||
| @article{ 10.1109/TKDE.2007.190619, author = {Arjen Hommersom and Perry Groot and Peter J.F. Lucas and Michael Balser and Jonathan Schmitt}, title = {Verification of Medical Guidelines Using Background Knowledge in Task Networks}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {19}, number = {6}, issn = {1041-4347}, year = {2007}, pages = {832-846}, doi = {http://doi.ieeecomputersociety.org/10.1109/TKDE.2007.190619}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Knowledge and Data Engineering TI - Verification of Medical Guidelines Using Background Knowledge in Task Networks IS - 6 SN - 1041-4347 SP832 EP846 EPD - 832-846 A1 - Arjen Hommersom, A1 - Perry Groot, A1 - Peter J.F. Lucas, A1 - Michael Balser, A1 - Jonathan Schmitt, PY - 2007 KW - Medical guidelines KW - background knowledge KW - formal verification KW - temporal logic. VL - 19 JA - IEEE Transactions on Knowledge and Data Engineering ER - | |||
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.
Index Terms:
Medical guidelines, background knowledge, formal verification, temporal logic.
Citation:
Arjen Hommersom, Perry Groot, Peter J.F. Lucas, Michael Balser, Jonathan Schmitt, "Verification of Medical Guidelines Using Background Knowledge in Task Networks," IEEE Transactions on Knowledge and Data Engineering, vol. 19, no. 6, pp. 832-846, June 2007, doi:10.1109/TKDE.2007.190619
Usage of this product signifies your acceptance of the Terms of Use.