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

"人工智能原理教案02章 归结推理方法2归结推理方法.pptx" 本节课主要讨论人工智能原理中的归结推理方法，包括命题逻辑和谓词逻辑的归结方法。学生需要在熟练掌握一般逻辑知识的基础上，学习 Skolem 标准形和 Herbrand 定理，从而对归结原理有一个比较透彻的了解。 学习目标 * 掌握命题逻辑和谓词逻辑的归结方法 * 了解 Skolem 标准形和 Herbrand 定理 * 能够熟练掌握归结原理和其它推理方法的比较 学习指南 * 在学习新知识的同时回顾以前所学的一般逻辑知识 * 对所涉及的概念和方法不要死记硬背，对于比较抽象的概念，可以通过比较简单的例子来理解 * Should be familiar with the conversion of logical formulas to clausal form, Skolem standard form, and Herbrand theorem 难重点 * 应该熟练掌握把逻辑公式的合取范式、Skolem 标准形的转化方法、归结法进行归结的过程 * 掌握线性归结、支撑集归结等归结策略 知识点 * 归结方法的特点、与其它推理方法的比较 * 命题逻辑基础，前束范式，约束变量换名规则 * Skolem 标准形的定义，子句和子句集，定理的内容及推广 * H 域、H 解释、语义树 * 合一和置换，归结过程 * 归结法的控制策略的原则及基本方法 归结推理知识结构 2.1 归结原理概述 * 归结原理由 J.A.Robinson 于 1965 年提出，又称为消解原理 * 该原理是 Robinson 在 Herbrand 理论基础上提出的一种基于逻辑的、采用反证法的推理方法 * 归结原理成为机器定理证明的主要方法 2.2 命题逻辑的归结 * 命题逻辑基础 * 逻辑可分为经典逻辑和非经典逻辑 * 归结原理是一种主要基于谓词（逻辑）知识表示的推理方法，而命题逻辑是谓词逻辑的基础 2.3 谓词逻辑归结法基础 * 谓词逻辑是基于谓词（逻辑）的知识表示的推理方法 * 归结原理是谓词逻辑的一种主要推理方法 2.4 归结过程控制策略 * 归结过程控制策略是指在推理过程中控制归结的步骤和方向 * 归结过程控制策略的原则及基本方法 2.5 归结法的控制策略的原则及基本方法 * 归结法的控制策略的原则及基本方法是指在推理过程中控制归结的步骤和方向 * 归结法的控制策略的原则及基本方法是指在推理过程中控制归结的步骤和方向 Herbrand 定理 * Herbrand 定理是指在谓词逻辑中，一个公式是否为永真式的判定方法 * Herbrand 定理是谓词逻辑的一种主要推理方法 Skolem 标准形 * Skolem 标准形是指在谓词逻辑中，一个公式是否为永真式的判定方法 * Skolem 标准形是谓词逻辑的一种主要推理方法 归结法的特点 * 归结法是一种基于逻辑的、采用反证法的推理方法 * 归结法是谓词逻辑的一种主要推理方法 * 归结法的特点是指它是一种基于逻辑的、采用反证法的推理方法 归结法和其它推理方法的比较 * 归结法是一种基于逻辑的、采用反证法的推理方法 * 归结法与其它推理方法的比较是指在推理过程中，归结法与其他推理方法的优缺点和特点的比较 定理证明的实质与困难 * 定理证明的实质是指在推理过程中，证明一个公式是否为永真式的方法 * 定理证明的困难是指在推理过程中，证明一个公式是否为永真式的困难 Herbrand 理论 * Herbrand 理论是指在谓词逻辑中，一个公式是否为永真式的判定方法 * Herbrand 理论是谓词逻辑的一种主要推理方法