AI归结推理.ppt

* 07/16/96 * ## * 07/16/96 * ## * 07/16/96 * ## * 07/16/96 * ## * 07/16/96 * ## * 07/16/96 * ## * 07/16/96 * ## * 07/16/96 * ## 第5章 知识与推理 例子3 假设任何通过计算机考试并获奖的人都是快乐的 任何肯学习或幸运的人都可以通过所有的考试 张不肯学习但他是幸运的 任何幸运的人都能获奖 求证：张是快乐的 第5章 知识与推理 解： 定义谓词 Pass(x,y): x通过y考试 Win(x,y): x获得y Study(x): x肯学习 Lucky(x): x是幸运的 Happy(x): x是快乐的 第5章 知识与推理 将问题用谓词公式表示 R1:任何通过计算机考试并获奖的人都是快乐的 (?x)((Pass(x, computer)∧Win(x,prize))→Happy(x)) R2:任何肯学习或幸运的人都可以通过所有考试 (?x)(?y)(Study(x)∨Lucky(x)→Pass(x, y)) R3:张不肯学习但他是幸运的　～Study(zhang)∧Lucky(zhang) R4:任何幸运的人都能获奖　(?x)(Luck(x)→Win(x,prize)) 结论:“张是快乐的”的否定　～Happy(zhang) 第5章 知识与推理 谓词公式转化为Skolem标准形,求取子句集 由R1及转换公式:P∧W→H =?(P∧W)∨ H，可得 (1) ?Pass(x, computer)∨ ?Win(x, prize)∨Happy(x) 由R2可得 (2) ?Study(y)∨Pass(y,z) (3) ?Lucky(u)∨Pass(u,v) 由R3可得 　(4) ?Study(zhang) (5) Lucky(zhang) 由R4可得 (6) ?Lucky(w)∨Win(w，prize) 由结论的否定可得 (7) ?Happy(zhang) 第5章 知识与推理 归结 (8) ?Pass(w, computer)∨Happy(w)∨ ?Luck(w) (1)，(6)归结，{w/x}　 (9) ?Pass(zhang, computer)∨ ?Lucky(zhang) (8)，(7)归结，{zhang/w} 　(10) ?Pass(zhang, computer) (9)，(5)归结　 (11) ?Lucky(zhang) (10),(3)归结,{zhang/u, computer/v}　 (12)  □ (11),(5)归结 第5章 知识与推理 例子4 已知 如果x和y是同班同学，则x的老师也是y的老师 王先生是小李的老师 小李和小张是同班同学 问：小张的老师是谁？ 第5章 知识与推理 解： 设定谓词 T(x,y): x是y的老师 C(x,y): x与y是同班同学 谓词公式表示 如果x和y是同班同学，则x的老师也是y的老师 ?x?y?z(C(x,y)?T(z,x)?T(z,y)) 王先生是小李的老师 T(wang, li) 小李和小张是同班同学 C(li, zhang) 结论：小张的老师存在 ?xT(x,zhang) 第5章 知识与推理 子句集 ?C(x,y)? ?T(z,x)?T(z,y) T(wang, li) C(li, zhang) 结论否定： ?T(u,zhang) 归结 ?C(li,y)?T(wang,y)) 1,2 {wang/z, li/x} ?C(li,zhang) 4,5 {wang/u, zhang/y} ? 3,6 得到空子句，原命题成立：小张的老师存在 第5章 知识与推理 原命题求解 子句集 ?C(x,y)? ?T(z,x)?T(z,y) T(wang, li) C(li, zhang) 结论(小张的老师是谁？)否定： ?T(u,zhang)?ANS(u) 归结 ?C(li,y)?T(wang,y)) 1,2 {wang/z, li/x} ?C(li,zhang)?AN