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

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