广义因果理论的基于模型的诊断  

MODEL BASED DIAGNOSIS OF A GENERAL CAUSAL THEORY

作　　者：欧阳丹彤[1,2] 姜云飞[1,2] 

机构地区：[1]吉林大学计算机科学系 [2]中山大学计算机软件研究所

出　　处：《计算机研究与发展》1999年第1期31-35,共5页Journal of Computer Research and Development

基　　金：国家自然科学基金;国家教委博士点基金

摘　　要：最近，许多学者意识到了将因果关系这一概念应用于基于模型的诊断领域的重要性．然而，他们的研究只局限于简单因果理论．文中提出的广义因果理论包容了更多的信息．文中指出：广义因果理论的诊断空间小于等于相应简单因果理论的诊断空间．并给出了当待诊断系统的模型为广义因果理论时的基于模型的诊断、基于模型的实质诊断等概念，论证了基于模型的实质诊断与本原蕴含／蕴含式的直接关系，从而将文中的理论结果与实现联系起来．文中进一步指出，对广义因果理论的基于一致性实质诊断和实质溯因诊断的刻画仅仅是文中所给出的刻画的两个特殊情形．Recently,many researchers have noticed the importance of applying the concept of causation to model based diagnosis.However,their researches are limited to simple causal theory.Here proposed is the concept of general causal theory which contains more information.It is pointed out that the diagnosing space of a general causal theory is smaller than or equal to that of the corresponding simple causal theory.Also given are the concepts of model based diagnosis and kernel model based diagnosis when the model of the system to be diagnosed is general causal theory.Then it is demonstrated that the direct relationship between kernel model based diagnosis and the prime implicants/implicates.Therefore,the theoretical results in the paper can be linked with implementation.Furthermore,it is pointed out that the characterizations of kernel consistency based diagnosis and kernel abductive diagnosis of general causal theory are the only two special cases of the characterization.

关 键 词：广义因果理论 实质诊断 蕴含式 常识推理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]