×

在最优状态空间搜索中合理部署多种启发式。 (英语) Zbl 1443.68166号

摘要:使用几种可接受的启发式搜索最优解的明显方法是取其最大值。在本文中,我们的目标是减少在(A^\ast)和(mathit{IDA}^\ast\)上下文中计算启发式所花费的时间。我们讨论懒惰\(A^\ast\)和懒惰\(\mathit{IDA}^\ast),分别是\(A^\ast\)和\(\mathat{IDA}^\asp\)的变体,其中启发式是惰性评估的:仅当它们对搜索过程中的决策至关重要时。虽然这些懒惰算法优于朴素最大化,但我们可以通过智能地决定何时计算更昂贵的启发式算法来做得更好。我们提出了一种新的基于理性元推理的方案,该方案基于短视的后悔估计来决定是否计算更昂贵的启发式。此方案用于创建理性懒惰\(A^\ast\)和理性懒惰\(\mathit{IDA}^\ast\)。我们还提供了不同的方法来估计做出此类决策所需的参数。多个领域的实证评估支持了理论结果,并表明理性变量rational lazy(A^\ast)和rational lazzy(mathit{IDA})优于非理性变量。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)

软件:

BRP公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 罗素,S。;Wefald,E.,元推理原理,Artif。智力。,49, 361-395 (1991) ·Zbl 0737.68075号
[2] 托宾,D。;Shimony,S.E.,CSP启发式的合理部署,(Walsh,T.,IJCAI,IJCAI/AAAI(2011)),680-686
[3] 海伊,N。;罗素,S。;托宾,D。;Shimony,S.E.,《选择计算:理论和应用》,(de Freitas,N.;Murphy,K.P.,UAI(2012),AUAI出版社),346-355
[4] Thayer,J.T。;Ruml,W.,有界次优搜索:使用不可接受估计的直接方法,(第二十二届国际人工智能联合会议论文集。第二十二届国际人工智能联合会议论文集,IJCAI-11(2011))
[5] 伯恩斯,E。;西拉姆。;做,M.B.,当时间重要时的启发式搜索,J.Artif。智力。研究(JAIR),47,697-740(2013)·Zbl 1270.68266号
[6] D.O'Ceallaigh,W.Ruml,实时启发式搜索中的元推理,收录于:Lelis和Stern[39];D.O'Ceallaigh,W.Ruml,实时启发式搜索中的元推理,收录于:Lelis和Stern[39]
[7] 哈特,体育。;新泽西州尼尔森。;Raphael,B.,《启发式确定最小成本路径的形式基础》,IEEE Trans。系统。科学。赛博。SCC,4,2,100-107(1968)
[8] Korf,R.E.,深度-第一次迭代深化:最优容许树搜索,Artif。智力。,27, 1, 97-109 (1985) ·Zbl 0573.68030号
[9] Korf,R.E.,《线性空间最佳优先搜索》,Artif。智力。,62, 1, 41-78 (1993) ·兹比尔0778.68079
[10] 费尔纳,A。;美国扎哈维。;霍尔特,R。;谢弗,J。;Sturtevant,N。;张,Z.,《理论和实践中的不一致启发式》,Artif。智力。,175, 9-10, 1570-1603 (2011) ·Zbl 1225.68244号
[11] Dechter,R。;Pearl,J.,《广义最佳优先搜索策略与A*的最优性》,J.ACM,32,3,505-536(1985)·Zbl 0631.68075号
[12] 张,L。;Bacchus,F.,MAXSAT成本最优规划启发式,(AAAI(2012))
[13] Domshlak,C。;卡帕斯,E。;Markovitch,S.,《在线加速优化规划学习》,J.Artif。智力。研究,44,709-755(2012)·Zbl 1280.68238号
[14] 大麦,M.W。;弗朗哥,S。;Riddle,P.J.,《克服启发式生成中的效用问题:为什么时间很重要》,(Chien,S.A.;Do,M.B.;Fern,A.;Ruml,W.,Proc.ICAPS 2014。程序。ICAPS 2014,AAAI(2014))
[15] Lelis,L.H.S。;弗朗哥,S。;Abisrror,M。;大麦,M。;齐勒斯,S。;Holte,R.C.,《经典规划中的启发式子集选择》,(Kambhampati,S.,《2016年国际建筑学会学报》(2016),国际建筑学会/美国建筑学会出版社),3185-3191
[16] 托宾,D。;Beja,T。;Shimony,S.E。;费尔纳,A。;Karpas,E.,《在A*中合理部署多种启发式》(IJCAI(2013))
[17] 托宾,D。;O.Betzalel。;费尔纳,A。;Shimony,S.E.,《IDA中多重启发式的理性部署》*,(Schaub,T.;Friedrich,G.;O'Sullivan,B.,ECAI 2014。ECAI 2014,《人工智能和应用前沿》,第263卷(2014年),IOS出版社,1107-1108
[18] 费尔纳,A。;戈登堡,M。;沙龙,G。;斯特恩·R。;Beja,T。;斯图尔特万特,N.R。;谢弗,J。;Holte,R.,选择性节点生成的部分展开A*,(AAAI(2012)),471-477
[19] 戈登堡,M。;费尔纳,A。;斯特恩·R。;沙龙,G。;斯图尔特万特,N.R。;霍尔特,R.C。;Schaeffer,J.,《增强部分膨胀》A,J.Artif。智力。研究(JAIR),50,141-187(2014)·Zbl 1361.68197号
[20] 斯特恩·R。;Kulberis,T。;费尔纳,A。;Holte,R.,《使用lookaheads进行最佳优先搜索》(AAAI(2010)),185-190年
[21] 太阳,X。;Yeoh,W。;陈,P。;Koenig,S.,基于A*的搜索的简单优化技术,(AAMAS(2009)),931-936
[22] 托宾,D。;O.Betzalel。;费尔纳,A。;Shimony,S.E.,IDA*中多种启发式的合理部署,CoRR
[23] 莱利斯,L.H.S。;齐勒斯,S。;Holte,R.C.,预测IDA*搜索树的大小,Artif。智力。,196, 53-76 (2013) ·兹比尔1270.68274
[24] Helmert,M.,《快速向下规划系统》,J.Artif。智力。第26号决议,191-246(2006)·Zbl 1182.68245号
[25] 卡帕斯,E。;Domshlak,C.,《具有地标的成本优化规划》(IJCAI(2009)),1728-1733年
[26] 赫尔默特,M。;Domshlak,C.,《地标、关键路径和抽象:到底有什么区别?》?,(ICAPS(2009)),162-169
[27] 塞普,J。;Pommerening,F。;Sievers,S。;Helmert,M.,《向下法则2.0》(2017年)
[28] 科尔夫·R·E。;Taylor,L.A.,《寻找二十四难题的最优解》(AAAI(1996)),1202-1207
[29] O.Betzalel。;费尔纳,A。;Shimony,S.E.,《基于系统的理性懒惰IDA类型》,载:Lelis和Stern[39],第151-155页
[30] 张,H。;郭,S。;朱伟。;A.Lim。;Cheang,B.,《集装箱重新定位问题的IDA*算法研究》,(第23届应用国际系统工业工程和其他应用国际会议程序——第一部分,第23届工业工程和应用国际系统其他应用国际大会程序——第一部分,IEA/AIE’10(2010),斯普林格·弗拉格:柏林斯普林格尔·弗拉格,海德堡),31-40·Zbl 1295.90003号
[31] 卡塞塔,M。;沃ß,S。;Sniedovich,M.,《将走廊方法应用于区块重新定位问题》,OR Spektrum,33,4,915-929(2011)·Zbl 1229.90019号
[32] Jin,B。;A.Lim。;Zhu,W.,集装箱重新定位问题的贪婪长头启发式算法,(IEA/AIE.IEA/AIE,LNCS,第7906卷(2013),Springer),181-190
[33] 贝伦德,D。;科恩,S。;Shimony,S.E。;Zucker,S.,具有极端依赖性的测试的最优排序, 《信息系统和管理科学中的建模、计算和优化——第三届信息系统与管理科学建模、计算与优化国际会议论文集》信息系统和管理科学建模、计算和优化国际会议,MCO 2015,法国梅茨,2015年5月11日至13日,第一部分(2015)),81-92·兹比尔1370.90096
[34] 贝伦德,D。;布拉夫曼,R。;科恩,S。;Shimony,S。;Zucker,S.,具有优先约束的独立测试的最优排序,离散应用。数学。,162115-127(2014)·Zbl 1300.05209号
[35] 科尔夫·R·E。;Felner,A.,《启发式搜索的最新进展:河内问题四桩塔案例研究》,(第20届国际人工智能联合会议论文集。第20届人工智能国际联合会议论文集中,2007年1月6日至12日,印度海得拉巴(2007)),2324-2329
[36] Lelis,L.H.S。;斯特恩·R。;费尔纳,A。;齐勒斯,S。;Holte,R.C.,《用条件概率预测最优解成本——预测最优解的成本》,《数学年鉴》。Artif公司。智力。,72, 3-4, 267-295 (2014) ·Zbl 1319.68206号
[37] Lelis,L.H.S。;斯特恩·R。;Arfaee,S.J。;齐勒斯,S。;费尔纳,A。;Holte,R.C.,在规则搜索空间中使用双向分层抽样预测最优解成本,Artif。智力。,230, 51-73 (2016) ·Zbl 1344.68216号
[38] Joulani,P.等人。;György,A。;Szepesvári,C.,《延迟反馈下的在线学习》(ICML(2013)),1453-1461
[39] (Lelis,L.;Stern,R.,第八届组合搜索年度研讨会论文集。第八届联合搜索年度研讨会文献集,SOCS 2015,2015年6月11-13日,以色列死海Ein Gedi(2015),AAAI出版社)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。