原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
第4章 确定性推理 ;4.1 推理的基本概念;4.1.1 什么是推理;4.1.2 推理方法及其分类 1. 按推理的逻辑基础分类(1/4);4.1.2 推理方法及其分类 1. 按推理的逻辑基础分类(2/4);4.1.2 推理方法及其分类 1. 按推理的逻辑基础分类(3/4);4.1.2 推理方法及其分类 1. 按推理的逻辑基础分类(4/4);4.1.3 推理的控制策略及其分类;4.1.4 正向推理 推理算法;把初始证据放入DB;4.1.4 正向推理 推理例子;4.1.4 正向推理 优缺点;4.1.5 逆向推理 推理算法;初始化DB和假设集;4.1.5 逆向推理 推理例子;4.1.5 逆向推理 优缺点;4.1.6 混合推理;第4章 确定性推理 ;4.2 推理的逻辑基础;4.2.1 谓词公式的解释 概念;4.2.1 谓词公式的解释 例子一(1/2);4.2.1 谓词公式的解释 例子一(2/2);4.2.1 谓词公式的解释 例子二;4.2.2 谓词公式的永真性和可满足性;4.2.3 谓词公式的等价性和永真蕴含性 1. 等价式(1/2);4.2.3 谓词公式的等价性和永真蕴含性 1. 等价式(2/2);4.2.3 谓词公式的等价性和永真蕴含性 2. 永真蕴含式;4.2.4 谓词公式的范式;4.2.5 置换与合一 概念;4.2.5 置换与合一 1. 置换(1/2);4.2.5 置换与合一 1. 置换(2/2);4.2.5 置换与合一 2. 合一;第4章 确定性推理 ;4.3 自然演绎推理;4.3 自然演绎推理;4.3 自然演绎推理;第4章 确定性推理 ;4.4 归结演绎推理;4.4 归结演绎推理;4.4.1 子句集及其化简 1. 子句和子句集;4.4.1 子句集及其化简 2. 子句集的化简（1/6）;4.4.1 子句集及其化简 2. 子句集的化简（2/6）;4.4.1 子句集及其化简 2. 子句集的化简（3/6）;4.4.1 子句集及其化简 2. 子句集的化简（4/6）;4.4.1 子句集及其化简 2. 子句集的化简（5/6）;4.4.1 子句集及其化简 2. 子句集的化简（6/6）;4.4.1 子句集及其化简 3. 子句集的应用（1/4）;4.4.1 子句集及其化简 3. 子句集的应用（2/4）;4.4.1 子句集及其化简 3. 子句集的应用（3/4）;4.4.1 子句集及其化简 3. 子句集的应用（4/4）;4.4.2 鲁滨逊归结原理 1. 基本思想;4.4.2 鲁滨逊归结原理 2. 命题逻辑的归结（1/8）;4.4.2 鲁滨逊归结原理 2. 命题逻辑的归结（2/8）;4.4.2 鲁滨逊归结原理 2. 命题逻辑的归结（3/8）;4.4.2 鲁滨逊归结原理 2. 命题逻辑的归结（4/8）;4.4.2 鲁滨逊归结原理 2. 命题逻辑的归结（5/8）;4.4.2 鲁滨逊归结原理 2. 命题逻辑的归结（6/8）;4.4.2 鲁滨逊归结原理 2. 命题逻辑的归结（7/8）;4.4.2 鲁滨逊归结原理 2. 命题逻辑的归结（8/8）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（1/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（2/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（3/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（4/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（5/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（6/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（7/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（8/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（9/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（10/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（11/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（12/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（13/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（14/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（15/16）;4.4.2 鲁滨逊归结原理 3. 谓词逻辑的归结（16/16）;4.4.3 归结演绎推???的归结策略;4.4.3 归结演绎推理的归结策略 1. 广度优先策略（1/3）;4.4.3 归结演绎推理的归结策略 1. 广度优先策略（2/3）;4.4.3 归结演绎推理的归结策略 1. 广度优先策略（3/3）;4.4.3 归结演绎推理的归结策略 2. 支持集策略（1/3）;4.4.3 归结演绎推理的归结策略
文档评论（0）