华中科技大学人工智能第四章确定性推理讲义.pptVIP

推 理;事 实;推理的基本问题;推理方法的分类;推理控制策略;推理控制策略分类;推理方向;正向推理;逆向推理;混合推理;混合推理的实现方法;混合推理的适用场合;冲突消解策略;自然演绎推理;归结演绎推理;子句和子句集;谓词公式转化为子句集;化子句集例;化子句集例（续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