4 第四章 确定性推理资料.ppt

* * 4.5.2 基于规则的逆向演绎推理 1）问题求解的规范表示 (1)目标公式 目标公式的文字与或形可以用“与或图”表示 以k个1-连接指向各析取项Ei； 以一个K-连接指向各合取项Ei； 目标公式的“与或图” * * 4.5.2 基于规则的逆向演绎推理 1）问题求解的规范表示 (1)目标公式 表示为不含蕴涵符号的文字与或形。 目标公式的文字与或形可以用“与或图”表示： 若文字与或形为析取式：E1∨E2∨…∨Ek 以k个1-连接指向各析取项Ei； 若文字与或形为合取式：E1∧E2∧… ∧Ek 以一个K-连接指向各合取项Ei； 根节点——在图上方，整个目标公式 叶节点——对应于目标公式中的每一个文字 * * 事实表达式的“与或图” 目标公式的“与或图” * * 4.5.2 基于规则的逆向演绎推理 1）问题求解的规范表示 (2)规则 以逆向方式使用规则(称为B规则)， B规则化简为： W ? L ，其中， W——文字的与或形 L——单文字 便于通过L和“与或图”叶节点的匹配来激活规则 规则的原始蕴涵式 与或形 化简 恢复 * * 4.5.2 基于规则的逆向演绎推理 1）问题求解的规范表示 (2)规则 以逆向方式使用规则(称为B规则)，规则B化简为： W ? L ，其中， W——文字的与或形 L——单文字 便于通过L和“与或图”叶节点的匹配来激活规则 化简 规则的原始蕴涵式 两条等价的规则 * * 4.5.2 基于规则的逆向演绎推理 1）问题求解的规范表示 (2)规则 以逆向方式使用规则(称为B规则)，规则B化简为： W ? L ，其中， L——单文字 便于通过L和“与或图”叶节点的匹配来激活规则 W——文字的与或形 化简 规则的原始蕴涵式 或 或 * * 4.5.2 基于规则的逆向演绎推理 1）问题求解的规范表示 (3)事实表达式 化简后限定表示为文字的合取式 L1∧L2∧… ∧Lk 量词消去方法 存在量词?的约束变量以函数或常量取代； 合取式隐含地受全称量词?约束。 * * 4.5.1 基于规则的正向演绎推理 2）正向演绎推理的实现 （1）命题逻辑的情况 例1、命题逻辑的正向演绎推理，设： 事实表达式：(P∧Q)∨(R∧S)∨T 规则集： P ?C1 ∧C2 S ?C3 ∧C4 T ?C5 目标公式： C1∨ C2 ∨ C5 实现过程： ①建立事实表达式的初始与或图； ②选择激活的F规则变换与或图； ③目标子句的所有文字成为与或图的叶节点(目标节点)。 * * 4.5.1 基于规则的正向演绎推理 2）正向演绎推理的实现 （1）命题逻辑的情况 例1、命题逻辑的正向演绎推理，设： 事实表达式：(P∧Q)∨(R∧S)∨T 实现过程： ①建立事实表达式的初始与或图； 事实表达式的“与或图” * * 4.5.1 基于规则的正向演绎推理 2）正向演绎推理的实现 （1）命题逻辑的情况 例1、命题逻辑的正向演绎推理，设： 实现过程： ①建立事实表达式的初始与或图； ②选择激活的F规则变换与或图。 规则(1)左部单文字P与初始与或图叶节点P匹配，被激活 变换与或图：规则(1)加入与或图 * * 4.5.1 基于规则的正向演绎推理 2）正向演绎推理的实现 （1）命题逻辑的情况 例1、命题逻辑的正向演绎推理，设： 实现过程： ①建立事实表达式的初始与或图； ②选择激活的规则F变换与或图。 1、规则左部单文字P作为节点插入与或图，用匹配弧连接 变换与或图：规则(1)加入与或图 2、规则右部C1 ∧C2作为与或图子图插入 * * 4.5.1 基于规则的正向演绎推理 2）正向演绎推理的实现 （1）命题逻辑的情况 例1、命题逻辑的正向演绎推理，设： 实现过程： ①建立事实表达式的初始与或图； ②选择激活的规则F变换与或图。 目标公式中文字C1和与或图叶节点C1匹配 变换与或图：规则(1)加入与或图 目标文字C1作为目标节点插入与或图，用匹配弧连接叶节点 * * 4.5.1 基于规则的正向演绎推理 2）正向演绎推理的实现 （1）命题逻辑的情况 例1、命题逻辑的正向演绎推理，设： 实现过程： ①建立事实表达式的初始与或图； ②选择激活的规则F变换与或图。 变换与或图：规则(2)加入与或图 * * 4.5.1 基于规则的正向演绎推理 2）正向演绎推理的实现 （1）命题逻辑的情况 例1、命题逻辑的正向演绎推理，设： 实现过程： ①建立事实表达式的初始与或图； ②选择激活的规则F变换与或图。 变换与或图：规则(3)加入与或图 * * 4.5.1 基于规则的正向演绎推理 2）正向演绎推理的实现 （1）命题逻辑的情况 例1、命题逻辑的正向演绎推理，设： 实现过程： ①建立事实表达式的初始与或图； ②选择激活的规则F变换与或图。 叶节点包含全