人工智能第三章2010.docxVIP

4 4； 1-2013 第三章产 第三章产生式系统的搜索策略 回溯策略 图搜索策賂：无信息的图搜索 启发式的图搜索 4IV2O13 4 4； 1-2013 4 4 4； b 2013 3.1回溯策略 4； b 2013 -X回溯算法BACKTRACK 算法中用對的部分变盘、常益、谓词.函数: 算法中用對的部分变盘、常益、谓词.函数: > DATA. RDATAi RI1.ES, P.ATfl i ?￥■ > Ml ：?* ?一中術篇■ ?也可W <) > 溝币 TF RMlDATAl! DAT A藕足结稟条件苛?为真 Dt4l>hNl>il>A rAI；l>ATA^?|?? t,为X CttT?达目标的可能住未定又迭个谒那 奇从 data sansa f走到迭冃标的可能性很水时.wa^ix个妬) NVLIJX);牡、为主农时?为真 >甬馭 AITKl l t^lDAI 11：梅OATA瞬有可用Ml则逼拧排净所砰到的复 HRSI<X|：JU?X 的头 TA1L1XU MXKM QO>S匕 Q;埠 EJU心X1IJ BACKTRACK 过程 Recursive Procedure BACKTRACK (DATA) if TERM (DATA) . return NIL, If DEADEND (DATA) , return FAIL； RULES-APPRULES (DATA): LOOP： if NULL (RULES) , return FAIL； R- FIRST (RULES) i RULES一TAIL. (RULES): RDATA-R (DATA)； PATH一BACKTRACK (RDATA): if PATH=FAIL, go LOOP： return CONS <R> PATH) ? 4； 1-2013 若DEADEND定51不好.则尢张产生新的非终止的状态袖还.. (此不版功又不史败的节点) 埒决方裳：改逼门槛數?即搜索深度BOUND.当递归调用趨过 立个深return FAIL,站龜闫沟. 程序中只有DATA和RDATA，闫測过程中将生匪的状态撫去弃 了.有可能陷入循坏.車复地产生一纟列非终止歩态. (实质属于情况(1)) 解决方隶： 在过般申保存一个欣态揺述表DATALIST：记录从初#収态到当 祐状态路駁上的所有农态?…递归炎业変成DATAL 1ST 取衣头为 DATA . 加比校：当产生新状态RDATA时.比校是否为DATALIST中的一 个状态(在这个表中).若是.HJreturn FAIL.引起问溯.选择 其它的Rule. 10 10 4.1.2013 8 8 4.1-2013 二.回溯策略例 >四呈后问題；4枚皇后放在 >四呈后问題；4枚皇后放在4x4的国际象拱棋盘上，如何放覽使得 :b) 基中d b满足目标条件， c, d. ?为不可能构成满足目标条件的巾间状态. 4.1-2013 综合数据库￡以状态为节点的有向图状态： 综合数据库￡以状态为节点的有向图 状态：4x4矩阵 初始状态；空矩阵 规则，Ruiif i=1时.矩阵中无皇后标左.或4艺i"时.矩阵的kl行 有一术皇后标志.then在矩阵的如行第j列放一个皇后标记 结束条件：TERM为真?。矩阵中有4个皇后标志.耳不能相互俘获 控制策路：回溯 DEADEND(DATA): DATA中存在，对皇后相互俘获.为真 APPR叽ES( RULES):為排在氐之前e>j<k 四皇后问题存在的问题；回溯的次数很多，22次回溯。 原因：没有关于问题的探素性信息指导规则排 解决方法之一：在規则排序过程中使用一些探 四皇后问题 减少回溯次数，提高算法效率. 例；使用函数diag(i, j)来修改APPRULES(RULft) diag(i,j)；通过单元(i, j)的最长对角线的长度. 修改宕禹 APPRULES(RULES): tfdiag (L j) <diag (i? k)」hen 內排在％前. ifdiag Ci, j) = diag Ci, k) , then与以前相同 课堂练习: ?请用回溯搜索策略BACKTRACK求解四皇后 问题，要求规则排序使用对角函数diaj>(i, j)0 如果di昭仏j)<diag(i, k),则在排序中把坷放 在％的前面；如果diag(i, j)=diag(i, k), j<k,则 把％放在％的前面。其中diag(id)定义刃通过 单元(i,j)的最长对角线的长度. 4. h 2013 三、BACKTRACK算法的修改与补充 DATA换成 talist Recursive Procedyr?_BACKTP 辺 ifMCMBERfDATA TAIL(DATALIST) if DEADEND (DATA) ,