人工智能PPT课件（共9章）第4章 推理技术.pptxVIP

第四章　基本的推理技术;本章基本内容及要求;4.1推理技术概述 ;演绎推理、归纳推理、默认推理;演绎推理、归纳推理、默认推理;枚举法归纳推理;枚举法归纳推理;类比法归纳推理 ;演绎推理、归纳推理、默认推理;确定性推理、不精确推理;确定性推理、不精确推理;单调推理、非单调推理;单调推理、非单调推理;启发式推理、非启发式推理;推理的控制策略 推理方向 搜索策略 冲突解决策略 ;推理方向;正向推理 ;正向推理 ;正向推理;反向推理 ;反向推理 ;反向推理;例;正向推理示例图;反向推理示例图;正反向混合推理 ;搜索策略 ;冲突解决策略 ;4.2 归结反演系统 ;回顾：命题逻辑与谓词逻辑;命题与谓词;命题公式和谓词公式;等价公式;等价公式(续);等价公式(续);范式;自然演绎推理;自然演绎推理-例1;自然演绎推理-例2;自然演绎推理-例2;自然演绎推理-例2;自然演绎推理优缺点;归结原理 ;归结原理－基本思想;归结原理－基本思想;归结原理－基本思想;基本术语;谓词公式转化为子句集;谓词公式转化为子句集;谓词公式转化为子句集;;;;谓词公式化为子句集的方法;谓词公式化为子句集的方法;谓词公式化为子句集的方法;命题逻辑的归结;命题逻辑的归结;命题逻辑的归结;谓词逻辑的归结;置换与合一;置换运算的法则 以S={t1/x1,t2/x2,…… ,tn/xn}对表达式E进行置换而得到的新表达式记为E ?S, 规则如下: E中变量xi(i=1,…,n)均用ti置换; 对所有变量只能一次同时置换完毕. 例: E=P(x) ∨ Q(y) ∨ R(x) ∨ W(z) S={x/y, A/x} P(A) ∨ Q(x) ∨ R(A) ∨ W(z) P(x) ∨ Q(x) ∨ R(x) ∨ W(z) P(A) ∨ Q(A) ∨ R(A) ∨ W(z);置换的合成 设有置换S1={t1/x1, …… ,tn/xn} S2={u1/y1, …… ,um/ym}, 则: S=S1?S2={t1?S2/x1,……,tn?S2/xn, u1/y1, …… ,um/ym}为S1和S2的合成 ti?S2(i=1,……,n)表示S1中的项ti关于S2 进行置换后而得到的新项. 如果在S1?S2中出现xi=yk (i=1,……,n;k=1,……,m), 则应从S中删去所有的 uk/yk. 若ti?S2=xi(i=1,……,n), 则应将ti?S2/xi从S中删除.;例1 ： 　　 S1={f(y)/x, A/z} 　S2={B/x, B/y} S1?S2={f(y)?S2/x, A?S2/z, B/x, B/y} ={f(B)/x, A/z, B/y} ;置换与合一;例3 E=R(x) V Q(y) V W(z), S1, S2和S同上 E?S1=R(f(y)) V Q(z) V W(z) (E?S1)?S2=R(f(B)) V Q(y) V W(y) E?S=R(f(B)) V Q(y) V W(y) 性质：(S1?S2)?S3=S1?(S2?S3) (E?S1)?S2=E?(S1?S2) ;合一 定义：对于表达式的集合{E1,E2,…,EK}, 如果存在一个置换S, 使得E1?S=E2?S=…=EK?S, 则称{E1,E2,…,EK}是可合一的, S称为{E1,E2,…,EK}的合一者. 例: 表达式集{P(x, f(y), B), P(x, f(B), B)} S={A/x, B/y} P(x, f(y), B)?S=P(x, f(B), B)?S =P(A, f(B), B);置换与合一;求mgu的算法——UNIFY(E1,E2);(11) end (12) F1? E1的第一个元素, T1? E1的其余元素 (13) F2? E2的第一个元素, T2? E2的其余元素 (14) Z1? UNIFY(F1, F2) (15) if Z1=FAIL return FAIL (16) G1? Z1作用到T1的结果 (17) G2? Z1作用到T2的结果 (18) Z2? UNIFY(G1, G2) (19) if Z2=FAIL return FAIL (20) return Z1和 Z2的合成;={g(f(A))/y,f(A)/u,A/x};归结原理;归结原理-例4.2;归结原理-例4.3(多子句归结);归结原理-含有变量的子句的归结;归结原理-含有变量的子句的归结;定理证明的思路;归结反演;否定;例：归结反演;例：归结反演;归结反演-例;归结反演-例;归结反演-例;归结反演-