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

摘要

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