原创力文档- 1、本文档共67页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
推 理;事 实;推理的基本问题;推理方法的分类;推理控制策略;推理控制策略分类;推理方向;正向推理;逆向推理;混合推理;混合推理的实现方法;混合推理的适用场合;冲突消解策略;自然演绎推理;归结演绎推理;子句和子句集;谓词公式转化为子句集;化子句集例;化子句集例（续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
文档评论（0）