人工智能化为子句集的九步法实验报告实验目的1. 熟悉谓词公式化为子句集的九个步骤2. 理解消解（谓词公式化为子句集）规则，能把任意谓词公式转换成子句集。3. 学会谓词公式化为子句集实验原理任一谓词公式通过九步法可以化成一个子句集。九步法消解包括消去蕴含和等价符号、把否定符号移到紧靠谓词的位置上、变量标准化、消去存在量词、化为前束型、化为Skolem标准形、略去全称量词、消去合取词，把母式用子句集表示、子句换变量标准化，依次变换即可得到子句集。实验条件1. Window NT/xp/7及以上的操作系统2. 内存在512M以上3. CPU在奔腾II以上实验内容熟悉谓词公式转换成子句集的步骤，子句集转换演示程序参考界面如下图1所示。图1 子句集转换演示程序参考界面实验分析1. 对默认谓词公式进行转换。进入程序，点击“语法检查”，再依次点击消解过程的九个步骤按钮，得到转换结果。2. 自定义转换目标。点击“清除”删除默认公式，利用界面键盘输入新的转换目标，用“大写字母”、“小写字母”按键进行输入中的字母变换。3. 语法
