人工智能 第1 4章 命题演算中的归结.pdfVIP

下载 第1 4章 命题演算中的归结 14.1 一种新的推理规则：归结 14.1.1 作为合式公式的子句 在上一章中提到了几种推理规则，包括假言推理。许多这样的规则可以组合成一个规则， 叫做归结（re s o l u t i o n ）。本书中使用的归结应用于代表合式公式的一个特殊的形式，叫做子句 （c l a u s e ），现在来定义它。 首先，回想一下，一个文字或者是一个原子（在这种情况下，它叫做肯定文字（ p o s i t i v e l i t e r a l ）），或者是一个原子的否定（在这种情况下，它叫做否定文字（ negative literal ））。一个 子句是一个文字的集合。这个集合是对这个集合中的所有文字的析取式的一个缩写。因此，一 个子句是一种特殊的合式公式。通常把子句写为析取式，但是当它们用集合概念来表达时，有 些包含归结的定义就会比较简单。例如，子句 {P，Q，¬R} （相当于P ∨ Q ∨ ¬R）是一个合式 公式。空子句 { } （有时候写为N i l）相当于F （它的值是假）。 14.1.2 子句上的归结 命