A critiquing approach to expert computer advice: Attending
A critiquing approach to expert computer advice: Attending
The Role of Model Checking in Critiquing Based on Clinical Guidelines
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Using model checking for critiquing based on clinical guidelines
Artificial Intelligence in Medicine
Improving medical protocols by formal methods
Artificial Intelligence in Medicine
Authoring and verification of clinical guidelines: A model driven approach
Journal of Biomedical Informatics
Medical protocol diagnosis using formal methods
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
| Hi-index | 0.00 |
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themselves are of high quality. In this paper we investigate the use of critiquing for improving the quality of medical protocols. We constructed a detailed formal model of the jaundice protocol of the American Association of Pediatrics in the Asbru representation language. We recorded the actions performed by a pediatrician while solving a set of test cases.We then compared these expert actions with the steps recommended by the formalised protocol, and analysed the differences that we observed. Even our relatively small test set of 7 cases revealed many mismatches between the actions performed by the expert and the protocol recommendations, which suggest improvements of the protocol. A major problem in our case study was to establish a mapping between the actions performed by the expert and the steps suggested by the protocol. We discuss the reasons for this difficulty, and assess its consequences for the automation of the critiquing process.