人工智能第2章(知识表示方法3-谓词逻辑).pptVIP

3、合一算法 分歧集（或不一致集合）的定义。 设有一非空有限公式集合 F = {F1 , … , Fn}，从 F中各个公式的第一个符号同时向右比较，直到发现第一个彼此不尽相同的符号为止，从 F 中的各个公式中取出那些以第一个不一致符号开始的最大的子表达式为元素，组成一个集合 D ，称为 F 的分歧集（不一致集合）。 其中，F i ( i=1 , … , n)是原子谓词公式 例：公式集：F={P(x , g( f(y , z) , x) , y), P(x , g( a , b) , b) , P(x , g( g(h(x) , a) , y) , h(x))} 分歧集为： D={f(y , z) , a , g(h(x) , a)} 设 F 为非空有限表达式集合，则可以按下列步骤求出 mgu： ① 置 k=0 ，Fk = F ,σk=ε(空置换，即不含元素的置换)。 ② 若 Fk 只有一个表达式，则算法终止，其中σk就是要求的mgu。 ③ 找出 Fk 的分歧集 Dk 。 合一算法： ④若 Dk 中存在元素 ak 和 tk ，其中 ak 是变元，tk是项，且 ak 不在 tk 中出现，则置： σk+1 =σk { tk / ak } Fk+1 = Fk { tk / ak } k = k+1 然后转向②。否则，继续。 ⑤算法终止，F的 mgu 不存在。 合一算法的流程图 k=0, Fk=F,σk=ε |Fk|＝1？ 求得mgu、结束 求出不一致集合 有置换？ 求出新置换；更新公式集合与旧置换，k++ 无解、结束 说明： 1、合一算法是消解原理的基础。 2、合一算法中的公式集就是从谓词合适公式化成的子句集。 例：求F={ P(a , x , f(g(y))), P(z , h(z , u) , f(u))}的最一般的合一者。 解：我们根据合一算法一步一步地求出mgu。 第一步：k = 0, F0= F, σ0=ε F0的分歧集合D0={a , z} 置换：{a/z} σ1 =σ0{a/z} = {a/z} F1 = F0 {a/z} = { P(a , x , f(g(y))), P(a , h(a , u) , f(u))} k=1 F1 不是单一表达式 F={P(a,x,f(g(y)))， P(z,h(z,u),f(u))}} 第二步：D1＝{x , h(a,u)} 置换：{h(a , u)/x} σ2＝σ1{h(a , u)/x}={a/z , h(a , u)/x} F2=F1{h(a , u)/x} ={P(a , h(a , u) , f(g(y))), P(a , h(a , u) , f(u))} k=2 F={P(a,x,f(g(y)))， P(a,h(a,u),f(u))}} 第三步：D2＝{g(y) , u} 置换：{g(y)/u} σ3＝σ2{g(y)/u}={a/z , h(a,g(y))/x , g(y)/u} F3=F2{g(y)/u}={P(a , h(a , g(y)) , f(g(y)))} k=3 F={P(a, h(a,u), f(g(y)))， P(a, h(a,u), f(u))}} F3是单一表达式，所以 σ3＝{a/z , h(a , g(y))/x , g(y)/u} 是 F 的最一般合一者 例：F={Q(f(a) , g(x)) , Q(y , y)}是否可合一？ 第一步：k=0, F0=F, σ0=ε F0的分歧集合D0={f(a) , y} 置换：{f(a)/y} σ1＝σ0{f(a)/y}={ f(a)/y }