中文摘要：

为找到故障系统的真实诊断,讨论了候选诊断和真实诊断之间的关系,定义了诊断系统的可采纳性并证明基于一致性的诊断是可采纳的.在此基础上,给出一种基于一致性的诊断测试方法.在执行测试之后,所获得的关于真实诊断的信息是单调递增的,直到真实诊断被包含在极小诊断集合中;一旦极小诊断集合包含真实诊断,所有的测试都会支持真实诊断,而可能排除其它的候选诊断.

英文摘要：

For finding the actual diagnosis of the faulty system, this paper discusses the relationship between the candidate of diagnosis and the set of the actual faulty components. Then we define the notion of adoptability of the diagnostic system and prove that the consistency-based diagnosis is adoptable. On the basis of the above works, a diagnosis test method based on consistency is proposed. As results of this paper, the obtained information about the actual diagnosis is monotonously increased after the execution of the test, until the actual diagnosis is included in the set of minimal diagnoses; once the actual diagnosis is included in the set of minimal diagnoses, it would be confirmed by any tests which may refute other diagnoses.