文档详情

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

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