精品大学课件--人工智能导论-马少平(清华)--人工智能.pptxVIP

第四章 谓词演算及应用;4.1 归结原理;化子句集的方法;化子句集的方法（续1）;化子句集的方法（续2）;化子句集的方法（续3）;;4.2 归结方法（命题逻辑）;归结的例子;;4.3 谓词逻辑的归结原理;;;合一算法;谓词逻辑的归结方法;归结举例;;;例题得归结树;4.4 基于归结的问答系统;~AT(Fido, x2);提取回答的过程;例：猴子摘香蕉问题;问题的表示;问题的子句集;~HB(s5);归结方法小结;4.5 基于规则的正向演绎系统;事实表达式的与或形及其表达;事实的与或树表示;应用规则对与或图作变换;命题逻辑的情况;((P ? Q) ? R) ? (S ? (T ? U));例： 事实：A ? B 规则集： A ? C ? D B ? E ? G 目标公式： C ? G;谓词逻辑的情况;例：事实：P(x, y) ? (Q(x, A) ? R(B, y)) 规则集： P(A, B) ? (S(A) ? X(B)) Q(B, A) ? U(A) R(B, B) ? V(B) 目标：S(A) ? X(B) ? U(A) ? V(B);一致解图;一致置换举例;举例;~D(F) ? (B(F) ? I(F));正向演绎系统小结;4.6 基于规则的逆向演绎系统;例： 事实： D(F) ~B(F) W(F) M(N) 规则： R1: (W(x1) ? D(x1)) ? F(x1) R2: (F(x2) ? ~B(x2)) ? ~A(y2, x2) R3: D(X3) ? A(x3) R4: C(x4) ? A(x4) R5: M(x5) ? C(x5) 目标： C(x) ? D(y) ? ~A(x, y);一致性检查;4.7 一些深入的问题;4.8 正、逆向系统对比;结束;