人工智能原理教法02节 归结推理方法2归结推理方法.pptVIP

第二章 归结推理方法 课前指导 2.1 归结原理概述 2.2 命题逻辑的归结 2.3 谓词逻辑归结法基础 2.4 归结原理 2.5 归结过程控制策略 2.6 Herbrand定理 章节小结 课前指导 【学习目标】　　本章主要讨论命题逻辑和一元谓词逻辑的归结推理方法。同学需要在熟练掌握一般逻辑知识的基础上，学习Skolem标准形和Herbrand定理，从而对归结原理有一个比较透彻的了解。 【学习指南】　　在学习新知识的同时回顾以前所学的一般逻辑知识。对所涉及的概念和方法不要死记硬背，对于比较抽象的概念，可以通过比较简单的例子来理解。 【难重点】　　应该熟练掌握把逻辑公式的合取范式、Skolem标准形的转化方法、归结法进行归结的过程，掌握线性归结、支撑集归结等归结策略。 【知识点】 ◇ 归结方法的特点、与其它推理方法的比较 ◇ 命题逻辑基础，前束范式，约束变量换名规则 ◇ Skolem标准形的定义，子句和子句集，定理的内容及推广 ◇ H域、H解释、语义树 ◇ 合一和置换，归结过程 ◇ 归结法的控制策略的原则及基本方法。 归结推理知识结构 2.1 归结原理概述 归结原理由J.A.Robinson于1965年提出，又称为消解原理。该原理是Robinson在Herbrand理论基础上提出的一种基于逻辑的、采用反证法的推理方法。由于其理论上的完备性，归结原理成为机器定理证明的主要方