第三节谓词逻辑归结原理 1.主要内容 (1)归结原理概述 (2)Skolem标准型 (3)子句集 (4)置换与合 (5)归结式 (6)归结过程 (7)归结讨程控制策路 2.基本概念和知识点 原子公式，合适公式，二个重要的推理规则，前束范式，合取前束范 式，公式标准化，文字，字句，合一、项，表达式的例，置换，合成 置换，合一者，最一般合一者。 3.问题与应用（能力要求） 问题：逆向推理与正向推理的区别有哪些？要求学生完成本节学习后 (1)掌握规则演绎系统的定义和正向推理、逆向推理的过程，了解规 则双向演绎系统。 (2)通过本节学习，能将规则演绎系统术应用于解决比较简单的系统 和问题的能力 融入点：让学生自己进行总结，提升思维和总结归纳能力，了解社会 主义核心价值观，提升学生的自我成长。 (三)思考与实践 思考题1：什么叫合适公式？合适公式有哪些等价关系？ (四)教学方法与手段 借助多媒体课件采用集中面授的方式进行。 第四章知识表示 (一)目的与要求 1.通过知识表示的若干方法讲授，使学生对不同的表示方法的知识表示单 位，推理机理，知识库的建立，应用范围有所了解，并能够灵活应用这 些表示方法到实际问颗。 (二)教学内容 第一节概述 1.主要内容 (1)知识 (2)知识表示8 第三节 谓词逻辑归结原理 1．主要内容 (1) 归结原理概述 (2) Skolem 标准型 (3) 子句集 (4) 置换与合一 (5) 归结式 (6) 归结过程 (7) 归结过程控制策略 2．基本概念和知识点 原子公式，合适公式，二个重要的推理规则，前束范式，合取前束范 式，公式标准化，文字，字句，合一、项，表达式的例，置换，合成 置换，合一者，最一般合一者。 3．问题与应用（能力要求） 问题：逆向推理与正向推理的区别有哪些？要求学生完成本节学习后， （1）掌握规则演绎系统的定义和正向推理、逆向推理的过程，了解规 则双向演绎系统。 （2）通过本节学习，能将规则演绎系统术应用于解决比较简单的系统 和问题的能力 融入点：让学生自己进行总结，提升思维和总结归纳能力，了解社会 主义核心价值观，提升学生的自我成长。 （三）思考与实践 思考题 1：什么叫合适公式?合适公式有哪些等价关系? （四）教学方法与手段 借助多媒体课件采用集中面授的方式进行。 第四章 知识表示 （一）目的与要求 1.通过知识表示的若干方法讲授，使学生对不同的表示方法的知识表示单 位，推理机理，知识库的建立，应用范围有所了解，并能够灵活应用这 些表示方法到实际问题。 （二）教学内容 第一节 概述 1．主要内容 (1) 知识 (2) 知识表示