[理学]第三章-王士同版

[理学]第三章-王士同版第三章 谓词逻辑与归结原理华北电力大学 计算机系刘丽2013-8-191第三章 谓词逻辑与归结原理归结原理概述 命题逻辑的归结法 谓词逻辑归结基础 归结原理 归结过程的控制策略2013-8-192归结 推理命题 逻辑谓词逻 辑herbrand 定理数理 逻辑命题逻辑 归结基本 概念谓词逻辑 归结原理skolem标准型、 子句集合一和置换、 控制策略2013-8-193第三章 谓词逻辑与归结原理归结原理概述 命题逻辑的归结法 谓词逻辑归结基础 归结原理 归结过程的控制策略2013-8-194概述-推理技术 确定知识表达方法将知识表示出来并存储到计算机中 利用知识来解决实际问题 利用知识进行推理是知识利用的基础；是问题求解的主要 手段如专家系统、智能机..