人工智能基礎——謂詞公式化爲子句集的方法

謂詞公式化爲子句集 基本定義 謂詞公式化爲子句集的步驟 定理3.1 基本定義 謂詞公式化爲子句集的步驟 定理3.1 基本定義 原子謂詞公式：一個不能夠再分解的命題。 原子謂詞公式及其否定統稱爲文字，P稱爲正文字#P稱爲負文字，P與#P爲互補文字。 子句:任何文字的析取式，任何文字本身也都是子句。 子句集：由子句構成的集合。 空子句（NL)：不包含任何文字的子句。 由於空子句不包含任何文字，那麼任何

>>阅读原文<<