- 1、本文档共23页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
河南城建学院
《人工智能》实验报告
实验名称:实现基于谓词逻辑的归结原理
成 绩:____
专业班级:?
学 号:
姓 名:
实?验?日?期 :20 14 年 05 月 13日
实验器材: 一台装PC机。
实验目的
熟练掌握使用归结原理进行定理证明的过程,掌握基于谓词逻辑的归结过程中,子句变换过程、替换与合一算法、归结过程及简单归结策略等重要环节,进一步了解机器自动定理证明的实现过程。
实验要求
对于任意给定的一阶谓词逻辑所描述的定理,要求实现如下过程:(1) 谓词公式到子句集变换;(2) 替换与合一算法;(3) 在某简单归结策略下的归结。
实验步骤
步1 设计谓词公式及自居的存储结构,即内部表示。注意对全称量词?x和存在量词?x可采用其他符号代替;
步2 实现谓词公式到子句集变换过程;
步3 实现替换与合一算法;
步4 实现某简单归结策略;
步5 设计输出,动态演示归结过程,可以以归结树的形式给出;
步6 实现谓词逻辑中的归结过程,其中要调用替换与合一算法和归结策略。
代码
谓词公式到子句集变换的源代码:
#include<iostream>
#include<sstream>
#include<stack>
#include<queue>
using namespace std;
//一些函数的定义
void initString(string &ini);//初始化
string del_inlclue(string temp);//消去蕴涵符号
string dec_neg_rand(string temp);//减少否定符号的辖域
string standard_var(string temp);//对变量标准化
string del_exists(string temp);//消去存在量词
string convert_to_front(string temp);//化为前束形
string convert_to_and(string temp);//把母式化为合取范式
string del_all(string temp);//消去全称量词
string del_and(string temp);//消去连接符号合取%
string change_name(string temp);//更换变量名称
//辅助函数定义
bool isAlbum(char temp);//是字母
string del_null_bracket(string temp);//删除多余的括号
string del_blank(string temp);//删除多余的空格
void checkLegal(string temp);//检查合法性
char numAfectChar(int temp);//数字显示为字符
//主函数
void main()
{
cout<<"------------------求子句集九步法演示-----------------------"<<endl;
system("color 0A");
//orign = "Q(x,y)%~(P(y)";
//orign = "(@x)(P(y)>P)";
//orign = "~(#x)y(x)";
//orign = "~((@x)x!b(x))";
//orign = "~(x!y)";
//orign = "~(~a(b))";
string orign,temp;
char command,command0,command1,command2,command3,command4,command5,
command6,command7,command8,command9,command10;
//=============================================================================
cout<<"请输入(Y/y)初始化谓词演算公式"<<endl;
cin>>command;
if(command == 'y' || command == 'Y')
initString(orign);
else
exit(0);
//=============================================================================
cout<<"请输入(Y/y)消除空格"<<endl;
cin>>command0;
if(command0 == 'y' || command0 == 'Y')
{
//del_bla
您可能关注的文档
- 消防疏散应急救援预案.doc
- 小间距LED显示屏解决方案报告书实例.doc
- 小论文-如何变废为宝论垃圾的回收处理与再利用.doc
- 小数的大小比较教(学)案.doc
- 小箱梁预制施工组织设计方案.doc
- 小学奥数周期问题(五年级).doc
- 小学教师聘用合同范本书.doc
- 小学生家访记录文稿-小学生家访记录文稿内容.doc
- 小学生心理健康教育辅导记录文稿表.doc
- 小学生学习方法指导研究方案.doc
- 2022-2023学年山东省临沂市蒙阴县实验中学联考数学试题试卷含解析.doc
- 2022-2023学年安徽舒城桃溪中学高考适应性测试(3月1日)数学试题含解析.doc
- 2022-2023学年安徽省青阳县第一中学高三第五次月考数学试题试卷数学试题含解析.doc
- 牛呼吸道疾病综合征病原PCR检测技术规范.pdf
- 大庆市野生鸟类疫源疫病监测技术规范.pdf
- fresh线性代数作业解决问题.pdf
- 005a1630模拟电子技术基础教学大纲.pdf
- 2022-2023学年安徽省阜阳市临泉县第一中学高三第二次高考模拟考试数学试题试卷含解析.doc
- 2022-2023学年山东省临沂市兰陵县第一中学高三5月联考数学试题含解析.doc
- samsung专有内容可能会更改electrical part list电气零件清单.pdf
1亿VIP精品文档
相关文档
最近下载
- 神经病学课件:头痛完整版.ppt VIP
- DCC安装形式介绍.docx
- 病理形态实验学(东南大)中国大学MOOC慕课 章节测验 客观题答案.docx
- 中南大学2020-2021学年第2学期《资产评估学》期末考试试卷(A卷)含参考答案.docx
- 2024年中考道德与法治时政热点专题:爆火的哈尔滨旅游背后思考.pptx
- [遥感智能计算与信息提取]-遥感大数据认知与计算-第2讲.pptx VIP
- 2023年辽宁省中考生物试卷真题(含答案).docx
- 中外运物流方案.pptx VIP
- 养羊与羊病防制 任务五 羔羊培育、断奶鉴定及分群 50-断奶羊的分群(田得红).ppt
- 《民国往事》读后感.pdf VIP
文档评论(0)