资源描述：
《人工智能实验报告-2-王浩算法》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、人工智能基础实验报告实验题目：王浩算法姓名：薛晓波学号：2220152080班级：软件工程2015-2班指导老师：邓安生老师完成日期：2017年11刀23日一、实验内容实现命题逻辑框架内的王浩算法。（1）将命题逻辑中的王浩算法推广至下述命题语言的情形之下:i命题变量符号：，，，ii逻辑连接符：，，，，iii间隔符：，（2）在上述⑴中所定义的命题语言中实现王浩算法。二、实验目的及要求1•目的：熟练掌握命题逻辑中的王浩算法2.要求：（1）实验题冃必须由个人独立完成，允许自行参考相关文献资料，但严禁同学间相互拷贝和抄袭程序以及文档资料。实验结束后一周内上交实验报告和实验文
2、档资料。（2）提交的文档资料包括设计文档和程序源代码。设计文档和程序源代码以书而文档方式提供（用A4纸打印）；并提交电子文档备查。3.实验环境：WindowslO4bit+SWI-Prolog二、实验思路1•主要思路王浩算法实质上是一个反向推理的过程，它将给定的公式化成合取范式，然后通过判断每个子句是否恒真的来判定给定的公式是否是恒真的。2•主要函数（1）init（）：主要作用是负责将符号初始化成树的结构。（2）clone（）：复制一棵完全相同的符号树。（3）restruct（）：查找所有&,
3、,<・〉等符号，并将其拆分成新形式：！，・>符号。（4）searchin
4、g（）：王浩算法的主体（5）show（）和output。：主要用于输出符号串和推理过程四、实验结果及代码•CUserstW®DeslrtopJi50i^I^fi2&Debugmain.exe*品;梦验证的式子(p->(q->r))->((p・>q)->(p->r))分听结束.等式为真Cl>p=>r,q,p^2>rt,p=>r,pC3>q,p=>r,q⑷!P,P=>r»q(5>p=>r,p,p<6>r,q,p=>r〈7》“!p,p=>r⑻p・>q,ps>r,q〈9：qp=>r,pno>!p,p二>r.p(ll>r,p->q,ps>rC12>!q,p->q
5、,p=>rC13>p->q,p=>r,p由<10>和<9>根据规则<3〉推岀CU>q->r>p->q,p=>r由<12>和<11〉根据规则<3>推岀<15>!p,p->q,P=>r由<13>根据规则<2〉推出C16>p->(q->r),p->q,p=>r由<15>和<14>根据规则<3>推岀公理公理公理由＜1＞根据规则＜2＞推岀公理公理由⑵根据规则⑵推岀由＜4＞和＜3＞根据规则＜3〉推岀公理由＜5＞根据规则＜2＞推出由＜7〉和〈6＞根据规则＜3＞推岀由＜8＞根据规则＜2＞推岀^l7>p->(q->r),p->q=>!p,r^18>p->(q->r),p->q=>p-
6、>rJ9>p->(q->r)=>!(p->q),p->r：20>p・>(q・〉T)=>(p->q)->(p->r)"2l>®>!(p->(q->r)),(p->q)->(p->r)：22>=>(p->(q->r))->((p・〉q)->(p->r))青输入要验证的式子由＜16＞根据规则＜1＞推出由＜17＞根由＜18＞根由＜19＞根据规则＜4＞推岀由＜20＞根据规贝Yl＞推出由＜21＞根据规贝Y4＞推岀S：#include#includestructnumber{charright[400];charleft[400];intru
7、le;intfather[2];}；numberst[60];intid=l;voidmoveright(intstart){intnu=1;while(st[id+nu].right[O]!=NULL
8、
9、st[id+nu].left[O]!=NULL)nu++;intw=start+l,b,fan=0;for(inta=O;st[id].left[a]!=NULL;a++)st[id+nu].left[a]=st[id].left[a];讦(a!=0){st[id+nu].left[a]=7;a++;}if(st[id].right[w]=='('){for(b=
10、l;st[id].right[w+b]!=NULL;b++){if(st[id].right[w+b]=='(')fan++;elseif(st[id].right[w+b]==')'&&fan==O)break;elseif(st[id].right[w+b]=-)')fan-;st[id+nu]」eft[a+b-l]=st[id].right[w+b];}}else{for(b=0;st[id].right[w+b]!=NULL;b++){if(st[id].right[w+b]==,(,)fan++;elseif(st[id].right[w+b]==7&
