人工智能基础——谓词公式化为子句集的方法

谓词公式化为子句集 基本定义 谓词公式化为子句集的步骤 定理3.1 基本定义 谓词公式化为子句集的步骤 定理3.1 基本定义 原子谓词公式：一个不能够再分解的命题。 原子谓词公式及其否定统称为文字，P称为正文字#P称为负文字，P与#P为互补文字。 子句:任何文字的析取式，任何文字本身也都是子句。 子句集：由子句构成的集合。 空子句（NL)：不包含任何文字的子句。 由于空子句不包含任何文字，那么任何

>>阅读原文<<