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

最近，许多学者意识到了将因果关系这一概念应用于基于模型的诊断领域的重要性。然而，他们的研究只局限于简单因果理论。文中提出的广义因果理论包容了更多的信息。文中指出：广义因果理论的诊断空间小于等于相应简单因果的诊断空间。并给出了当待诊断系统的模型为广义因果理论时的基于模型的诊断、基于模型的实质诊断等概念，论证了基于模型的实质诊断与本原蕴含／蕴含式的直接关系，从而将文中的理论结果与实现联系起来。文中进一

MODEL-BASED DIAGNOSIS OF A GENERAL CAUSAL THEORY

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.