第16章谓词演算中的归结试卷.pptVIP

* * 第16章 谓词演算中的归结 第三部分 知识的表示和推理 合一 合式公式(?ξ1，ξ2，…，ξn)( λ1∨λ2∨…∨λk)，可缩写为λ1∨λ2∨…∨λk，其中λ1，λ2，…λk是可能包含变量ξ1，ξ2，…，ξn的文字。也就是说，仅仅去掉了全称量词，并假定λi中任何变量全称量化。这种缩写形式的合式公式叫做子句。有时，用集合符号(λ1，λ2，…，λk)表达一个子句，并假定集合中的元素是析取的。 如果两个子句的文字相匹配但是互补，我们能归结它们——就像在命题演算中一样。如果一个子句中有一个文字λ(ξ)( ξ是一个变量)，而另一个子句中有一个互补文字﹁λ(τ)，τ是不包含ξ的某个项，我们能把第一个子句中的所有ξ用τ代替；然后对互补文字进行命题归结以产生那两个子句的归结式。 合一 举例：考虑两个子句 : P(f(y)， A) ∨Q(B， C) ﹁P(x， A) ∨R(x， C) ∨S(A， B)。 用f(y)代替第二个子句中的x产生: ﹁P( f(y)，A) ∨R( f(y)，C) ∨S(A， B)。 现在，两个子句中的第一个文字刚好互补，因此我们能对文字(f(y)，A)执行一次归结，产生归结式: R(f(y)， C) ∨ S(A， B) ∨ Q(B， C)。 用