研究生课程-人工智能原理-期末考试试题.pdfVIP

AI 往年考试试题解析 一、子句集及其化简 不包含任何文字的子句称为空子句。由于空子句不含有任何文字， 也就不能被任何解释所满足，因此空子句是永假的。空子句一般被记 为 NIL 。（证明题会用到此结论） 化简步骤： （l）消去连接词“→” 反复使用如下等价公式： P →Q=  P V Q，即可消去谓词公式中的连接词“→”。 例如公式 (  x)((  y)P(x,y) →  (  y )(Q(x,y) → R(x,y))) 经等价变化后为 (  x)(  (  y)P(x,y) V  (  y )(  Q(x,y)∨R(x,y))) (2) 减少否定符号的辖域（即把否定符号移到紧靠谓词的位置上） 反复使用双重否定律 (  P) ==P 狄·摩根定律 （P∨Q）==  P∧  Q  (P∧Q）==  P∨  Q