8、错误识别与系统结构基础

错误识别与系统结构基础

1. 错误识别方法与案例分析

1.1 错误识别方法

当推导结果与现实存在明显冲突时，需要检查所使用的规则、模型和过程的有效性。可以借助流程图来识别错误，该流程有助于系统地排查问题。

1.2 二进制数加法案例

1.2.1 案例描述

对象集合 $U = {u1 = (1 + 1 = 2), u2 = (1 + 1 = 10), u3 = (1 + 0 = 1)}$，规则集合 $G = {g1 = (0 + 0 = 0), g2 = (0 + 1 = 1), g3 = (1 + 0 = 1), g4 = (1 + 1 = 10)}$。在时间 $t0$ 时，给出了推导结果状态、应有的状态和真实状态。

1.2.2 专家评审

• 对于 $u1 = (1 + 1 = 2)$，专家根据错误定义得出 $f = f (u1 = (1 + 1 = 2), G) = 1$，因为 $u1$ 与 $g4$ 矛盾，所以 $u1$ 在规则 $G$ 下是错误的。
• 对于 $u2 = (1 + 1 = 10)$，$f = f (u2 = (1 + 1 = 10), G) = 0$，$u2$ 在规则 $G$ 下是正确的。
• 对于 $u3 = (1 + 0 = 1)$，$f = f (u3 = (1 + 0 = 1), G) = 0$，$u3$ 在规则 $G$ 下是正确的。

1.2.3 逻辑推理

根据错误定义，$f = f (u1 = (1 + 1 = 2), G ) = ( 1, if p