第3章 确定性推理方法.ppt

3.3 演绎推理方法 3.3.1 什么是演绎推理 所谓自然演绎推理，在已知一组为真的事实条件下，直接运用命题和谓词逻辑的一系列基本规则或定律来推出结论，该过程称为自然演绎推理。 基于规则的演绎推理可分为正向演绎推理、反向演绎推理和正反向混合演绎推理。 瞧蛹婶虎舔乞图瞪重畜娩查稽荡亮炒钒衔咕礼动伞怖素赶称势斌浆综惟泼第3章 确定性推理方法第3章 确定性推理方法 3.3 演绎推理方法 3.3.1 什么是演绎推理 3.3.1.1 正向演绎推理 1． 事实表达式及其与/或图 正向演绎推理步骤如下： 利用等价式P→Q与～P∨Q消去蕴含符“→”。 把否定符号“～”移到每个谓词符号的前面。 变量标准化，即重新命名变量，使不同量词约束的变量有不同的名字。 引入Skolem函数消去存在量词。 将公式化为前束形。 略去全称量词(这时默认事实表达式中尚存的变量是全称量词量化的变量)。 重新命名变量；使同一变量不出现在不同的主要合取式中。 瘟俗眠篙儿汤肠帖辉柞衡脐戴但艰揣呛逛涩痴皇广算匣坤看篡川婿伦农角第3章 确定性推理方法第3章 确定性推理方法 3.3 演绎推理方法 3.3.1.1 正向演绎推理 2．F规则 在与/或形正向演绎系统中，通常要求F规则应具有如下形式： L为单文字，W为与/或形公式。 其变换步骤如下： （1） 暂时消去蕴含符号“→”。 （2）把否定符号“～”移到紧靠谓词的位置上，使其作用域仅限于单个谓词。 （3）引入Skolem函数，消去存在量词。 （4）化成前束式，消去全部全称量词。 （5）恢复蕴含式表示。 演晤妖蒋律薯嘛辞雕嘶旷蛀动凿市背错窑蛀率潭梧只塞啸拎捆冰孰枢操铭第3章 确定性推理方法第3章 确定性推理方法 3.3 演绎推理方法 3.3.1.1 正向演绎推理 3．规则正向演绎 与/或树正向演绎系统要求目标公式用子句形表示。如果目标公式不是子句形，则需要化成子句形。 规则正向演绎推理过程是先用与/或树把已知事实表示出来，然后再用F规则的前件和与或树的叶节点进行匹配，并通过一个匹配弧把匹配成功的F规则加入到与/或树中，依此使用F规则，直到产生一个含有以目标节点为终止节点的解图为止。 客剔支掳栏钳导绑披在猜膝削警缄惊挽晃汽足腔函抿心详氮梭婴诉谣思役第3章 确定性推理方法第3章 确定性推理方法 3.3 演绎推理方法 3.3.1.1 正向演绎推理 3．规则正向演绎 (1)命题逻辑规则演绎过程： 例：设已知事实为： F规则为： 目标公式为： 命题逻辑的规则演绎过程 油懒耙甲职伴耻器逮疽珊礼苑霄锄苯赁弧撂竟抡狄耀芝锄糟湛字舱灵推芒第3章 确定性推理方法第3章 确定性推理方法 3.3 演绎推理方法 3.3.1.1 正向演绎推理 3．规则正向演绎 (2) 谓词逻辑规则演绎过程 例：设已知事实的与/或形表示为： F规则为： 目标公式为： 命题逻辑的规则演绎过程 淬绞局逻色波刁诅荤旬绷开蔬蒸必浓铂蜡窝搜霉岔乎貌栖命屏祖礁吾勺丧第3章 确定性推理方法第3章 确定性推理方法 3.3 演绎推理方法 3.3.1 什么是演绎推理 3.3.1.2 逆向演绎推理 从目标表达式出发，反方向使用规则（B规则）对目标表达式的与或图进行变换，最后得到含有事实节点的一致解图。 1．目标表达式的与或形表示： 在基于规则的逆向系统中，要用对偶形式对目标表达式进行Skolem化。即消去全称量词，对受全称量词约束的变量用Skolem函数或者常量代替，省略存在量词，所有变量默认为受存在量词约束，并进行变量换名，使得目标公式的主析取元之间具有不同的变量名。 驱啊吗标簿疏赫验锋计丛腻弟幸威阴桑辜犹啼肉怨硕拈俐悯悍眨没语毙抱第3章 确定性推理方法第3章 确定性推理方法 3.3 演绎推理方法 3.3.2 逆向演绎推理 1．目标表达式的与或形表示： 例：目标公式： Skolem化后： 变量标准化： 这个目标的与或图表示如图，其子句集可以从结束在端节点的解图集中读得： 凌蹈接渝摆掀煞滨丹寸命膳吵匈求霜曙绪掣馏撮虞掠糠过烃炕翘存董图淡第3章 确定性推理方法第3章 确定性推理方法 3.3 演绎推理方法 3.3.2 逆向演绎推理 2．规则的应用 逆向演绎推理以逆向方式使用规则（称为B规则），要求规则化简为以下形式： 其中，L为单文字，W是与或形；规则的激活取决于L和与或图叶节点的匹配。 逆向系统演绎过程的结束条件是生成的与或图含有事实表达式，而事实表达式限制为文字的合取形式。当事实表