人工智能自动推理(第3部分-归结原理及其应用).pptVIP

这样所要证明的定理就是： 那么首先求出 和 的子句形，再求它们的并，便得到子句集合 ： 那么子句集 对命题逻辑应用归结原理的重要步骤是在一个子句中找出与另一子句中的某个文字互补的文字。对于不含变量的子句是容易做到的。当子句中含有变量时，问题要复杂很多。如研究子句 中没有文字与 中的任何文字互补。但是若 在 中用 置换x，在 中用a置换y，便得出 其中 和 分别是 和 的基例。从上述例子可以看到，用适当的项置换 和 的变量可以产生新子句。 3.3.2 置换和合一 Substitution and Unification 定义3.5 置换(substitution)是形为 的有限集合，其中 是互不相同的变量，是不同于 的项（可以为常量、变量、函数） 表示用 置换 ，不允许 与 相同，也不允许 循环地出现在另一个 中。 当 是基项时，置换称为基置换(ground substitution)。不含任何元素的置换称为空置换(Null substitution)，用 表示。 例如