关于爱情的归结.pdfVIP

篇一 : 《实现基于谓词逻辑的归结原理》 河南城建学院 《 人工智能 》实验报告 实验名称实验三 实现基于谓词逻辑的归结原理 成绩___ 专业班级 0814112 学号 081411243 姓名 王占垒 实 验 日 期 2014 年 5 月 13 日 实验器材 计算机 一、 实验目的 熟练掌握使用归结原理进行定理证明的过程，掌握基于谓词逻辑的归结过程 中，子句的变换过程、替换与合一算法、归结过程及简单归结策略等重要环节， 进一步了解机器自动定理证明的实现过程。 二、 实验要求 对于任意给定的一阶谓词逻辑所描述的定理，要求实现如下过程 谓词公式到子句集的变换； 替换与合一算法； 在某简单归结策略下的归结。 三、 实验步骤 设计谓词公式及子句的存储结构，即内部表示。注意对全称量词 x 和存在 量词可采用其他符号代替； 实现