第3章 节 确定性推理 人工智能原理及其应 电子教案.ppt

第3章 确定性推理 ;3.1 推理的基本概念;3.1.1 什么是推理;3.1.2 推理方法及其分类1. 按推理的逻辑基础分类(1/4);3.1.2 推理方法及其分类1. 按推理的逻辑基础分类(2/4);3.1.3 推理的控制策略及其分类;3.1.4 正向推理推理算法;把初始证据放入DB;3.1.4 正向推理推理例子;3.1.4 正向推理优缺点;3.1.5 逆向推理推理算法;初始化DB和假设集;3.1.5 逆向推理推理例子;3.1.5 逆向推理优缺点;3.1.6 混合推理;第3章 确定性推理 ;3.2 推理的逻辑基础;3.2.1 谓词公式的解释概念;3.2.1 谓词公式的解释 例子一(1/2);3.2.1 谓词公式的解释 例子一(2/2);3.2.1 谓词公式的解释 例子二;3.2.2 谓词公式的永真性和可满足性;3.2.3 谓词公式的等价性和永真蕴含性1. 等价式(1/2);3.2.3 谓词公式的等价性和永真蕴含性 1. 等价式(2/2);3.2.3 谓词公式的等价性和永真蕴含性2. 永真蕴含式;3.2.4 谓词公式的范式;3.2.5 置换与合一概念;3.2.5 置换与合一1. 置换(1/2);3.2.5 置换与合一2. 置换(2/2);3.2.5 置换与合一2. 合一;第3章 确定性推理 ;3.3 自然演绎推理;3.3 自然演绎推理;3.3 自然演绎推理;第3章 确定性推理 ;3.4 归结演绎推理;3.4 归结演绎推理;3.4.1 子句集及其化简1. 子句和子句集;3.4.1 子句集及其化简2. 子句集的化简（1/6一）;3.4.1 子句集及其化简2. 子句集的化简（2/6）;3.4.1 子句集及其化简2. 子句集的化简（3/6）;3.4.1 子句集及其化简2. 子句集的化简（4/6）;3.4.1 子句集及其化简2. 子句集的化简（5/6）;3.4.1 子句集及其化简2. 子句集的化简（6/6）;3.4.1 子句集及其化简3. 子句集的应用（1/4）;3.4.1 子句集及其化简3. 子句集的应用（2/4）;3.4.1 子句集及其化简3. 子句集的应用（3/4）;3.4.1 子句集及其化简3. 子句集的应用（4/4）;3.4.2 鲁滨逊归结原理1. 基本思想;3.4.2 鲁滨逊归结原理2. 命题逻辑的归结（1/8）;3.4.2 鲁滨逊归结原理2. 命题逻辑的归结（2/8）;3.4.2 鲁滨逊归结原理2. 命题逻辑的归结（3/8）;3.4.2 鲁滨逊归结原理2. 命题逻辑的归结（4/8）;3.4.2 鲁滨逊归结原理2. 命题逻辑的归结（5/8）;3.4.2 鲁滨逊归结原理2. 命题逻辑的归结（6/8）;3.4.2 鲁滨逊归结原理2. 命题逻辑的归结（7/8）;3.4.2 鲁滨逊归结原理2. 命题逻辑的归结（8/8）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（1/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（2/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（3/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（4/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（5/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（6/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（7/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（8/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（9/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（10/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（11/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（12/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（13/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（14/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（15/16）;3.4.2 鲁滨逊归结原理3. 谓词逻辑的归结（16/16）;3.4.3 归结演绎推理的归结策略;3.4.3 归结演绎推理的归结策略1. 广度优先策略（1/3）;3.4.3 归结演绎推理的归结策略1. 广度优先策略（2/3）;3.4.3 归结演绎推理的归结策略1. 广度优先策略（3/3）;3.4.3 归结演绎推理的归结策略2. 支持集策略（1/3）;3.4.3 归结演绎推理的归结策略2. 支持集策略（2/3）;3.4.3 归结演绎推理的归结策略2. 支持集策略（3/3）;3.4.5 归结演绎推理的归结策略3. 删除策略