[农业专家系统和PROLOG语言]Nyzzxt8.pptVIP

第五章 推理技术 上一章中我们讨论了一些简单搜索的基本原理，包括某些推理规则以及置换合一等概念。但对于许多比较复杂的系统和问题，如果采用上一章讨论过的搜索方法，那么很难甚至无法使问题获得解决的。需要应用一些更先进的推理技术和系统求解这种比较复杂的问题。 　　本章讨论消解原理，规则演绎系统、产生式系统、不确定性推理和非单调推理等，而对于那些发展特别快的高级求解技术，如专家系统、机器学习和规划系统等，则将在后续章节讨论它们。 5.1 消解原理 已讨论过谓词公式，某些推理规则以及置换合一等概念。在这个基础上，我们能够进一步研究消解原理(resolution principle)。有些专家把它叫做归结原理。 消解是一种可用于一定的子句公式的重要推理规则。一子句定义为由文字的析取“∨”组成的公式(一个原子公式和原子公式的否定都叫做文字)。当消解可使用时，消解过程被应用于母体子句对，以便产生一个导出子句。 例如，如果存在某个公理E1∨E2和另一公理～E2∨E3，那么E1∨E3在逻辑上成立。这就是消解，而称E1∨E3为E1∨E2和～E2∨E3的消解式(resolvent)。 　在说明消解过程之前,我们首先说明任一谓词演算公式可以化成一个子句集。其变换过程由下列九个步骤组成： (1)消去蕴涵符号 只应用∨和～符号，以～A∨B替换A=B。 (2)减少否定符号的辖域 每个否定符号～最多只用到一个谓词符号上，并反复应用狄·摩根定律。例如： 以～A∨～B代替～(A∧B) 以(x){～A}代替～(x)A 以～A∧～B代替～(A∨B) 以(x){～A}代替～(x)A 以A代替～(～A) (3)对变量标准化 在任一量词辖域内，受该量词约束的变量为一哑元(虚构变量)，它可以在该辖域内处处统一地被另一个没有出现过的任意变量所代替，而不改变公式的真值。合适公式中变量的标准化，意味着对哑元改名以保证每个量词有其自己唯一的哑元。 (4)消去存在量词 Skolem函数: 在公式(? y)[( x)P(x,y)]中，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数g(y)所定义，它把每个y值映射到存在的那个x。这种函数叫做Skolem函数。 如果用Skolem函数代替存在的x,我们就可以消去全部存在量词，并写成： (5)化为前束形 到这一步，已不留下任何存在量词，且每个全称量词都有自己的变量。把所有全称量词移到公式的左边，并使每个量词的辖域包括这个量词后面公式的整个部分。所得公式称为前束形。 前束形公式由前缀和母式组成，前缀由全称量词串组成，母式由没有量词的公式组成，即 前束形 = (前缀) (母 式) 全称量词串 无量词公式 (6)把母式化为合取范式 任何母式都可写成由一些谓词公式和(或)谓词公式的否定的析取的有限集组成的合取。这种母式叫做合取范式。 我们可以反复应用分配律。把任一母式化成合取范式。例如，我们把 A∨{B∧C}化为{A∨B}∧{A∨C} (7)消去全称量词　　到了这一步，所有余下的量词均被全称量词量化了。同时，全称量词的次序也不重要了。因此，我们可以消去前缀，即消去明显出现的全称量词。 (8)消去连词符号∧ 用{(A∨B),(A∨C)}代替(A∨B)∧(A∨C)，以消去明显的符号∧。反复代替的结果，最后得到一个有限集，其中每个公式是文字的析取。任一个只由文字的析取构成的合适公式叫做一个子句。 (9)更换变量名称　　可以更换变量符号的名称，使一个变量符号不出现在一个以上的子句中。例如，对于子集{～P(x)∨～P(y)∨P[f(x,y)],～P(x)∨Q[x,g(x)],～P(x)∨～P[g(x)]}，在更改变量名后，可以得到子句集： { ～P(x1)∨～P(y)∨P[f(x1,y)],～P(x2)∨Q[x2,g(x2)], ～P(x3)∨～P[g(x3)] } 5.1.2 消解推理规则 令L1为任一原子公式，L2为另一原子公式；和具有相同的谓词符号，但一般具有不同的变量。已知两子句L1∨α和～L2∨β如果L1和L2具有最一般合一者σ，那么通过消解可以从这两个父辈子句推导出一个新子句(α∨β)σ。这个新子句叫做消解式。它是由取这两个子句的析取，然后消去互补对而得到的。 ????下面举出几个从父辈子句求消解式的例子: (a) 假言推理 (b) 合并 (c) 重言式 (d) 链式(三段论) (e) 空子句(矛盾) 从以上各例可见，消解可以合并几个运算为一简单的推理规则。 5.1.3 含有变量的消解式 　为了对含有变量的