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

人工智能-化为子句集的九 步法实验 本页仅作为文档页封面，使用时可以删除 This document is for reference only-rar21year.March 实验三化为子句集的九步法实验 一、实验目的 理解和掌握消解原理，熟悉谓词公式化为子句集的九个步骤，理解消解推理规则，能把 任意谓词公式转换成子句集。 二、实验原理 消解是可用于一定的子句公式的重要推理规则，任一谓词演算公式可以化成一个子句 集。通过九步法消解可以从这两个父辈子句推导出一个新子句。 九步法消解包括消去蕴涵符号、减否定符辖域、对变量标准化、消去存在量词、化为前 束型、化为合取范式、消去全程量词、消去合取符、更换变量名，依次变换即可得到子句 集。具体为： （1）消去连接词“→”和“↔” P→Q⇔﹁P∨QP↔Q⇔(P∧Q)∨(﹁P∧﹁Q) （2）将否定符号“﹁”移到仅靠谓词的位置 ﹁(﹁P)⇔P ﹁(P∧Q)⇔﹁P∨﹁Q ﹁(P∨Q)⇔﹁P∧﹁Q ﹁(∀x)P(x)⇔(∃x)﹁P(x) ﹁(∃x)P(x)⇔(∀x)﹁P(x)