模式匹配
下面我们给出合一的概念： 设有公式集F={F1，F2，…,Fn},若存在一 个代换使得F1 = F2 =…= Fn 则称为公式集F的一个合一，且称 F1，F2，…,Fn是可合一的。
模式匹配
例如F=P（x,y), ={a/x,g(a)/y} 求公式F在下的例式为 F = P（a,g(a)) 对于公式集F={P（x,y，f(y)),P(a,g(x),z)} 则 ={a/x,g(a)/y，f(g(a))/z}是公式F的一个 合一。
模式匹配
例如设有如下代换： ={f(y)/x,z/y} ={a/x,b/y,y/z} 求 º和 º 解：我们先来求
模式匹配
={f(y) /x, z /y, a/x,b/y,y/z} ={f(b) /x, y /y, a/x,b/y,y/z}去掉不合法的元 素： y /y（条件１） a/x,b/y（条件２） 于是 º＝ {f(b) /x,y/z}
统计推理是根据对某事物的数据统计进 行推理。例如，对农作物的产量进行统 计，从而得出是否增产的结论，从而找
５、基于知识的推理、统计推理、直觉推理
出增产和减产的原因。就是运用了统计 推理。
直觉推理又称常识性推理，是根据常识 进行的推理。例如，当你从某建筑物下 走过时，猛然发现有一物体坠落，这时 你立即就会意识到这有危险，并立即躲 开，这就是使用了直觉推理。目前直觉 推理在计算机上的实现还是一件很困难 的工作。
模式匹配
再来求 º，同样先求 ＝{a /x, b /y, y /z, f(y)/x,z/y} ={a /x, b /y,z/z, f(y)/x,z/y} 去掉不合法的元素z/z,f(y)/x,z/y得 º={a /x, b /y} 显然代换的复合运算是不可交换的。并 且对任何代换存在空代换，并且 º＝ º＝
