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

第二章 归结推理方法;课前指导;;归结推理知识结构;2.1 归结原理概述;定理证明的实质与困难;归结法的特点;归结法根本原理;归结法和其它推理方法的比较 ;2.2 命题逻辑的归结;命题例子;命题表示公式〔1〕;命题表示公式〔2〕;数理逻辑的根本定义;数理逻辑的根本等值式〔24个〕;;合取范式;子句集;2.2.2 命题逻辑的归结;归结式是原两子句的逻辑推论;命题逻辑的归结法推理过程;归结步骤;;2.3 谓词逻辑归结法根底;前束范式;;2.3.1 Skolem 标准形;消去量词;;;;子句集S的求取;定理：谓词表达式G是不可满足的，当且仅当 其子句集S是不可满足的。;谓词归结子句形;求取子句集的例子〔1〕;求取子句集的例子〔2〕;2.4 归结原理;2021/7/11;2021/7/11;2021/7/11;2.4.1 合一和置换;定义：置换的乘法〔合成〕;置换的合成;合 一;最一般合一;2.4.2 归结式;归结式的本卷须知;求谓词逻辑归结式的例子;2.4.3 归结过程;例题2-4：　快乐学生问题;;归结原理;2.5 归结过程控制策略;;2.5.1 删除策略;;2.5.2 采用支撑集策略名词解释：支撑集：设有不可满足子句集S的子集T，如果S-T是可满足的，那么T是支持集。;支持集策略的语义归结过程;2.5.3 语义归结策略;3〕归结过程：;2.5.4 线性归结策略线性归结? 完备 图2－5 线性归结策略示意图;例 S={P ∨ Q，～P ∨ Q，P ∨～Q， ～P∨～Q};2.5.5 单元归结策略;单元归结的例子;2.5.6 输入归结策略;;2.6 Herbrand定理;2.6.1 Herbrand 定理概述;2.6.1.1 Herbrand 定理思想;2.6.1.2 H域;H域和D域关系示意图如以下图表示。图2－1 H域与D域关系;H域例题;原子集A;2.6.1.3 H解释;几个术语的定义;关于基例;;Herbrand定理 〔H解释〕;;;2.6.2 语义树与Herbrand定理;语义树的意义;例1 设子句集S的原子集 ? A={P,Q,R};语义树中的几个定义;例：S＝{～P(x)∨Q(x)，P(f(y))，～Q(f(y))}，画出其语义树。; 前面图2-2所示的完全语义树便具有每个分枝上都有失败结点这样的性质，从而是一棵封闭的语义树。如果从图2-2剪去所有失败结点以下的分枝，便得相应的封闭语义树，见左图2-3。t2-3_swf.htm;一个简单的语义树的倒塌过程例 S={P,～P∨Q,～P∨～Q}A={P,Q},画出语义树T和相应的封闭树T* (见图2.4)。;???结与语义树“倒塌〞过程;Herbrand定理;结束语;2021/7/11;【章节小结】;9、 人的价值，在招收诱惑的一瞬间被决定。7月-217月-21Sunday, July 11, 2021 10、低头要有勇气，抬头要有低气。11:02:0511:02:0511:027/11/2021 11:02:05 AM 11、人总是珍惜为得到。7月-2111:02:0511:02Jul-2111-Jul-21 12、人乱于心，不宽余请。11:02:0511:02:0511:02Sunday, July 11, 2021 13、生气是拿别人做错的事来惩罚自己。7月-217月-2111:02:0511:02:05July 11, 2021 14、抱最大的希望，作最大的努力。11 七月 202111:02:05 上午11:02:057月-21 15、一个人炫耀什么，说明他内心缺少什么。。七月 2111:02 上午7月-2111:02July 11, 2021 16、业余生活要有意义，不要越轨。2021/7/11 11:02:0511:02:0511 July 2021 17、一个人即使已登上顶峰，也仍要自强不息。11:02:05 上午11:02 上午11:02:057月-21