An important aspect of diagnostic reasoning is the ability to recognise when there is sufficient evidence to enable a working diagnosis to be made and thus avoid the unnecessary risks and costs of further testing. On the other hand, the reasoner must be careful to avoid the error, known as premature closure, of accepting a diagnosis before it is fully verified. In the absence of a more rigorous approach to verification, a pragmatic approach adopted in many programs for sequential diagnosis is to discontinue testing when the probability of the leading hypothesis reaches an arbitrary threshold. Experimental results are presented to illustrate the potential unreliability of this approach. A more reliable way to avoid premature closure is to discontinue testing only when the lower bound for the probability of the leading hypothesis reaches an acceptably high level. For example, a lower bound of 70% means that its probability can never be less than 70% regardless of any evidence that further testing may reveal. Another reason to discontinue testing may be that further evidence can at best increase the probability of the leading hypothesis by a small amount. For example, if the probability of the leading hypothesis is 72%, with a lower bound of 65% and an upper bound of 75%, further testing may be difficult to justify. As these examples illustrate, a termination strategy informed by upper and lower bounds for the probability of the leading hypothesis may help to avoid both premature closure and undue prolongation of the testing process. Finding upper and lower bounds for the probability of a diagnostic hypothesis as each new piece of evidence is obtained is feasible by existing techniques only when the number of remaining tests is small. However, new techniques are presented which can often produce a dramatic reduction in the computational effort required to find the upper and lower bounds. Based on the independence Bayesian framework, the theory presented extends a probabilistic model of hypothetico-deductive reasoning designed to enable programs for sequential diagnosis in medicine to emulate the reasoning processes of human diagnosticians.
Abdomen, Acute Adult