文档介绍：第3章 搜索推理技术
2013-9-30 1
问题：
归结方法不自然，并非人类的自然思维方式
可能会丢失蕴涵关系中所包含的控制信息
例：
以下蕴涵式：
~A Ù ~B ® C ~C ® A Ú B
~A Ù ~C ® B ~A ® C Ú B
~B Ù ~C ® A ~B ® A Ú C
均与子句(A Ú B Ú C)等价，但显然上面的蕴涵式信
息更丰富。
2013-9-30 2
本节研究if-then规则来求解问题。If部分可能由n
个if 组成，then部分可能由一个或一个以上的
then部分组成。
在所有基于规则系统中，每个if可能与某断言集
中的一个或多个断言匹配。then部分用于规定放
入工作内存的新断言。这种基于规则的系统叫规
则演绎系统。
then部分用于规定动作，这种基于规则的系统称
反应式系统或产生式系统
2013-9-30 3
—规则正向演绎系统
从if部分向then部分推理的过程，叫正向推理。
是从事实或状况向目标或动作进行操作的。
事实表达式的与或形变换
事实的与或图表示
与或图的F规则变换
作为终止条件的目标公式
2013-9-30 4
事实表达式的与或形变换
事实：把事实表示为非蕴含形式的与或形，不
必化简为子句集。
1)利用（W1 =〉 W2）和（~W1∨W2）的等价关系，消
去符号=〉。
2) 用狄·摩根（De Morgan）定律把否定符号移进括号
内，直到每个否定符号的辖域最多只含有一个谓词为
止。
3) 对所得到的表达式进行Skolem化和前束化。
4)对全称量词辖域内的变量进行改名和变量标准化，而存
在量词量化变量用Skolem函数代替。
5) 删去全称量词，而任何余下的变量都被认为具有全称
量化作用。
2013-9-30 5
事实表达式的与或形变换
例：
($u)("v)(Q(v, u)Ù~((R(v)ÚP(v))ÙS(u, v)))
„=>($u)("v) (Q(v, u)Ù((~R(v) Ù ~P(v)) Ú ~S(u, v)))
„=>Q(v, A)Ù((~R(v) Ù ~P(v)) Ú ~S(A, v)) Skolem化
„=> Q(w, A)Ù((~R(v) Ù ~P(v)) Ú ~S(A, v))
„ 主合取元变量换名，使同一变量不出现在事实表达式的
不同主要合取式中。与或形表达式并不是子句形。
2013-9-30 6
事实的与或图表示
例： Q(w, A)Ù((~R(v) Ù ~P(v)) Ú ~S(A, v))
Q(w, A)Ù((~R(v) Ù ~P(v)) Ú ~S(A, v))
Q(w, A) (~R(v) Ù ~P(v)) Ú ~S(A, v)
~R(v) Ù ~P(v) ~S(A, v)
~R(v) ~P(v)
解图集：Q(w, A), ~R(v)Ú~S(A, v), ~P(v)Ú~S(A, v)
2013-9-30 7
与或图的F规则变换
规则：正向规则演绎系统应用规则作用于表示事实的与或
图，改变与或图的结构，从而产生新的事实。为应用方便
起见，规定规则的形式为：L=>W
1)L是单文字，W是与或形的唯一公式
2) L和W