人工智能16-17讲述.ppt

第16章 谓词演算中的归结 合一 谓词演算归结 完备性和合理性 把任意的合式公式转换为子句的形式 用归结证明定理 回答提取 等式谓词 补充读物和讨论 16.1 合一 合式公式（ ? ξ1， ξ2， …， ξn ） （ λ 1 ∨ λ 2 ∨ … ∨ λ k ）可缩写为λ 1 ∨ λ 2 ∨ … ∨ λ k ，其中λ 1 ， λ 2 … λ k 是可能包含变量ξ1， ξ2， …， ξn 的文字。也就是说，仅仅去掉了全称量词，并假定λ i 中任何变量全称量化。这种缩写形式的合式公式叫做子句。有时用集合符号{λ 1 ， λ 2 … λ k }表达一个子句，并假定集合中的元素是析取的。 如果两个字句的文字相匹配但是互补，我们能归结它们——就像在命题演算中一样。如果一个子句中有一个文字λ（ ξ）（ ξ是一个变量），而另一个子句中有互补文字? λ（ τ）， τ是不含ξ的某个项，我们能把第一个子句中的所有ξ用τ代替，然后对互补文字进行命题归结以产生那两个子句的归结式 16.1 合一 举例：考虑两个子句P(f(y), A) ∨ Q(B,C)和?P(x,A) ∨R(x,C) ∨S(A,B)。用f(y)代替第二个子句中的x产生R(f(y),C) ∨S(A,B) ∨ Q(B,C)。 用一个被称为合一的方法计算适当的置换。合一在AI中是一个极其重要的方法，为了描述它，必须先考虑一下置换。 一个表达式项可能