人工智能ppt4.pdf

第3章搜索推理技术 3.1 图搜索策略 3.2 盲目搜索 3.3启发式搜索 3.4 消解原理 3.5规则演绎系统 3.6 产生式系统 3.7 非单调推理 2013-9-30 1 3.5规则演绎系统 问题： 归结方法不自然，并非人类的自然思维方式 可能会丢失蕴涵关系中所包含的控制信息 例 ： 以下蕴涵式： ~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 3.5规则演绎系统 本节研究if-then规则来求解问题。If部分可能由n 个if 组成，then 部分可能由一个或一个以上的 then 部分组成。 在所有基于规则系统中 ，每个if 可能与某断言集 中的一个或多个断言匹配。then 部分用于规定放 入工作内存的新断言。这种基于规则的系统叫规 则演绎系统。 then 部分用于规定动作，这种基于规则的系统称 反应式系统或产生式系统 2013-9-30 3 3.5规则演绎系统—规则正向演绎系统 从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))