人工智能确定性推理.pptVIP

3.3 谓词逻辑 3.3.5 置换与合一 1. 置换 ? 置换的定义 定义3.12 置换是形如{t1/x1,t2/x2,…,tn/xn}的一个有限集。其中xi是变量，ti是不同于xi的项（常量，变量，函数），且xi ?xj（I?j），i，j=1,2,…,n 。 第三十页，共八十三页。 3.3 谓词逻辑 例如，{a/x,b/y,f(x)/z}，{f(z)/x,y/z}都是置换。 不含任何元素的置换称为空置换，以?表示。 ? 置换乘法 置换乘法作用是将两个置换合成为一个置换。 定义3.13假设 ?={t1/x1,t2/x2,…,tn/xn} ?={u1/y1,u2/y2,…,um/ym} 是两个置换，则它们的乘积是一个新置换，其作用于公式E时，相当于先?后λ对E的作用。它的定义如下： 第三十一页，共八十三页。 3.3 谓词逻辑 先作置换{t1· ?/x1,t2· ?/x2,…,tn· ? /xn,u1/y1,u2/y2,…,um/ym}。 若yi?{ x1,…,xn}时，先从上述集合中删除ui/yi 。 若 ti· ? =xi时，再从上述集合中删除ti· ? /xi 。 删除以后剩下元素所构成的集合称作?与?的乘积，记作? · ? 。 ? 置换结合率 一般地说，下列的置换结合律成立 (? · ?) · ?= ?