人工智能原理教案02章归结推理方法2归结推理方法.pptxVIP

第二章 归结推理方法;课前指导;;归结推理知识结构;2.1 归结原理概述;定理证明的实质与困难;归结法的特点;归结法基本原理;归结法和其它推理方法的比较 ;2.2 命题逻辑的归结;命题例子;命题表示公式（1）;命题表示公式（2）;数理逻辑的基本定义;数理逻辑的基本等值式（24个）;;合取范式;子句集;2.2.2 命题逻辑的归结;归结式是原两子句的逻辑推论;命题逻辑的归结法推理过程;归结步骤;;2.3 谓词逻辑归结法基础;前束范式;;2.3.1 Skolem 标准形;消去量词;;;2.3.2子句集;子句集S的求取;定理：谓词表达式G是不可满足的，当且仅当 其子句集S是不可满足的。;谓词归结子句形;求取子句集的例子（1）;求取子句集的例子（2）;2.4 归结原理;;;;2.4.1 合一和置换;定义：置换的乘法（合成）;置换的合成;合 一;最一般合一;2.4.2 归结式;归结式的注意事项;求谓词逻辑归结式的例子;2.4.3 归结过程;例题2-4：　快乐学生问题;;归结原理;2.5 归结过程控制策略;;2.5.1 删除策略;;2.5.2 采用支撑集策略名词解释：支撑集：设有不可满足子句集S的子集T，如果S-T是可满足的，则T是支持集。t2-4_swf.htm;支持集策略的语义归结过程;2.5.3 语义归结策略;3）归结过程：;2.5.4 线性归结策略线性归结? 完备 图2－5 线性