人工智能实验报告-王浩算法的实现

《人工智能实验报告-王浩算法的实现》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、《人工智能》实验二题目王浩算法的实现1.实验内容：实现命题逻辑框架内的王浩算法。⑴将命题逻辑中的王浩算法推广至下述命题语言的情形之下:ⅰ命题变量符号：，，，ⅱ逻辑连接符：，，，，ⅲ间隔符：，⑵在上述⑴中所定义的命题语言中实现王浩算法。2.实验目的熟练掌握命题逻辑中的王浩算法。3.数据结构与算法设计publicclassWanghao（）//主体类publicvoidinput()//输入字符，将输入字符归类的函数publicvoidjudge()//判断公式是恒真还是恒假的函数publicvoidmove(intl,intr)//加入王浩算法的核心公式，publicvoidoutput(

2、)//输出函数publicvoidreasoning()//用于推理判断的函数publicvoidsimplify()}//化简classalp（）{//字符串的匹配，分配alp(charfuhao,charzimu)alp(){}}4.源代码importjava.io.BufferedReader;importjava.io.InputStreamReader;importjava.io.IOException;importjava.util.Vector;publicclassWanghao{Vectorleft=newVector();Vector

3、>right=newVector();publicstaticvoidmain(Stringargs[]){Wanghaow=newWanghao();w.input();w.huajian();w.tuili();w.judge();}publicvoidinput(){BufferedReaderbr=newBufferedReader(newInputStreamReader(System.in));Stringwords=newString();System.out.println("请输入公式行:(例如：p->~(q&&r)

4、

5、p<->r)");try{words=

6、br.readLine();}catch(IOExceptione){System.out.println("inputerror");System.exit(0);}charch[]=words.toCharArray();for(inti=0;i

7、

8、ch[i]=='-'

9、

10、ch[i]=='&'

11、

12、ch[i]=='

13、'){termt=newterm();t.fuhao=ch[i++];t.zimu=ch[i];right.add(t);}elseif(ch[i]=='<'){termt=newterm();t.fuhao=ch[

14、i++];t.zimu=ch[i++];right.add(t);}else{termt=newterm();t.fuhao='$';t.zimu=ch[i];right.add(t);}}}publicvoidoutput(){for(inti=0;i");}System.out.print("=>");for(inti=0;i

15、++){System.out.print(right.elementAt(i).toString());if(right.elementAt(i).fuhao=='<')System.out.print(">");}System.out.println();}publicvoidhuajian(){for(inti=0;i

16、'&&right.elementAt(i).fuhao!='<')continue;elseif(right

17、.elementAt(i).fuhao=='&'){intcount=0;for(intj=i-1;j>=0;j--){if(right.elementAt(j).zimu==')')count++;elseif(right.elementAt(j).zimu=='(')count--;if(count==0){right.add(j,newterm('~','('));break;}}i++;right.elementAt(i).