人工智能_自动推理.ppt

* * ②Same(y,儒林外史) ? ?Same(y,水浒) ③?Like(w,z) ? ? Same(z,三国) ④Read(俞平伯,m) ?Same(m,红楼梦) ⑤Same(p,q) ? Same(q,p) 目标：? Same(红楼梦,儒林外史)∨?Like(俞平伯,三国) 俞平伯/x 水浒/m 水浒/p 红楼梦/q 红楼梦/y 4 5 2的逆形式 俞平伯/x Same(y,水浒) ? ? Same(y,儒林外史) * * 俞平伯/x 水浒/m 水浒/p 红楼梦/q 红楼梦/y 4 5 2的逆形式 俞平伯/x 解图置换S={俞平伯/x,水浒/m,俞平伯/x,水浒/p,红楼梦/q,红楼梦/y} U1={x,m,x,p,q,y} U2={俞平伯,水浒,俞平伯,水浒,红楼梦,红楼梦} 解图一致 演绎推理成功结束！ * * 基于规则的正向演绎推理 2）正向演绎推理的实现 ①喜欢《三国演义》者必读《水浒传》。 Like(x,三国) ? Read(x,水浒) ②若某书与《儒林外史》同类，则一定不与《水浒传》同类。 Same(y,儒林外史) ? ?Same(y,水浒) ③没有人喜欢的书不会和《三国演义》同类。 作为事实，化为文字与或形 化简为Like(w,z) ∨ ? Same(z,三国) ④俞平伯只读与《红楼梦》同类的书。 Read(俞平伯,m) ?Same(m,红楼梦) ⑤辅助的规则 Same(p,q) ? Same(q,p) 目标：如果《红楼梦》与《儒林外史》同类，则俞平伯一定不喜欢《三国演义》。 ? Same(红楼梦,儒林外史)∨?Like(俞平伯,三国) 演绎推理得不到解答 缺点1：出发点不能任意，如果选错 * * 基于规则的正向演绎推理 2）正向演绎推理的实现 ①喜欢《三国演义》者必读《水浒传》或《东周列国传》。 作为事实，化为文字与或形 ?Like(x,三国)∨Read(x,水浒) ∨Read(x,东周列国传) ②若某书与《儒林外史》同类，则一定不与《水浒传》同类。 Same(y,儒林外史) ? ?Same(y,水浒) ③没有人喜欢的书不会和《三国演义》同类。 ?(z)?(w)[? Like(w,z) ? ? Same(z,三国)} ] 化简为?Like(w,z) ? ? Same(z,三国) ④俞平伯只读与《红楼梦》同类的书。 Read(俞平伯,m) ?Same(m,红楼梦) ⑤辅助的规则 Same(p,q) ? Same(q,p) 目标：如果《红楼梦》与《儒林外史》同类，则俞平伯一定不喜欢《三国演义》。 ? Same(红楼梦,儒林外史)∨?Like(俞平伯,三国) * * 俞平伯/x 水浒/m 水浒/p 红楼梦/q 红楼梦/y 4 5 2的逆形式 俞平伯/x 缺点2：推出结论的形式一定要与目标的形式相符,否则 ? Same(红楼梦,儒林外史)∨?Like(俞平伯,三国) ∨ Read(俞平伯,东周列国传) ? Same(红楼梦,儒林外史)∨?Like(俞平伯,三国) 演绎推理得不到解答 * * 基于规则的逆向演绎推理 1）问题求解的规范表示 逆向演绎推理与正向演绎推理形成对偶关系 正向演绎推理 从事实表达式出发，应用激活的F规则对事实表达式的与或图进行变换，扩展与或图； 直至得到一个将目标子句包含的文字作为叶节点的一致解图。 逆向演绎推理 从目标公式出发，逆向应用激活的B规则对目标公式的与或图进行变换，扩展与或图； 直至得到一个将事实表达式中的文字作为叶节点的一致解图。 逆向演绎推理要求将问题求解的描述分为3个部分： 目标公式 规则 事实 标准化表示形式与正向演绎推理形成对偶关系 * * 基于规则的逆向演绎推理 1）问题求解的规范表示 (1)目标公式 表示为不含蕴涵符号的文字与或形。 目标公式 全称量词?的约束变量以函数或常量取代 消去 全称量词 量词 分配 变量 换名 化简 * * 基于规则的逆向演绎推理 1）问题求解的规范表示 (1)目标公式 表示为不含蕴涵符号的文字与或形。 目标公式的文字与或形可以用“与或图”表示： 若文字与或形为析取式：E1∨E2∨…∨Ek 以k个1-连接指向各析取项Ei； 若文字与或形为合取式：E1∧E2∧… ∧Ek 以一个K-连接指向各合取项Ei； * * 基于规则的逆向演绎推理 1）问题求解的规范表示 (1)目标公式 目标公式的文字与或形可以用“与或图”表示 以k个1-连接指向各析取项Ei； 以一个K-连接指向各合取项Ei； 目标公式的“与或图” * * 基于规则的逆向演绎推理 1）问题求解的规范表示 (1)目标公式 表示为不含蕴涵符号的文字与或形。 目标公式的文字与或形可以用“与或图”表示： 若文字与或形为析取式：E1∨E2∨…∨Ek 以k个1-连接指向各析取项E