人工智能 课件第三讲知识表示方法----问题规约法.ppt

第三讲知识表示方法----问题规约法 一问题规约法描述 已知问题的描述，通过一系列变化，把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。 1.梵塔问题 问题：3个柱子（1，2，3）与三个不同尺寸的圆盘（A，B，C） 第三讲知识表示方法----问题规约法 1.梵塔问题 1 2 3 1 2 3 S =(111) G=(333) 第三讲知识表示方法----问题规约法 规约法举例 （1）要把所有圆盘都移到柱子3，必须先柱子3空，然后移C到柱子3； （2）将圆盘A，B移至柱子2，才能移C 到柱子3； （3）然后将C移到柱子3。 第三讲知识表示方法----问题规约法 第三讲知识表示方法----问题规约法 1.梵塔问题 初始状态S=（111） 目标状态G=（333） 规约过程： (111）?(122)，双圆盘问题 (122）?(322)，单圆盘问题 (322）?(333)，双圆盘问题 第三讲知识表示方法----问题规约法 规约图： (111）?(333) (111）?(122) (111）?(122) (111）?(122) (111）?(122) (111）?(122) (111）?(122) (111）?(122) (111）?(122) (111）?(122) 第三讲知识表示方法----问题规约法 2.问题规约机理 设三元状态（S，F，G）中能识别某个适当路标状态序列g1,g2,…gn,则把初始问题规约为（S，F ，{g1})，({g1}，F，{g2})，…，({gn},F,G)。 若状态集合G1和G2中任何一个状态都可以作为第一个路标时，则在建立({g1},F,G2)之前必须解决(S，F,G1)，其中g1属于G1。 第三讲知识表示方法----问题规约法 关键算符 辨别问题规约过程中的路标的算符。 设f为关键算符，则Gf为f适用的所有状态的集合，问题规约： （S，F，G） （S，F，Gf） ({f(g)},F,G) 第三讲知识表示方法----问题规约法 差别 用S的元对由集合G规定的目标进行测试失败原因的部分表列。 例如：猴子与香蕉问题中， F={f1:goto(u), S=(a,0,b,0) f2:pushbox(v), G=(c,1,c,1) f3:climbbox, 差别： f4:grasp} z1,关键算符f4 第三讲知识表示方法----问题规约法 ({a,0,b,0},G) f4 ({a,0,b,0},Gf4) ({f4(s1)},G) f2 f1 f3 ({a,0,b,0}, Gf2) ({f2(s11)},Gf4) ({a,0,b,0}, Gf1) ({f1(s12)}, Gf4) ({a,0,b,0}, Gf3) ({f3(s15)}, f4) f1 f3 ({a,0,b,0}, Gf1) ({f1(s111)}, Gf2) ({c,0,c,0}, Gf3) ({f3(s121)}, Gf4) 猴子与香蕉问题的归约与或图 第三讲知识