39、身份知识表示的可判定性与复杂性

身份知识表示的可判定性与复杂性

1. 知识模式最小化

知识模型中知识模式的最小化对于提高知识模式评估效率至关重要，进而能提升知识模型的整体性能。由于知识模式由模式公式和模式关系构成，其最小化包含两个方面：
1. 模式公式的最小化 ：对于同一模式 $S$ 上的两个公式 $\phi_1$ 和 $\phi_2$，若对于 $S$ 的每个数据库实例 $I$，都有 $\phi_1(I) \subseteq \phi_2(I)$，则称 $\phi_1$ 包含于 $\phi_2$，记作 $\phi_1 \subseteq \phi_2$；若 $\phi_1 \subseteq \phi_2$ 且 $\phi_2 \subseteq \phi_1$，则称 $\phi_1$ 和 $\phi_2$ 等价，记作 $\phi_1 \equiv \phi_2$。合取公式具有一些有趣的性质，例如确定合取公式之间的等价性和包含性是 NP 完全问题，查询最小化是 NP 难问题。由于模式公式实际上就是合取公式，因此可以用表查询最小化的方法来处理模式公式的最小化问题。
2. 模式关系中冗余元组的去除 ：
- 示例 ：考虑模式 $P_4 = \langle \phi_4, r_4 \rangle$，其中 $\phi_4$ 与示例 1 中定义的 $\phi_1$ 相同，$r_4$ 如下所示：
| $A_{z1}$ | $A_{x2}$ | $A_{x3}$ | $A_{y2}$ | $A_{y3}$ | $A^*$ |
| ---- | ---- | ---- | ---- | ---- | ---