人工智能导论 第3章 逻辑推理及方法.pptVIP

* * 与或形演绎推理 正向演绎 从已知事实出发，正向地使用蕴含式（F规则）进行推理，直至得到某个目标公式的一个终止条件为止。 反向演绎 从待证明的目标出发，通过逆向地使用蕴含式（B规则）进行演绎推理，直至得到包含已知事实的终止条件为止。 双向演绎 同时运用F规则和B规则 与或形正向演绎推理 正向与/或形演绎推理对已知事实、F规则和目标公式地表示形式都有一定要求。如果不符合要求，就需要先进行变换。 与或形正向演绎推理 正向与或形演绎推理要求已知事实用不含蕴含符号→的与或形表示。把一个公式转换为与或形的步骤（类似于子句集的转换过程）： （1）利用P→Q 等价于?P∨Q，消去公式中的“→”； （2）利用德摩根律及量词转换律把“?”转移到紧靠谓词的位置上； （3）重新命名变元，使得不同量词约束的变元具有不同的名字； （4）引入Skolem函数消去存在量词； （5）消去全称量词，且使各主要合取式中的变元不同名。 与或形正向演绎推理 事实表示式的与或形可用一颗与或树表示。 与或树的一个节点表示事实表达式的一个子表达式，叶节点为谓词公式中的文字。 对于用析取符号连接而成的表达式，用一个N连接符（半圆弧）把它们连接起来。 对于用合取符号连接而成的表达式，无需用连接符（半圆弧）连接。 与或形正向演绎推理 F 规则的表示形式 在正向与/或形演绎推理中，通常要求F规则具有如下形式： L → W 其中，L为单文字，W为与/或形。 限制F规则左部为单文字的原因：要用F规则作用于表示事实的与/或树，而与/或树的叶节点都是单文字。 正向演绎中 F 规则的表示形式 如果领域知识不是所要求的表示形式，则需要通过变换将它变成规定的形式，步骤如下： （1）暂时消去蕴含符号“→”； （2）利用德摩根律及量词转换律把“?”转移到紧靠谓词的位置上； （3）引入Skolem函数消去存在量词； （4）消去全称量词； （5）恢复为蕴含式。 与或形正向演绎的推理过程 （1）用与或树把已知事实表示出来； （2）用F规则的左部和与或树的节点进行匹配，并将匹配成功的F规则加入到与或树中； （3）重复第（2）步，直到产生一个含有以目标节 点作为终止节点的解图为止。 与或形正向演绎的特点 事实表达式任意形 规则形式： 单文字 ? W 目标公式为文字析取 对事实、规则消存在量词，Skolem化 用对偶形消目标的全称量词，Skolem化 事实表达式与或树，“?”对“与”，“?”对应“或” 从事实出发，正向应用规则 以目标为结束的一致解图 与或形反向演绎的推理 目标公式的与或形变换及其树形表示 把一个目标公式转换为与或形的步骤（类似于子句集的转换过程）： （1）利用P→Q 等价于?P∨Q，消去公式中的“→”； （2）利用德摩根律及量词转换律把“?”转移到紧靠谓词的位置上； （3）重新命名变元，使得不同量词约束的变元具有不同的名字； （4）引入Skolem函数消去全称量词； （5）消去存在量词，且使各主要析取式中的变元不同名。 注意：上述红字标出的部分是与前面与或形正向演绎推理中把事实变换为与或形表示不同的地方。 与或形反向演绎的推理 目标表示式的与或形可用一颗与或树表示。 把与或树的叶节点用它们之间的合取及析取关系连接起来，就可得到目标公式的子目标。 对于用合取符号连接而成的表达式，用一个N连接符（半圆弧）把它们连接起来。对于用析取符号连接而成的表达式，无需用连接符（半圆弧）连接。 与或形反向演绎的推理 反向演绎推理中需要介绍B规则的表示形式 在逆向与或形演绎推理中，要求B规则具有如下形式： W → L 其中，W为任一与或形公式， L为文字。 限制B规则右部为文字的原因：要用B规则的右部和目标与或树的叶节点进行匹配，而目标与或树的叶节点都是文字。 与或形反向演绎的推理 逆向与或形演绎推理要求已知事实是文字的合取式，即形如 F1 ∧ F2 ∧ … ∧ Fn 因为每个事实都可以单独使用，因此上式也可表示为如下集合： {F1,F2,…,Fn} 与或形反向演绎 （1）用与或树把目标公式表示出来； （2）用B规则的右部和与或树的叶子节点进行匹配，将匹配成功的B规则加入到与或树中； （3）重复第（2）步，直到产生某个终止在事实节点上的一致解图为止。（注：一致解图是指在推理过程中用到的代换是一致的） 与或形反向演绎的特点 事实表达式是合取形 规则形式： L ? 单文字 目标公式任意形 对事实、规则消存在量词，Skolem化 用对偶形消目标的全称量词，Skolem化 目标公式的与或树，“?”对“与”，“?”对应“或” 从目标出发，逆向应用规则 以事实为结束的一致解图 双向与或形演绎推理 1. 正向和逆向与或形演绎推理的特点和局限性 　正向演绎系统能