人工智能原理c3-1and 3-2.pptVIP

3. 圆盘梵塔问题归约图： 先用表列形式描述状态: （1 1 1）?（3 3 3） 习题：用四元数列结构表示四圆盘梵塔问题，并画出求解该问题的与或图。 (1 1 1 1)?(3 3 3 3) 4.问题归约机理 问题归约技术：能够成功地把状态空间搜索问题归约为越来越简单的搜索问题，直至所有问题能够被归约为平凡解为止。 关键算符：对问题求解有决定性作用的算符叫做关键算符。 对梵塔难题（3圆盘）：移动圆盘C至柱3是关键算符。 如何根据当前状况选关键算符，以消除差别、归约求解呢？ 对猴子和香蕉问题，4个算符的作用结果和适用条件如下： 走f1：（W，0，Y，Z） goto(U) （U，0，Y，Z） 推f2：（W，0，W，Z） pushbox(V) （V，0，V，Z） 爬f3：（W，0，W，Z） climbbox （W，1，W，Z） 抓f4：（c，1，c，0） grasp （c，1，c，1） (a,0,b,0),F,(c,1,c,1) (1)合适的关键算符：抓 (a,0,b,0),F1,(c,1,c,0) (c,1,c,0),f4,(c,1,c,1) 本原问题