DocumentCode
1216284
Title
A model-based diagnostic program
Author
Todd, B.S.
Author_Institution
Oxford University, Programming Research Group, Computing Laboratory, Oxford, UK
Volume
2
Issue
3
fYear
1987
fDate
5/1/1987 12:00:00 AM
Firstpage
54
Lastpage
63
Abstract
In this paper the author proposes that a suitable function for medical expert systems is to provide checklists for the practitioner. Using the Z specification language the author formalises the notion of using anatomical models to construct diagnostic programs and illustrates his ideas with reference to a neurological problem (that of determining the sites of lesions in the peripheral nervous system). The paper describes the implementation of a small prototype and reports the results obtained in a retrospective clinical trial.
Keywords
expert systems; medical diagnostic computing; specification languages; Z specification language; anatomical models; checklists; clinical trial; lesions; medical expert systems; model-based diagnostic program; neurological problem; peripheral nervous system; practitioner;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
DOI
10.1049/sej.1987.0008
Filename
4807887
Link To Document