逻辑门处理表示二值之一的信号：真（1）或假（0）。表7-3描述该例中使用的逻辑门类型。

表7-3 逻辑门

图7-9给出了互连逻辑门的设备拓扑。设备有8个输入标以A～H。另外，设备有3个输出标以X、Y和Z。所有信号从左流向右，因此箭头或有方向的连接没有示在图中但蕴涵其中。正如图中所示，有两个差异，一个在X，一个在Y。X期望值为（1）但得到的却是[0]。另外，Y期望为（1）但得到的是[0]。

(www.daowen.com)

图7-9 设备的逻辑门

我们如何确定哪个部件有故障？首先，规则2告诉我们在推测集中仅包含差异的上游部件。不幸的是，这包含设备的所有逻辑门，因此这个规则不会增加更深的理解。但是，规则3免除NOT-4，AND-4和OR-3，因为它们都是一致输出的上游部件。最后，规则4让我们贯穿两个推测集，X（NOT-1，OR-1，NOT-2，AND-1，OR-2）和Y（NOT-2，NOT-3，AND-2，AND-3）。只有一个部件为两个推测集的一元，即NOT-2。

为了确定NOT-2（实际上就是故障部分），我们可能希望研究它的输入和输出（另外，这可以确定故障屏蔽没有发生）。因为它的输入是假（0），它的期望输出应该是真（1）。通过探索它正返回一个为假的输出，我们将建立Not-2是形成故障行为的原因。

总之，记住基于模型的诊断的重点是有一个预报设备假定做什么的模型。当预报与设备真实工作之间存在差异时，基于模型的推理技术倒推工作可以找到故障部分。在给定的例子中，因为我们从设备的结构进行推理确定哪个部件有故障，所以我们使用的是基于模型的推理。我们已经使用基于启发的方法，正如一个传统的基于规则专家系统，将我们的诊断程序编制成一套IF-THEN规则，在这些规则中能观测的差异行为是与指定的系统状态相关的。这种方法必须预见到所有可能的方面，一个特定的部件会出故障，并且它与一个特定的差异联系起来。甚至在本节所阐述的简单的设备里，这也会很耗时且困难的任务。正如这些例子所显示的，基于模型的方法在提供对排除故障任务的深入理解和规则范围方面更有效。