人工智能-化为子句集的九步法实验(共19页).doc

实验三 化为子句集的九步法实验一、实验目的 理解和掌握消解原理，熟悉谓词公式化为子句集的九个步骤，理解消解推理规则，能把任意谓词公式转换成子句集。二、实验原理消解是可用于一定的子句公式的重要推理规则，任一谓词演算公式可以化成一个子句集。通过九步法消解可以从这两个父辈子句推导出一个新子句。 九步法消解包括消去蕴涵符号、减否定符辖域、对变量标准化、消去存在量词、化为前束型、化为合取范式、消去全程量词、消去合取符、更换变量名，依次变换即可得到子句集。具体为：（1）消去连接词“”和“”PQPQPQ(PQ)(PQ)（2）将否定符号“”移到仅靠谓词的位置(P)P(PQ)PQ(PQ)PQ(x)P(x)(x)P(x)(x)P(x)(x)P(x)(x)(y)P(x,y)(y)(Q(x,y)R(x,y)(x)(y)P(x,y)(y)(Q(x,y)R(x,y)（3）对变元标准化(x)(y)P(x,y)