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

《人工智能》实验二题目
王浩算法的实现
1. 实验内容:
实现命题逻辑框架内的王浩算法。
⑴将命题逻辑中的王浩算法推广至下述命题语言的情形之下:
ⅰ命题变量符号:,,,
ⅱ逻辑连接符:,,,,
ⅲ间隔符:,
⑵在上述⑴中所定义的命题语言中实现王浩算法。
2. 实验目的
熟练掌握命题逻辑中的王浩算法。

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(){}}

import ;
import ;
import ;
import ;
public class Wanghao {
Vector<term> left = new Vector<term>();
Vector<term> right = new Vector<term>();
public static void main (String args[]) {
Wanghao w = new Wanghao();
();
();
();
();
}
public void input() {
BufferedReader br = new BufferedReader(new InputStreamReader());
String words = new String();
("请输入公式行: (例如: p->~(q&&r)||p<->r )");
try{
words = ();
}catch(IOException e){
("input error");
(0);
}
char ch[] = ();
for(int i = 0 ; i < ; i ++) {
if(ch[i] == '~' || ch[i] == '-' || ch[i] == '&' || ch[i] == '|') {
term t = new term();
= ch[i++];
= ch[i];
(t);
}
else if(ch[i] == '<') {
term t = new term();
= ch[i++];
= ch[i++];
(t);
}
else {
term t = new term();
= '$';
= ch[i];
(t);
}
}
}
public void output() {
for(int i=0;i<();i++){
((i).toString());
if((i).fuhao == '<')
(">");
}
("=>");
for(int i=0;i<();i++){
((i).toString());
if((i).fuhao == '<')
(">");
}
();
}
public void huajian() {
for(