人工智能人工智能课件.ppt

* 关键算符是f4。假设Gf4是适用于算符f4的状态集合，则初始问题变为：({(a,0,b,0)},Gf4)和(S1, G)。这里S1= (c,1,c,0), S1必须是求解前一问题得到的状态。 【第一步】找关键算符 【第二步】求解问题({(a,0,b,0)}, Gf4) 由(a,0,b,0)所描述的状态不在Gf4中，因为：①箱子不在c处；②猴子不在c处；③猴子不在箱子上。则下列算符为该问题的关键算符： f2:pushbox(c) ，f1:goto(c) ，f3:climbbox 应用关键算符产生各归约问题的子问题集合。 【第三步】 先解决问题①，应用f2使问题({(a,0,b,0)}, Gf4)变为问题({(a,0,b,0)}, Gf2)和(S11, Gf4)，其中 S11是应用f2得到的状态 (c,0,c,0)。 * 计算({(a,0,b,0)}, Gf2)问题的差别，此差别为猴子不在b处。则得到关键算符f1：goto(b)，应用f1得到问题({(a,0,b,0)}, Gf2)变为问题({(a,0,b,0)}, Gf1)和(S111, Gf2)。S111是应用f1得到的状态 (b,0,b,0)。 因为状态(a,0,b,0)在规则f1的域内，因此问题({(a,0,b,0)}, Gf1) 已是本原问题。 因为状态 S111=(b,0,b,0)在规则f2的域内，则问题({(b,0,b,0)}, Gf2)也是本原问题，且问题① 的 目标状态S11为(c,0,c,0)。 至此，所有问题得到解决。最后 画出与或图。 * ?? ??? ?? ? (c,1,c,0) ? (c,1,c,1) (a,0,b,0) ? (c,0,c,0) (c,0,c,0) ? (c,1,c,0) (a,0,b,0) ? (c,1,c,1) f4 (a,0,b,0) ? (c,1,c,0) f2 f3 f1 (a,0,b,0) ? (b,0,b,0) (b,0,b,0) ? (c,0,c,0) 用问题归约法求解猴子和香蕉问题的与或图 * 用要证的问题与已知规则的结论相匹配 匹配操作：将其条件与要证问题的条件相比较 若条件已存在，则为本原问题，该问题可解； 若缺少条件，则将该条件作为要证的子问题，原问题的条件仍为新的子问题的条件，继续归约。 如对一个问题同时有几条本原问题描述可以匹配, 则可以对该问题节点进行或扩展。 归约操作方法: * 例4：求证一个角的平分线上的点与该角的两边距离相等. 已知：∠DBA= ∠DBC，BA⊥AD, BC⊥CD，DB为一线段，? BAD和? BCD为三角形，试用问题归约法证明： AD=CD。 假设：已有的知识是:若两个三角形有一 个等长边，且相邻两个角相等,则两个三 角形全等。即：设?X1X2X3，?Y1Y2Y3， 若：X3X1=Y3Y1, ∠X3X1X2= ∠Y3Y1Y2,∠ X1X2X3= ∠ Y1Y2Y3, 则：?X1X2X3 ??Y1Y2Y3 此外，已有的知识还有：全等三角形的边都等长；两线垂直，夹角为90度；三角形内角和为180度，即： ∠X1X2X3 + ∠X2X3X1 +∠X3X1X2=180。 或： ∠X3X1X2= ∠Y3Y1Y2, ∠X1X2X3=∠Y1Y2Y3 ?∠X2X3X1=∠Y2Y3Y1 A B C D * 练习-答案 问题表示：∠DBA= ∠DBC, BA⊥AD, BC⊥CD, ?BAD, ? BCD ? AD=CD P1：∠X1=90o,∠X2=90o?∠X1= ∠ X2 P2：?X1X2X3，?Y1Y2Y3，X3X1=Y3Y1，∠X3X1X2= ∠Y3Y1Y2, ∠X1X2X3= ∠Y1Y2Y3 ? ? X1X2X3 ? ? Y1Y2Y3 P3：X1X2 ⊥ X2X3 ? ∠ X1X2X3= 90o P4：? X1X2X3 ? ? Y1Y2Y3 ? X2X3=Y2Y3 P5：? X1X2X3 ? ∠ X1X2X3 + ∠ X2X3X1 +∠ X3X1X2=180o P6：? X1X2X3, ? Y1Y2Y3, ∠ X3X1X2= ∠ Y3Y1Y2, ∠ X1X2X3=∠Y1Y2Y3 ? ∠ X2X3X1= ∠ Y2Y3Y1 A B C D * BA⊥AD ? ∠BAD= 90o BC⊥CD ? ∠BCD= 90o {S}? AD=CD P4 {S} ? ? BAD ? ? BCD P2 ∠BAD,∠BCD= 90o ?∠BAD= ∠BCD DB=DB, ∠BDA= ∠BDC, ∠DBA= ∠DBC ? ? BAD ? ? BC