人工智能原理ch4553.ppt

5.1.1 规则正向演绎系统 ( 事实、规则、目标 ) 在基于规则的系统中，无论是规则演绎系统或规则产 生式系统，均有两种推理方式，即正向推理和逆向推 理。从 IF 部分向 THEN 部分推理的过程，叫做正向推 理。也就是说，正向推理是从事实或状况向目标或动 作进行操作的。反之，对于从 THEN 部分向 IF 部分推 理的过程，叫做逆向推理。逆向推理是从目标或动作 向事实或状况进行操作的。 1. 事实表达式的与或形变换 通常用谓词演算公式来表示事实（用作事实表达式）。 如事实表达式： ( U)( V){Q(V,U)∧[(R(V)∨P(V))∧S(U,V)]} 通常还存在蕴含关系。 ? ? 在基于规则的正向演绎系统中，所要 做的第一步是将其变换（或叫化成）非 蕴含形式的与或形。要把一个公式化成 与或形，可利用以下恒等式或方法： (1) W1=>W2 = W1∨W2（利用恒等式， 去蕴含符号），在事实表达式中，很少 有 => 符号出现 (2) 用德 . 摩根公式（定律）把否定符号移 进括号内，直到每个否定符号都只含一 个谓词为止。 (3) 对所得表达式进行 skelem 化，消除存在 性量词。 X Y mother(Y , X) X mother( f(X) , X ) (4) 删去全称量词，而余下的变量都被认为 具有全称量化作用。 Q(V, f(V))∧{[(R(V)∧P(V))]∨S(f(V),V)} ? ? ? 2. 事实表达式的与或图表示 根节点 Q(V,f(V))∧{[(R(V)∧P(V))]∨S(f(V),V)} 与、合取 Q(V,f(V)) [(R(V)∧P(V))]∨S(f(V),V) 或、析取 R(V)∧P(V) S(f(V),V) 叶节点 文字 R(V) P(V) 通常，把事实表达式的与或图表示 倒过来画，即把根节点画在最下面，而 把其后继节点往上画。 3. 与或图的 F 规则变换 我们把允许用作规则的公式类型限制为 下列形式： L => W 式中， L 是单文字； W 是与或形表达式 例如：事实表达式：P∨[S∧(T∨U)] 规则：S =>(X∧Y)∨Z P∨[S∧(T∨U)] P 析取 S∧(T∨U) S 合取 T∨U S T U Z X∧Y 应用一条 F 规则 L=>W X Y 得到的与或图 4. 作为终止条件的目标公式 应用 F 规则的目的在于从某个事实公式和某 个规则集出发来证明某个目标公式。在正向 推理系统中，这种目标表达式只限于可证明 的表达式，尤其是可证明的 文字析取形 的目 标公式表达式。 结论是：当正向演绎系统产生一个含有目 标节点作为终止的解图时，此系统就成功地 终止。 ( 目标可由叶节点 析取 得到 ) 对上图，若目标为：P∨Z∨X或P∨Z∨Y 时，就算证出。 例：事实 A∨B 规则 A=>C∧D ， B=>E∧G 目标 C∨G （ C∨E， D∨G ， D∨E ） A∨B 消解否证法 A B A∨C C G B∨G A B A∨B A B C D E G B C G 空 把规则化为子句形式：A∨C，A∨D，B∨E，B∨G 目标否定： C∨G ，其子句形式为 C ， G 5.1.2 规则逆向演绎系统 基于规则的逆向演绎系统，其操作过程与正向演绎系 统相反，即为从目标到事实的操作过程，从 then 到 if 的 推理过程。 1. 目标表达式的与或形式 逆向演绎系统能够处理任意形式的目标表达式。首先， 采用与变换事实表达式同样的过程，把目标表达式化 成与或形、即消去蕴含符号，把否定符号移进括号内， 消去存在性量词（ skelem 化）等。 例：目标表达式 Y X{P(X)=>[Q(X,Y)∧[R(X)∧S(Y)]]} 化成与或形 P(f(Y))∨{Q(f(Y),Y)∧[R( f(Y))∨S(Y)]} ? ? 第四章 一般搜索原理 知识表示的目的是为了便于计算机求 解，是为了解决问题。从问题的描述 （表示）到问题的解决，有个求解的过 程，也就是搜索过程。在这一过程中采 用适当的搜索技术，包括各种规则、过 程和算法等推理技术，力求找到问题的 解答。 本章讨论一些早期的搜索技术或用于 解决比较简单问题的搜索原理（启发式 搜索、宽度优先、深度优先、有序搜 索）。 4.1 盲目搜索 盲目搜索又叫做无信息搜索。 一般只适用于求解比较简单的 问题。 O 规则库 搜索树： R1 R2