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

第四章 谓词演算及应用;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 正、逆向系统对比;结束;;1、有时候读书是一种巧妙地避开思考的方法。4月-204月-20Tuesday, April 28, 2020 2、阅读一切好书如同和过去最杰出的人谈话。08:15:4108:15:4108:154/28/2020 8:15:41 AM 3、越是没有本领的就越加自命不凡。4月-2008:15:4108:15Apr-2028-Apr-20 4、越是无能的人，越喜欢挑剔别人的错儿。08:15:4108:15:4108:15Tuesday, April 28, 2020 5、知人者智，自知者明。胜人者有力，自胜者强。4月-204月-2008:15:4108:15:41April 28, 2020 6、意志坚强的人能把世界放在手中像泥块一样任意揉捏。28 四月 20208:15:41 上午08:15:414月-20 7、最具挑战性的挑战莫过于提升自我。。四月 208:15 上午4月-2008:15April 28, 2020 8、业余生活要有意义，不要越轨。2020/4/28 8:15:4108:15:4128 April 2020 9、一个人即使已登上顶峰，也仍要自强不息。8:15:41 上午8:15 上午08:15:414月-20 10、你要做多大的事情，???该承受多大的压力。4/28/2020 8:15:41 AM08:15:4128-4月-20 11、自己要先看得起自己，别人才会看得起你。4/28/2020 8:15 AM4/28/2020 8:15 AM4月-204月-20 12、这一秒不放弃，下一秒就会有希望。28-Apr-2028 April 20204月-20 13、无论才能知识多么卓著，如果缺乏热情，则无异纸上画饼充饥，无补于事。Tuesday, April 28, 202028-Apr-204月-20 14、我只是自己不放过自己而已，现在我不会再逼自己眷恋了。4月-2008:15:4128 April 202008:15