摘要: This paper presents a form of reasoning called" hypothetico-deduction”, that can be used to address the problem of multiple explanations which arises in the application of abduction to knowledge assimilation and diagnosis.In a framework of hypothetico-deductive reasoning the knowledge is split into the theory T and observable relations S which may be tested through experiments. The basic idea behind the reasoning process is to formulate and decide between alternative hypotheses. This is performed through an interaction between the theory and-the-actual observations. The technique allows this interaction to be user mediated, permitting the acquisition of further information through experimental tests. Abductive explanations which have all their empirical consequences observed are said to be" fully corroborated".