Multi-Level Verification of Clinical Protocols

In the medical domain, clinical practice guidelines and protocols build a commonly accepted way to improve patient health care. During the last years various approaches have been presented to support the computerization of such guidelines and protocols. However, the verification of clinical protocols has not become an extensive research topic yet. In this paper we will present a partial and domain-specific verification approach to identify particular anomalies in protocols. Our approach is oriented on a plan-representation language of clinical protocols given as temporal, skeletal plans, called Asbru. Asbru provides the necessary hierarchical structure and task-specific knowledge roles, which are needed to divide the whole verification process in subtasks. Our verification approach examines three levels of a plan: the plan itself, all its knowledge roles and all its subplans. The final aim is to arrive at legal or meaningful plans, instead of complete or totally correct plans.

[1]  S Uckun,et al.  Instantiating and monitoring skeletal treatment plans. , 1996, Methods of information in medicine.

[2]  Yuval Shahar,et al.  ASBRU: A TASK-SPECIFIC, INTENTION-BASED, AND TIME-ORIENTED LANGUAGE FOR REPRESENTING SKELETAL PLANS , 1999 .

[3]  M. Field,et al.  Clinical practice guidelines : directions for a new program , 1990 .

[4]  Lawrence M. Fagan,et al.  T-HELPER: automated support for community-based clinical research. , 1992, Proceedings. Symposium on Computer Applications in Medical Care.

[5]  G Hripcsak,et al.  Using intermediate states to improve the ability of the Arden Syntax to implement care plans and reuse knowledge. , 1995, Proceedings. Symposium on Computer Applications in Medical Care.

[6]  Yuval Shahar,et al.  The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines , 1998, Artif. Intell. Medicine.

[7]  M A Musen,et al.  A model for critiquing based on automated medical records. , 1991, Computers and biomedical research, an international journal.

[8]  A Jackson-Smale,et al.  Protocols for clinical care. , 1995, Computer methods and programs in biomedicine.

[9]  Osman Balci,et al.  Validating Expert System Performance , 1987, IEEE Expert.

[10]  Edward H. Shortliffe,et al.  Fagan''Episodic Skeletal-Plan Refinement on Temporal Data , 1989 .

[11]  S W Tu,et al.  The EON model of intervention protocols and guidelines. , 1996, Proceedings : a conference of the American Medical Informatics Association. AMIA Fall Symposium.

[12]  Frank van Harmelen,et al.  Validation and Verification of Conceptual Models of Diagnosis , 1997, EUROVAV.

[13]  Alun D. Preece,et al.  Principles and practice in verifying rule-based systems , 1992, Knowl. Eng. Rev..

[14]  George Hripcsak,et al.  Requirements of a Sharable Guideline Representation for Computer Applications , 1996 .

[15]  Alun D. Preece,et al.  Foundation and application of knowledge base verification , 1994, Int. J. Intell. Syst..

[16]  Lawrence M. Fagan,et al.  Episodic skeletal-plan refinement on temporal data , 1987 .

[17]  R A Greenes,et al.  Representation of clinical practice guidelines through an interactive World-Wide-Web interface. , 1995, Proceedings. Symposium on Computer Applications in Medical Care.

[18]  Catholijn M. Jonker,et al.  Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning , 1997, EUROVAV.

[19]  John Fox,et al.  Protocols for Medical Procedures and Therapies: A Provisional Description of the PROforma Language and Tools , 1997, AIME.

[20]  Silvana Quaglini,et al.  Supporting Tools for Guideline Development and Dissemination , 1997, AIME.

[21]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[22]  Frank van Harmelen,et al.  Applying rule-base anomalies to KADS inference structures , 1997, Decis. Support Syst..

[23]  Jean-Pierre H. Laurent.  Proposals for a Valid Terminology in KBS Validation , 1992, ECAI.

[24]  G O Barnett,et al.  An architecture for a distributed guideline server. , 1995, Proceedings. Symposium on Computer Applications in Medical Care.

[25]  R A Greenes,et al.  Improving Clinical Guidelines with Logic and Decision-table Techniques , 1994, Medical decision making : an international journal of the Society for Medical Decision Making.