- 1、本文档共11页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
实验二 王浩算法的实现
实验目的:
熟练掌握命题逻辑中的王浩算法。
实验内容
实现命题逻辑框架内的王浩算法。
⑴将命题逻辑中的王浩算法推广至下述命题语言的情形之下 :
i 命题变量符号: pl , p2 , p3 , ii逻辑连接符: ,,, ,
iii间隔符:(,)
⑵ 在上述⑴中所定义的命题语言中实现王浩算法。
程序功能:
输入命题逻辑公式,程序将自动进行推理,并判断公式的真假性。
主要数据结构
term类:用于存放推理过程中的逻辑连接符和间隔符。
wanghao类:用于完成整个推理过程。
主要函数功能,参数说明
ma in ():程序的入口函数,无参数传递。
input():
功能:从屏幕上读入命题逻辑公式,并将其存入数组和 term里
simple。:
功能:对输入的公式进行化简,将 <->,-> & |消去,全部转换成原子,或原
子的非。=> 左部的逗号代表与,右边的逗号代表或。
规则:p->q ~p||q
reason。:
功能:对公式进行推理,推理规则为:
若 p,q=>x,r,贝卩 p,~x,q=>r.
若 p,x=>q,r,贝U p=>q,~x,r
若 p,~x,q=>r 且 p,y,q=>r,则 p,(x->y),q=>r
若 p=>q,~x,y,r 且 q=>q,(x->y),r
move():
功能:移动等式左右两边的原子。 => 左边含有原子或公式的否定,则移到右边并
取反。同理,右边含有原子或公式的否定,则移到左边并取反。最终使左右 两边都只含有原子。
judge():
功能:判断公式是否恒真, 通过判断最终等式两边是否含有相同的元素来判断是否 恒真。
output。:
功能:输出逻辑公式
编程过程中遇到的问题及解决方案
1?符号的存储:再输入过程中区分符号和字母很困难,而且不容易存储,为此引入了 term
类,类中有符号和字母两个变量,分别用于存放符号和字母。当遇到 ~,-, & , <时,开
始存。new tern仓U建 term 类。
2?推理过程:按照输入内容,先消去公式中的 ->和 <->符号,含有&的公式放在=>左部,&用
逗号表示,含有|的公式放在=> 右部,|用逗号表示,按照下列规则移动 => 左右两边的原子或
公式,最终消去~,化成只含有原子的公式。
若 p,q=>x,r,贝卩 p,?x,q=>r.
若 p,x=>q,r,贝U p=>q,~x,r 若 p,~x,q=>r 且 p,y,q=>r,则 p,(x->y),q=>r 若 p=>q,~x,y,r 且 q=>q,(x->y),r
3.判别:=> 左右含有相同的原子,则公式恒真。
测试
输入公式(A->(B->C))->((A->B)->(A->C)),运行结果为:
@ Jev削dg j 呈 Consol? 盘
Wutgh&o [Ja.va rflppli cati on] C:AFTogr am Fil电八Gdimil电讥匚onraom'bini?量丁
谙输入公武存;(例如:| |A<->B )
I _> ( (A_>B} -> } }
|=>~ (~Ar (-E,C) ), , (~AfC) }
“匕0从「「釦叫八强疋)
C, (-A, C}
匚 Cf A
J f Z ,, A ~ / ± P Si r J ? 二
公式恒真!
程序代码:
import java.io.BufferedReader; import java.io.InputStreamReader;
import java.io.IOException; import java.util.Vector;
//设置 term 类,用于存储输入的公式和推倒过程中的公式 class term {
char fuhao;
char zimu;
term (char fuhao,char zimu) { this.fuhao = fuhao; this.zimu = zimu;
}
term(){}
public String toString() { if(fuhao == '$')return String.valueOf(zimu); else return String.valueOf(fuhao)+String.valueOf(zimu);
}
}
public class Wanghao { Vector<term> left = new Vector<term>(); Vector<term> right = new Vector<term>();
//输入公式,并将其存入 term 类的数组中 public void input() {
BufferedReader br = new BufferedReader(new InputStreamReade
文档评论(0)