不确定因果理论的基于模型诊断

Model-based Diagnosis of an Uncertain Causal Theory

给出当待诊断系统的模型为不确定因果理论时 ,基于模型诊断和模型中心诊断等概念 ,论证基于模型中心诊断与 U -S本原蕴涵 /蕴涵式的直接关系 ,并且根据知识不确定程度对候选诊断进行排序 .

The paper gives the concepts of model based diagnosis and kernel model based diagnosis when the models of the system to be diagnosed are uncertain causal theory and demonstrates the direct relationship between kernel model based diagnosis and U S prime implicants/implicates, and the ordering for candidate diagnoses according to their degree of uncertainty. Furthermore, it is pointed out that the characterizations of kernel consistency based diagnosis and kernel abductive diagnosis of the classical causal theory are the two special cases of the corresponding diagnosis.