基于模型的实质诊断

在扩展的因果理论上,基于模型的实质诊断的刻画具有一般性,适用于已知每个部件的各种行为方式情形下的诊断.对于需逻辑推出的观测子集取空集和整个观测集这两种极端情形,本方法则可得到基于一致性实质诊断和实质溯因诊断.同时还论证了该诊断过程与本原蕴涵/蕴涵式的直接关系,从而将其与算法实现联系起来.