人工智能合一算法UNify

第 1 页 2021-8-5

—算法实现

一、作业目的：

用某一种编程语言实现合一算法。

二、首先把教材中的 Unify 算法表述如下：

算法 unify (E1, E2)

1 、if E1 或 E2 是一个原子(即一个谓词符号、函数符号、常量、否定符

第 2 页 2021-8-5

7 、return {E2 / E1}

8、 End

9 、if E2 是一个变量 return {E1 / E2}

10、 return FAIL

11、 end

12、F1←E1 的第一个元素，T1←E1 的其余元素

13、 F2←E2 的第一个元素，T2←E2 的其余元素

14、 Z1←unify(F1, F2)

15、 if Z1=FAIL return FAIL

16、G1←Z1 作用到 T1 的结果

其中：ti/vi 为对vi的任何出现用ti代替

①置换要求： 某变量的每次出现均用同一个项来代替

②变量不可用含有同一个变量的项代替（如：f(x)/x））

注意这也就是上面的合一算法中会失败的一种主要的

情况！！！见结果截图的最后一种不能合一的情况！

用S对表达式E置换后的例记为：Es

第 3 页 2021-8-5

例：对P(x, f(y), B)用以下个置换作用后得到的置换例如下：

置换 置换例

1. S1={z/x, w/y} Es1=P(z,f(w),B)

2. S2={A/y} Es2=P(x,f(A),B)

设：置换S={A/x,B/y}，置换结果为{P(A,f(B),B)}

∴该子句集是可以合一的，S为合一者。

最一般合一者：表达形式最简单的合一者为最一般合一者，记：

mgu g

本程序就是利用以上的 Unify 算法来求两个表达式的最一般合一

者，并把它们输出显示！！！

三、程序源码及说明