第四章自动推理.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,红楼梦) ⑤辅助