|
The formal design and evaluation of a variety of
medical diagnostic programs
B S Todd and R Stamper
September 1993, 140 pages,
ISBN 0-902928-86-4
This monograph documents some experiments we have carried out
to investigate the effect on diagnostic accuracy of using various
statistical and knowledge-based programs within a common formal
framework using the Z specification language. We describe how we
collected a retrospective database of 1270 cases of abdominal pain of
suspected gynaecological origin. This we used to evaluate all methods.
From the results, we argue that the nearest neighbours method
is more suitable for clinical use than the direct application of
independence Bayes formula.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl