基于一致性的中心诊断及中心溯因诊断

本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画。将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤。不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系，而且论证了中心溯因诊断与本原蕴含／蕴含式的直接关系。显示出基于一致性的中心诊断空间和中心溯因诊断空间不仅可同时计算，而且可用ＡＴＭＳ这类算法来计算，从而将我们的理论结果与实现联系起来。

KERNEL CONSISTENCY-BASED DIAGNOSIS AND KERNEL ABDUCTIVE DIAGNOSIS

This paper characterizes the process of abductive diagnosis and that of kernel abductive diagnosis. The process of kernel abductive diagnosis is divided into two steps, i. e., conflict recognition which is relevant to the area, and candidate generation which is irrelevant to the area. The relationship between kernel consistency-based diagnosis and kernel abductive diagnosis is pointed out, and the direct association between kernel abductive diagnosis and the prime implicants/implicates is proved. These demonstrate that not only the space of kernel consistency-based diagnosis and that of kernel abductive diagnosis can be computed simultaneously,but also can be computed by algorithms such as the ATMS.