人工智能化为子句集的九步法实验.docVIP

化为子句集的九步法实验报告 实验目的 熟悉谓词公式化为子句集的九个步骤 理解消解（谓词公式化为子句集）规则，能把任意谓词公式转换成子句集。 学会谓词公式化为子句集 实验原理 任一谓词公式通过九步法可以化成一个子句集。九步法消解包括消去蕴含和等价符号、把否定符号移到紧靠谓词的位置上、变量标准化、消去存在量词、化为前束型、化为Skolem标准形、略去全称量词、消去合取词，把母式用子句集表示、子句换变量标准化，依次变换即可得到子句集。 实验条件 Window NT/xp/7及以上的操作系统 内存在512M以上 CPU在奔腾II以上 实验内容 熟悉谓词公式转换成子句集的步骤，子句集转换演示程序参考界面如下图1所示。 图1 子句集转换演示程序参考界面 实验分析 对默认谓词公式进行转换。进入程序，点击“语法检查”，再依次点击消解过程的九个步骤按钮，得到转换结果。 自定义转换目标。点击“清除”删除默认公式，利用界面键盘输入新的转换目标，用“大写字母”、“小写字母”按键进行输入中的字母变换。 语法检查。点击“语法检查”检查输入谓词公式的语法错误。如无错误，则依次点击步骤按钮进行转换。 重复运行2、3步，熟悉消解原理和转换过程。 程序代码 //化为子句集的九步法演示 //作者:RanchoChan //时间:2010.12.15 //有bug #includeiostream #includesstream #includestack #includequeue using namespace std; //一些函数的定义 void initString(string ini);//初始化 string del_inlclue(string temp);//消去蕴涵符号 string dec_neg_rand(string temp);//减少否定符号的辖域 string standard_var(string temp);//对变量标准化 string del_exists(string temp);//消去存在量词 string convert_to_front(string temp);//化为前束形 string convert_to_and(string temp);//把母式化为合取范式 string del_all(string temp);//消去全称量词 string del_and(string temp);//消去连接符号合取% string change_name(string temp);//更换变量名称 //辅助函数定义 bool isAlbum(char temp);//是字母 string del_null_bracket(string temp);//删除多余的括号 string del_blank(string temp);//删除多余的空格 void checkLegal(string temp);//检查合法性 char numAfectChar(int temp);//数字显示为字符 //主函数 void main() { cout------------------求子句集九步法演示-----------------------endl; system(color 0A); //orign = Q(x,y)%~(P(y); //orign = (@x)(P(y)P); //orign = ~(#x)y(x); //orign = ~((@x)x!b(x)); //orign = ~(x!y); //orign = ~(~a(b)); string orign,temp; char command,command0,command1,command2,command3,command4,command5, command6,command7,command8,command9,command10; //============================================================================= cout请输入(Y/y)初始化谓词演算公式endl; cincommand; if(command == y || command == Y) initString(orign); else exit(0); //============================================================================= cout请输入(Y/y)消除空格endl; cincommand0; if(command0 == y || command0 ==