人工智能导论——谓词公式化为子句集详细步骤
在谓词逻辑中,有下述定义:
原子(atom)谓词公式是一个不能再分解的命题。
原子谓词公式及其否定,统称为文字(literal)。$P$称为正文字,$\neg P$称为负文字。$P$与$\neg P$为互补文字。
<font color="ddd0000">任何文字的析取式称为子句(clause)。任何文字本身也是子句。</font>
由子句构成的集合称为子句集。
不包含任何文字的子句称为空子句,表示为NIL。
<font color="ddd0000">由于空子句不含有文字,它不能被任何解释满足,所以,空子句是永假的、不可满足的。</font>
在谓词逻辑中,任何一个谓词公式都可以通过应用等