研究生课程-人工智能原理-期末考试试题.pdf
文本预览下载声明
研究生课程 -人工智能原理 -期
末考试试题
AI 往年考试试题解析
一、子句集及其化简
不包含任何文字的子句称为空子句。由于空子
句不含有任何文字,也就不能被任何解释所满
足,因此空子句是永假的。空子句一般被记为
NIL 。(证明题会用到此结论)
化简步骤:
(l )消去连接词“→”
反复使用如下等价公式:
P →Q= P V Q,即可消去谓词公式
显示全部