人工智能5第五章确定性推理.pptx

第四章 确定性推理;4.1 确定性推理概述;推 理;事 实;推理的基本问题;推理方法的分类;演绎推理;归纳推理;默认推理;推理过程的单调性;推理控制策略;推理控制策略分类;推理方向;正向推理;逆向推理;混合推理;混合推理的实现方法;混合推理的适用场合;冲突消解策略;自然演绎推理;归结演绎推理;子句和子句集;谓词公式转化为子句集;化子句集例;化子句集例（续1）;化子句集例（续2）;化子句集例（续3）;归结(消解)原理基本思想;归结原理分类;归结式;消解过程举例;命题逻辑的消解推理举例;谓词逻辑的消解推理举例;消解反演;命题逻辑消解反演的例子;命题逻辑消解反演的例子（续）;谓词逻辑消解反演的例子;~AT(Fido, x);基于消解原理的问答系统;用消解原理解猴子摘香蕉问题;猴子摘香蕉问题的表示;猴子摘香蕉问题的子句集;~HB(s5);归结反演的搜索策略;排序策略;限制策略;删除策略;纯文字删除法;重言式删除法;包孕删除法;支持集策略;线性输入策略;祖先过滤策略;消解方法小结;基于规则的演绎推理（一）;基于规则的演绎推理(二);基于规则的正向演绎推理;化目标公式为子句集;事实表达式的与或图表示;将规则变换为限定形式;对与或图作变换例;((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));基于规则的逆向演绎推理;化目标表达式为与或形;目标表达式化为与或形举例;目标表达式的与或图表示;逆向演绎例： 事实： 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);正、逆向系统对比;The End;9、春去春又回，新桃换旧符。在那桃花盛开的地方，在这醉人芬芳的季节，愿你生活像春天一样阳光，心情像桃花一样美丽，日子像桃子一样甜蜜。7月-217月-21Sunday, July 18, 2021 10、人的志向通常和他们的能力成正比例。01:21:2401:21:2401:217/18/2021 1:21:24 AM 11、夫学须志也，才须学也，非学无以广才，非志无以成??。7月-2101:21:2401:21Jul-2118-Jul-21 12、越是无能的人，越喜欢挑剔别人的错儿。01:21:2401:21:2401:21Sunday, July 18, 2021 13、志不立，天下无可成之事。7月-217月-2101:21:2401:21:24July 18, 2021 14、Thank you very much for taking me with you on that splendid outing to London. It was the first time that I had seen the Tower or any of the other famous sights. If Id gone alone, I couldnt have seen nearly as much, because I wouldnt have known my way about. 。18 七月 20211:21:24 上午01:21:247月-21 15、会当凌绝顶，一览众山小。七月 211:21 上午7月-2101:21July 18, 2021 16、如果一个人不知道他要驶向哪头，那么任何风都不是顺风。2021/7/18 1:21:2401:21:2418 July 2021 17、一个人如果不到最高峰，他就没有片刻的安宁，他也就不会感到生命的恬静和光荣。1:21:24 上午1:21 上午01:21:247月-21