admin 管理员组

文章数量: 1087135


2024年4月30日发(作者：传输层)

《人工智能》

实验大作业

实验题目：

归结原理

专业 信息与计算科学

年级

091001

姓名

马昊

学号

091001106

指导老师

时华

日期

2012-12-5

实验三归结原理

一、实验目的

在本实验中，主要熟悉和掌握归结原理的基本思想和基本方法，

通过实验培养了我们利用逻辑方法表示知识，并掌握采用机器推理来

进行问题求解的基本方法。

二、实验要求

1.熟悉归结原理的基本思想和归结否证的步骤；

2.本实验JAVA语言编程实现实验内容；

3.利用所学的知识及实验结果，来完成实验报告的各项内容。

三、实验背景知识

归结原理是一种推理规则。从谓词公式转化为子句集的过程中看

出，在子句集中子句之间是合取关系，其中只要有一个子句不可满足，

则子句集就不可满足。若一个子句集中包含空子句，则这个子句集一

定是不可满足的。归结原理就是基于这一认识提出来的。

他的原理就是：P->Q,Q->R则P->R由于P->Q就是￢P∨Q 而

Q->R就是￢Q∨R所以，他相当于将Q和￢Q合并。也就是说， P

∨{∑1}与~P∨{∑2}可以归结为{∑1}∨{∑2}其中∑1,∑2是文字的

集合归结否证包含以下步骤：

（1） 把前提或公理转换成子句形式；

（2） 把求证目标的否定的子句形式加到公理集合中；

（3） 对所有这些子句进行归结，产生它们的逻辑结果子句；

（4） 用产生空子句的方法来得出矛盾；


本文标签： 子句 实验 归结 基本 原理

版权声明：本文标题：实验三 归结原理 内容由网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：http://roclinux.cn/b/1714464205a681298.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。