人工智能实验报告-王皓算法.docxVIP

《人工智能》实验二题目王浩算法的实现1. 实验内容：实现命题逻辑框架内的王浩算法。⑴ 将命题逻辑中的王浩算法推广至下述命题语言的情形之下:ⅰ 命题变量符号：，，，ⅱ 逻辑连接符：，，，，ⅲ 间隔符：，⑵ 在上述⑴中所定义的命题语言中实现王浩算法。2. 实验目的熟练掌握命题逻辑中的王浩算法。3.数据结构与算法设计public class Wanghao（）//主体类public void input()//输入字符，将输入字符归类的函数public void judge()//判断公式是恒真还是恒假的函数public void move(int l,int r)//加入王浩算法的核心公式，public void output()//输出函数public void reasoning()//用于推理判断的函数public void simplify()}//化简class alp（）{//字符串的匹配，分配alp (char fuhao,char zimu)alp(){}}4.源代码import java.io.BufferedReader;import java.io.InputStreamReader;import java.io.IOException;import java.util.Vector;public class Wanghao {Vectorterm left = new Vectorterm();Vectorterm right = new Vectorterm();public static void main (String args[]) {Wanghao w = new Wanghao();w.input();w.huajian();w.tuili();w.judge();}public void input() {BufferedReader br = new BufferedReader(new InputStreamReader(System.in));String words = new String();System.out.println(请输入公式行: (例如： p-~(qr)||p-r ));try{words = br.readLine();}catch(IOException e){System.out.println(input error);System.exit(0);}char ch[] = words.toCharArray();for(int i = 0 ; i ch.length ; i ++) {if(ch[i] == ~ || ch[i] == - || ch[i] == || ch[i] == |) {term t = new term();t.fuhao = ch[i++];t.zimu = ch[i];right.add(t);}else if(ch[i] == ) {term t = new term();t.fuhao = ch[i++];t.zimu = ch[i++];right.add(t);}else {term t = new term();t.fuhao = $;t.zimu = ch[i];right.add(t);}}}public void output() {for(int i=0;ileft.size();i++){System.out.print(left.elementAt(i).toString());if(left.elementAt(i).fuhao == )System.out.print();}System.out.print(=);for(int i=0;iright.size();i++){System.out.print(right.elementAt(i).toString());if(right.elementAt(i).fuhao == )System.out.print();}System.out.println();}public void huajian() {for(int i = 0;i right.size();i++) {if(right.elementAt(i).fuhao != right.elementAt(i).fuhao != | right.elementAt(i).fuhao != )continue;else if(right.elementAt(i).fuhao == ) {int count = 0;for(int j = i-1;j = 0;j--){if(right.elementAt(j).zimu == ))count++;else if(right