合一算法的Python实现--人工智能

本文链接：https://blog.csdn.net/Zhangguohao666/article/details/105571115

考察 合一算法
代码没写GUI，因为不喜欢这玩意，直接在终端中进行人机交互
代码写的较为冗余，主要还是我没动力了，不想优化了，因为调试代码已经把我榨干了

文章目录

合一算法是什么？
- 由来
- 合一算法
思路及代码

合一算法是什么？

由来

如何解决 谓词演算归结 的一个问题，即决定那两个子句是否为亲本子句。例如，下面两个文字
是否能够成为亲本子句呢？

L(f(x)) ∨ L(A)

～L(B)

合一算法正是为此而来

合一算法

在谓词逻辑中，一个表达式的项是 常量符号、变量符号或函数式。

表达式的 例示(instance) 是指在表达式中用项来置换变量而得到特定的表达式，用来
置换的项称为置换项。
在归结过程中，寻找项之间合适的变量置换使表达式一致的过程，称为合一过程，简称合一(Unify)。

定义1：若存在一个代换s，使得二个文字L₁与L₂进行代换后，有 L₁s = L₂s，即 L₁与～L₂为互补文字，则L₁与L₂为可合一的。这个代换s称为合一元(unifier)。

代换的使用：

只能用项（常量，变量或函数符号）t 去代换变量 x在公式中的一切出现，代换记为s = t/x，对一个公式F的作s代换记为Fs。显然，f(x)、A、B之间不存在代换。
任一被代换的变量不能出现在用作代换的表达式中。{g(x)/x}不是代换。
代换并非唯一。

看一个例子，对于F= P(x, f(y), B)，存在四种代换：

s1 = {z/x, w/y}，则Fs1 = P(z, f(w), B)   (较一般的代换)

s2 = {A/y}，则Fs2 = P(x, f(A), B)

s3 = {g(z)/x, A/y}，则Fs3 = P(g(z), f(A), B)

s4 = {C/x, A/y}，则Fs4 = P(C, f(A), B)   (限制最严的代换）

s4称为基例示，因为作替换后不再含有变量。

定义2：表达式集合 {E1, … , Er} 的合一元σ称为是最一般合一元(most general unifier 简写为 mgu)，当且仅当对集合的每一个合一θ都存在代换λ使得θ=σ·λ，即任何代换都可以由σ再次代换而来。

看一个例子，表达式集合{P(x), P(f(y))}是可合一的，其最一般合一元为{f(y)/x}。因为对此集合的合一元θ = {f(a)/x, a/y}，有代换 λ = {a/y}，使θ = σ·λ = {f(y)/x}·{a/y}

再看一个例子，

思路及代码

代码实现之前的准备

为实现方便，可规定将每个文字和函数符表达成一个表，表中第一元素为谓词名，其余元素为变元。
- P(x, y) 表示成 (P x y )，f(x) 表示成 (f x )。
- 若变元为函数，则该变元为一个子表，子表中第一元素为函数名。如：P(f(x), y) 表示成 (P ( f x ) y )，这样谓词和函数都统一表示成表。
判断两个文字能否合一，则要判断它们所对应的表的各个项是否能够匹配，判断两个表项匹配的规则为：
- 变量可与常量、函数或变量匹配；
- 常量与常量，函数与函数，谓词与谓词相等才可以匹配。不同的常量，函数，谓词之间不能匹配；
判断两个文字能否合一，还必须判断表示文字的表的长度必须相等，并且谓词是否相同。
例如：P( x , y ) 化成表形式为 (P x y )，其长度为3；
Q( x , y , g(z) ) 化成表形式为 (Q x y (g z))，其长度为4。

合一算法Unify(L1, L2)

若L₁或L₂为一原子，则执行
- 若L₁和L₂恒等，则返回NIL
- 若L₁为一变量，则执行：
  - 若L₁出现在L₂中，则返回F；否则返回（L₂/ L₁）
- 若L₂为一变量，则执行：
  - 若L₂中出现在L₁中，则返回F；否则返回（L₁/ L₂）
- 否则返回F
若length（L₁）不等于length（L₂），则返回F。
置SUBST（替代）为NIL，在结束本过程时，SUBST将包含用来合一L₁和L₂的所有代换。
对于i：=1 到L₁的元素数|L₁|，执行
- 对合一L₁的第 i 个元素和L₂的第 i 个元素调用UNIFY，并将结果放在S中。
- 若S = F，则返回F 。
- 若S不等于NIL，则执行：把S应用到L₁和L₂的剩余部分；SUBST：=APPEND(S, SUBST)。返回SUBST。

合一过程Unify(L₁, L₂)

输入：
L₁, L₂ 为表示成为表的两个谓词
例如：P(x, y) 输入为 (P x y )，
f(x) 输入为 (f x )；
P(f(x), y) 输入为 (P ( f x ) y )
输出：
如果找到代换，一张代换表作为其返回的值；
如果返回空表NIL，表示可以匹配，但无需任何代换；
如果返回由F值组成的表，则说明合一过程失败。

代码：

import re

"""
处理从键盘中读取的文字，返回列表
- 中文字符切换为英文
- 括号转化为列表
- 空格转为逗号
- 函数名一律转为大写字母
"""
def handleWord(word):
    # 中文字符切换为英文; 空格转为逗号
    word = word.replace('（', '[').replace('）', ']').replace('(', '['