第14章命题演算中的归结分析.ppt

* * 第14章 命题演算中的归结 第三部分 知识的表示和推理 一种新的推理规则：归结 作为合式公式的子句 许多推理规则（包括假言推理）可以组合成一个规则，叫做归结(resolution)。这里使用的归结应用于代表合式公式的一个特殊的形式——子句(clause) 。 一个文字或者是一个原子(在这种情况下，它叫做肯定文字(positive literal))，或者是一个原子的否定(在这种情况下，它叫做否定文字(negative literal))。 一种新的推理规则：归结 作为合式公式的子句 一个子句是一个文字的集合。这个集合是对这个集合中的所有文字的析取式的一个缩写。 因此，一个子句是一种特殊的合式公式。通常把子句写为析取式，但是当它们用集合概念来表达时，有些包含归结的定义就会比较简单。 例如，子句{P， Q，﹁R}(相当于P∨Q∨﹁R)是一个合式公式。空子句{ }(有时候写为Nil)相当于F(它的值是假)。 一种新的推理规则：归结 子句上的归结 命题演算的归结规则可以陈述如下：从{λ}∪Σ1和{﹁λ}∪Σ2 (其中Σ1和Σ2是文字的集合，而λ是一个原子)，我们可以推出Σ1∪Σ2，它被称为两个子句的归结式(resolvent)。原子λ是被归结的原子(atom resolved upon)，这个过程叫做归结。 例子：