《人工智能（十六）》青少年教育丛书.pdfVIP

下载 第1 6章 谓词演算中的归结 16.1 合一 合式公式（ ， ，…， ）（ ∨ ∨…∨ ）可缩写为 ∨ ∨… ∨ ，其中 ， , …， 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 )。 用一个被称为合一的方法计算适当的置换。合一在 A I 中是一个极其重要的方法。为了描述 它，必须先讨论一下置换。 一个表达式项可能是变量符号、对象常量或者函数表达式，后者包含函数常量和表达式项。 一个表达式的置换实例通过置换那个表达式中的变量项而得到。因此， P [ x，f ( y )，B ]的四个 置换实例是： P [ z，f ( w )，B ] P [ x，f ( A )，B ] P [ g ( z )，f ( A )，B ] P [ C，f ( A )，B ] 上面第一个实例称为原始文字的字母变种（alphabetic variant ），因为我们仅仅用另外的变 量代替了P [ x，f ( y )，B ]中出现的变量。第4个叫基例（g round instance ），因为文字中没有一 项包含变量（一个基项是一个不包含任何变量的项）。 我们能通过一组有序对s = { / ， / ，...， / }来表达任何置换。 / 对意思是说 项替 1 1 2 2 n n i i i 换在整个置换范围内的 的每次出现。而且，变量不能被一个包含相同变量的项代替。使用前面 P [ x，f ( y )，B ]的四个实例的置换是： s1 = {z/x，w / y } s2 = {A/y} s3 = {g(z)/x，A / y } s4 = {c/x，A / y } 用 s来指称一个使用置换s 的表达式 的一个置换实例。因此，P [ z，f ( w )，B] = P[x，f ( y )， 156计计第三部分 知识的表示和推理 下载 B ] s 1。两个置换s 1和s2 的组合用s 1s2指称，它指的是这个置换通过先把s2应用到s 1各项，再加上 不含出现在s 1中变量的所有s2对而得到，因此： { g ( x，y)/z} {A/x，B / y，C / w，D/z} = {g(A，B ) / z，A / x，B / y，C / w } 可以看出，把s 1和s2连续地应用到表达式和把s 1s2应