A model of diagnostic reasoning based on the hypothetico-deductive reasoning strategies used by doctors is presented. The model includes strategies for confirming a likely diagnostic hypothesis, eliminating alternative hypotheses, and discriminating between competing hypotheses. There is also a mechanism for recognising when there is sufficient evidence to support a firm diagnosis. An implementation of the model in an environment providing integrated support for knowledge acquisition, diagnostic reasoning and explanation is described.