×

成本最优规划的高效符号搜索。 (英语) Zbl 1392.68391号

概要:在成本优化规划中,我们的目标是找到一系列以最低成本实现一组目标的运营商。使用二进制决策图(BDD)进行符号搜索可以在时间和内存方面进行有效的状态空间探索。这对于优化设置至关重要,在优化设置中,必须探索状态空间的很大一部分才能证明优化。然而,近年来精确启发式显式搜索的发展使符号搜索技术处于次要地位。
在本文中,我们提出了符号搜索规划的两个正交改进。一方面,我们分析和比较了不同的图像计算方法,以便有效地执行符号搜索的后续生成。图像计算是符号搜索算法的主要瓶颈,因此有效的计算对于有效的符号搜索规划至关重要。另一方面,我们研究了如何在符号搜索中使用状态不变约束来修剪状态。这在回归搜索中至关重要,但在符号搜索规划中尚未得到利用。
使用PDB进行符号双向统一代价搜索和符号A*搜索的实验表明,在大多数IPC基准域上,性能都有显著提高。总的来说,在我们的改进的帮助下,符号双向搜索通过最先进的启发式(例如LM剪切跨许多不同领域。

MSC公司:

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

软件:

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

参考文献:

[1] Dijkstra,E.W.,关于与图有关的两个问题的注释,Numer。数学。,1, 269-271 (1959) ·Zbl 0092.16002号
[2] Felner,A.,《立场文件:Dijkstra算法与统一成本搜索或反对Dijkstra算法的案例》,(Borrajo,D.;Likhachev,M.;Linares López,C.,《组合搜索研讨会论文集》(SoCS)(2011),AAAI出版社),47-51
[3] 哈特,体育。;新泽西州尼尔森。;Raphael,B.,《启发式确定最小成本路径的形式基础》,IEEE Trans。系统。科学。赛博。,4100-107年(1968年)
[4] 赫尔默特,M。;哈斯鲁姆,P。;霍夫曼,J。;Nissim,R.,《合并与收缩抽象:在因子状态空间中生成下限的方法》,J.ACM,61,16:1-16.63(2014)·Zbl 1295.68189号
[5] 赫尔默特,M。;Domshlak,C.,《地标、关键路径和抽象:到底有什么区别?》?,(Gerevini,A.;Howe,A.E.;Cesta,A.;Refanidis,I.,《国际自动规划与调度会议(ICAPS)会议记录》(2009年),AAAI出版社),162-169
[6] 阿尔卡扎尔,V。;Borrajo,D。;费尔南德斯,S。;Fuentetaja,R.,《重新审视规划中的回归》,(Rossi,F.,《国际人工智能联合会议论文集》(2013),国际人工智能联合会议/AAAI),2254-2260
[7] 博内,B。;Geffner,H.,规划作为启发式搜索,Artif。智力。,129, 5-33 (2001) ·Zbl 0971.68146号
[8] Bryant,R.E.,布尔函数操作的基于图形的算法,IEEE Trans。计算。,35, 677-691 (1986) ·Zbl 0593.94022号
[9] Edelkamp,S。;Reffel,F.,《启发式搜索中的OBDDs》,(Herzog,O.;Günter,A.,《德国人工智能会议论文集》(KI)。《德国人工智能会议记录》,计算机科学讲稿,第1504卷(1998年),施普林格出版社,81-92
[10] McMillan,K.L.,《符号模型检查》(1993),Kluwer学术出版社·Zbl 1132.68474号
[11] Cimatti,A。;Giunchiglia,F。;Giunchiglia,E。;Traverso,P.,《通过模型检查进行规划:AR的决策程序》,(Steel,S.;Alami,R.,《欧洲规划会议论文集》(ECP)。《欧洲规划会议记录》,《计算机科学讲义》,第1348卷(1997年),斯普林格出版社,130-142
[12] Edelkamp,S。;Helmert,M.,MIPS:模型检查综合规划系统,AI Mag.,22,67-72(2001)
[13] Jensen,R.M。;Veloso,M.M。;Bryant,R.E.,《状态集分支:利用BDD进行启发式搜索》,Artif。智力。,172, 103-139 (2008) ·Zbl 1182.68248号
[14] Edelkamp,S。;Kissmann,P.,《具有行动成本和偏好的最优符号规划》(Boutiler,C.,《国际人工智能联合会议(IJCAI)会议记录》(2009)),1690-1695
[15] 基斯曼,P。;Edelkamp,S.,《改进成本最优的区域依赖符号规划》(Burgard,W.;Roth,D.,《AAAI人工智能会议论文集》(2011),AAAI出版社),992-997
[16] 阿拉巴马州托拉尔巴。;Edelkamp,S。;Kissmann,P.,《成本最优符号规划的过渡树》,(Borrajo,D.;Kambhampati,S.;Oddi,A.;Fratini,S.,《自动规划与调度国际会议论文集》(2013),AAAI出版社),206-214
[17] 阿拉巴马州托拉尔巴。;Alcázar,V.,《约束符号搜索:互斥、BDD最小化及更多》,(Helmert,M.;Röger,G.,《组合搜索研讨会论文集》(SoCS)(2013),AAAI出版社),175-183
[18] Hung,W.,利用对称性进行形式验证(1997),德克萨斯大学奥斯汀分校,硕士论文
[19] Edelkamp,S。;Kissmann,P.,BDD在状态空间搜索中的局限性和可能性,(Fox,D.;Gomes,C.P.,《AAAI人工智能会议论文集》(2008),AAAI出版社),1452-1453
[20] Edelkamp,S。;Kissmann,P.,《状态空间搜索BDD的复杂性:connect four中的案例研究》(Burgard,W.;Roth,D.,《AAAI人工智能会议论文集》(2011),AAAI出版社),18-23
[21] Bryant,R.E.,有序二元决策图的符号布尔运算,ACM计算。调查。,24, 293-318 (1992)
[22] 基斯曼,P。;霍夫曼,J.,我的BDD里面有什么?关于因果图和规划中的可变顺序,(Borrajo,D.;Kambhampati,S.;Oddi,A.;Fratini,S..,《国际自动规划与调度会议论文集》(2013),AAAI出版社),327-331
[23] 基斯曼,P。;霍夫曼,J.,BDD经典规划的排序启发法,J.Artif。因特尔。决议,51,779-804(2014)·Zbl 1314.68292号
[24] 基斯曼,P。;Edelkamp,S。;霍夫曼(Hoffmann,J.),《玩家与动态游戏玩家——2014年IPC的符号搜索》(《国际规划竞赛(IPC)论文集》(2014)),77-84
[25] 吉中,R。;Kawahara,J。;Denzumi,S。;Arimura,H。;Minato,S.,关于BDD二进制运算复杂性的长期猜测的反例,Inf.Process。莱特。,112, 636-640 (2012) ·Zbl 1248.68265号
[26] Bollig,B.,长期以来关于布莱恩特应用算法复杂性的猜测的一个简单反例,Inf.Process。莱特。,114, 124-129 (2014) ·兹比尔1284.68209
[27] Nicholson,T.A.J.,《寻找网络中两点之间的最短路径》,计算。J.,9275-280(1966年)·Zbl 0156.18107号
[28] Goldberg,A.V。;Werneck,R.F.F.,《从外部存储器计算点到点最短路径》,(Demetrescu,C.;Sedgewick,R.;Tamassia,R.,《算法工程与实验研讨会论文集》和《分析算法与组合数学研讨会论文集(ALENEX/ANALCO)(2005),SIAM),26-40
[29] Pohl,I.,《路径问题中的双向和启发式搜索》(1969年),斯坦福大学计算机科学系,技术报告
[30] Hansen,E.A。;周,R。;Feng,Z.,使用决策图的符号启发式搜索,(Koenig,S.;Holte,R.C.,《抽象、重构和近似(SARA)研讨会论文集》。抽象、重构和近似(SARA)研讨会论文集,计算机科学讲稿,第2371卷(2002),斯普林格),83-98·Zbl 1077.68828号
[31] Jensen,R.M。;布莱恩特·R·E。;Veloso,M.M.,(\text{SetA}^\ast):一种高效的基于BDD的启发式搜索算法,(Dechter,R.;Sutton,R.S.,《AAAI人工智能会议论文集》(2002),AAAI出版社/麻省理工学院出版社),668-673
[32] Kissmann,P.,《规划和一般游戏中的符号搜索》(2012年),不来梅大学博士论文
[33] Edelkamp,S。;基斯曼,P。;阿拉巴马州托拉尔巴。,符号搜索与模式数据库以及合并和收缩抽象,(De Raedt,L.;Bessière,C.;Dubois,D.;Doherty,P.;Frasconi,P.,Heintz,F.;Lucas,P.J.F.,《欧洲人工智能会议论文集》。《欧洲人工智能会议记录》,《人工智能和应用前沿》,第242卷(2012年),IOS出版社,306-311
[34] 阿拉巴马州托拉尔巴。,成本最优规划的符号搜索和抽象启发式(2015),马德里卡洛斯三世大学博士论文
[35] 卡尔伯森,J.C。;Schaeffer,J.,模式数据库,计算。智力。,14, 318-334 (1998)
[36] Edelkamp,S。;Schrödl,S.,《启发式搜索-理论与应用》(2012),学术出版社·Zbl 1238.68150号
[37] Edelkamp,S.,《利用模式数据库进行规划》,(Cesta,A.;Borrajo,D.,《欧洲规划会议论文集》(ECP)。《欧洲规划会议论文集》(ECP),《计算机科学讲义》(2001),施普林格出版社,13-34,因9月11日而丢失的卷
[38] 安德森,K。;霍尔特,R。;Schaeffer,J.,部分模式数据库,(Miguel,I.;Ruml,W.,抽象、重整和近似研讨会论文集(SARA)。抽象、重构和近似(SARA)研讨会论文集,计算机科学讲稿,第4612卷(2007),Springer),20-34
[39] Edelkamp,S.,启发式搜索规划中的符号模式数据库,(Ghallab,M.;Hertzberg,J.;Traverso,P.,《人工智能规划系统会议论文集》(2002),AAAI出版社),274-283
[40] 哈斯鲁姆,P。;Botea,A。;赫尔默特,M。;博内,B。;Koenig,S.,用于成本最优规划的模式数据库启发式的领域依赖性构建,(AAAI人工智能会议论文集(2007),AAAI出版社),1007-1012
[41] Burch,J.R。;克拉克,E.M。;Long,D.E。;McMillan,K.L。;Dill,D.L.,用于时序电路验证的符号模型检查,IEEE Trans。计算-辅助设计。集成。电路系统。,13, 401-424 (1994)
[42] Burch,J.R。;克拉克,E.M。;Long,D.E.,带分区转换关系的符号模型检验,(超大规模集成电路(VLSI)国际会议论文集(1991)),49-58
[43] Burch,J.R。;克拉克,E.M。;Long,D.E.,在符号模型检查中更有效地表示电路,(设计自动化会议(DAC)论文集(1991)),403-407
[44] Chauhan,P。;克拉克,E.M。;Jha,S。;库库拉,J.H。;Shiple,T.R。;维思,H。;Wang,D.,图像计算中的非线性量化调度,(国际计算机辅助设计会议论文集(ICCAD)(2001),IEEE出版社),293-298
[45] 月亮,I.-H。;库库拉,J.H。;拉维,K。;Somenzi,F.,分割还是结合:图像计算中的问题,(设计自动化会议(DAC)论文集(2000)),23-28
[46] Jensen,R.M。;汉森,E.A。;理查兹,S。;Zhou,R.,记忆效率符号启发式搜索,(Long,D.;Smith,S.F.;Borrajo,D.;McCluskey,L.,《国际自动计划与调度会议论文集》(2006),304-313
[47] Helmert,M.,《快速下行规划系统》,J.Artif。因特尔。第26号决议,191-246(2006)·Zbl 1182.68245号
[48] Forgy,C.,RETE:解决多模式/多对象匹配问题的快速算法,Artif。智力。,19, 17-37 (1982)
[49] 阿拉巴马州托拉尔巴。;Linares López,C。;Borrajo,D.,《成本最优规划的象征性合并与收缩》(Rossi,F.,《国际人工智能联合会议(IJCAI)论文集》,IJCAI/AAAI(2013)),2394-2400
[50] 齐勒斯,S。;Holte,R.C.,状态空间抽象中避免伪状态的计算复杂性,Artif。智力。,174, 1072-1092 (2010) ·兹比尔1210.68105
[51] 哈斯鲁姆,P。;博内,B。;Geffner,H.,《域相关规划的新可接受启发法》(Veloso,M.M.;Kambhampati,S.,《AAAI人工智能会议论文集》(2005),AAAI出版社/麻省理工学院出版社),1163-1168
[52] Alcázar,V.,《自动化规划中中间目标的生成和利用》(2014),马德里卡洛斯三世大学博士论文
[53] Helmert,M.,PDDL规划任务的简明有限域表示法,Artif。智力。,173, 503-535 (2009) ·Zbl 1191.68635号
[54] 哈斯鲁姆,P。;Geffner,H.,最优规划的可接受启发式,(Chien,S.;Kambhampati,S.);Knoblock,C.A.,《人工智能规划系统会议论文集》(2000),AAAI),140-149
[55] Haslum,P.,(h^m(P)=h^1(P^m):从(h^{max})到(h^m\)的泛化的替代特征,(Gerevini,A.;Howe,A.E.;Cesta,A.;Refanidis,I.,《国际自动规划与排程会议论文集》(ICAPS)(2009),AAAI出版社),354-357
[56] Haslum,P.,《重温加法和反向松弛可达性启发法》(国际规划竞赛(IPC)(2008))
[57] 阿尔卡扎尔,V。;阿拉巴马州托拉尔巴。,关于计算和利用不变量在规划中的重要性的提醒,(Brafman,R.;Domshlak,C.;Haslum,P.;Zilberstein,S.,《国际自动规划与调度会议论文集》(2015),AAAI出版社),2-6
[58] 库德特,O。;Madre,J.C.,《时序电路形式验证的统一框架》(国际计算机辅助设计会议(ICCAD)会议记录(1990)),126-129
[59] McMillan,K.L.,符号模型检查的联合分解布尔表示,(Alur,R.;Henzinger,T.A.,计算机辅助验证(CAV)。计算机辅助验证(CAV),《计算机科学讲义》,第1102卷(1996年),施普林格出版社,13-25
[60] Y.Hong。;Beerel公司。;Burch,J.R。;McMillan,K.L.,《使用无关紧要的方法实现安全BDD最小化》,(设计自动化会议(DAC)论文集(1997)),208-213
[61] 维达尔,V。;Geffner,H.,用更多的推理和无搜索解决简单规划问题,(van Beek,P.,《约束编程的原理和实践》(CP)。约束编程原理与实践(CP),《计算机科学讲义》,第3709卷(2005),施普林格出版社,682-696·Zbl 1153.68494号
[63] 赫尔默特,M。;Röger,G。;塞普,J。;卡帕斯,E。;霍夫曼,J。;Keyder,E。;尼西姆·R。;里希特,S。;Westphal,M.,《快速下降石汤》(2011年国际规划竞赛论文集)
[64] Linares López,C。;塞洛里奥,S.J。;Olaya,A.G.,第七届国际规划竞赛的决定性部分,Artif。智力。,223, 82-119 (2015)
[65] 阿拉巴马州托拉尔巴。;阿尔卡扎尔,V。;Borrajo,D。;基斯曼,P。;Edelkamp,S.,\(\text{SymBA}^\ast\):符号双向\(\text{a}^\ast\)规划师,(国际规划竞赛论文集(2014)),105-109
[66] 阿拉巴马州托拉尔巴。;Linares López,C。;Borrajo,D.,符号双向搜索的抽象启发式,(国际人工智能联合会议(IJCAI)会议记录(2016),AAAI出版社),3272-3278
[67] Edelkamp,S。;基斯曼,P。;阿拉巴马州托拉尔巴。,BDD反击(AI规划),(Bonet,B.;Koenig,S.,《AAAI人工智能会议论文集》(2015),AAAI出版社),4320-4321
[68] 斯坦梅茨,M。;Hoffmann,J.,《走向子句学习状态空间搜索:学习识别死词》(Schuurmans,D.;Wellman,M.P.,《AAAI人工智能会议论文集》(2016),AAAI出版社),760-768
[69] Massey,B.,《规划方向:理解规划中的时间流动》(1999),俄勒冈大学计算智能研究实验室,博士论文
[70] 赖斯,M.N。;Tsotras,V.J.,《具有加性近似边界的双向搜索》,(Borrajo,D.;Felner,A.;Korf,R.E.;Likhachev,M.;Linares López,C.;Ruml,W.;Sturtevant,N.R.,《组合搜索研讨会论文集》(SoCS)(2012),AAAI出版社)
[71] Barker,J.K。;Korf,R.E.,《前端到端双向启发式搜索的局限性》,(Bonet,B.;Koenig,S.,《AAAI人工智能会议论文集》(2015),AAAI出版社),1086-1092
[72] 霍尔特,R.C。;费尔纳,A。;沙龙,G。;Sturtevant,N.R.,《保证在中间相遇的双向搜索》(Schuurmans,D.;Wellman,M.P.,《AAAI人工智能会议论文集》(2016),AAAI出版社),3411-3417
[73] 沙龙,G。;霍尔特,R.C。;费尔纳,A。;Sturtevant,N.R.,《扩展摘要:双向启发式搜索的改进优先函数》,(Baier,J.A.;Botea,A.,《第九届组合搜索年会论文集》,2016年SOCS,美国纽约州塔里敦,2016年7月6-8日(2016),AAAI出版社),139-140
[74] 斯图尔特万特,N.R。;Chen,J.,外部记忆双向搜索,(Kambhampati,S.,《第二十五届国际人工智能联合会议论文集》,2016年国际人工智能大会论文集,2016年7月9日至15日,美国纽约州纽约市,IJCAI/AAAI出版社),676-682
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。