人工智能第三章确定性推理.pptVIP

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 。 删除以后剩下元素所构成的集合称作?与?的乘积，记作? · ? 。 ? 置换结合率 一般地说，下列的置换结合律成立 (? · ?) · ?= ? ·(? · ?) 但除了空置换外，置换的交换律不成立。即只有?·?=?·? = ? 。 第三十一页，共八十一页。 3.3 谓词逻辑 2. 合一 ? 合一的概念 定义3.14 设有公式集{E1,E2,…,En}和置换θ ，使 E1 θ = E2 θ =…=En θ 便称E1，E2，…，