王浩算法实验报告.docVIP

《王浩算法的实现》实验报告 一．实验目的 熟练掌握命题逻辑中的王浩算法。 二．实验内容 实现命题逻辑框架内的王浩算法。 1.将命题逻辑中的王浩算法推广至下述命题语言的情形之下： (1).命题变量符号：p1,p2,p3,…… (2).逻辑连接符：﹁，︿，﹀，-，…… (3).间隔符：（，）…… 2.在上述1中所定义的命题语言中实现王浩算法。 三．数据结构 给定公式，例如：(p1-(q1-r1))-((p1-q1)-(p1-r1)) 函数inite主要作用是负责将符号初始化成树的结构。 函数clone复制一棵完全相同的符号树。 函数restruct查找所有，|， -等符号，并将其拆分成新形式：！，-符号。 函数searching王浩算法的主要函数。 函数show和output:显示符号串和推理过程。 四．实验结果 公式正确 公式错误 六．实验总结 公式不是恒真的时候，不一定是恒假的，王浩算法实质上是一个反向推理过程，它把给定的公式化成合取范式，然后通过判断每个子句是否恒真的来判定给定的公式是否是恒真的。所以，王浩算法不能说明公式恒假，只能说明不是恒真的。由于写程序水平低下，只能借由网上程序。写程序对我来说很困难，缺少练习，所以在能看懂实验题的情况下能写出程序是一个急需提高的水平。 附：