×

Landmark增强的抽象启发。 (英文) Zbl 1251.68200号

摘要:抽象和地标是为域相关规划设计可接受启发式的两个关键机制。在这里,我们的目标是通过将地标信息集成到抽象中来组合它们。我们提出了一个将地标编译到问题规范中的具体方案。该方案保留了原始问题的所有可达属性,特别适合于隐式抽象启发式。我们的形式和实证分析表明,里程碑信息可以显著提高启发式估计的质量。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68T42型 Agent技术与人工智能
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bäckström,C。;Klein,I.,多项式时间规划:SAS-PUBS课程,计算智能,7,3811-197(1991)
[2] Bäckström,C。;Nebel,B.,规划的复杂性结果,计算智能,11,4,625-655(1995)
[3] B.Bonet,J.Castillo,《生成地标的完整算法》,摘自:《第21届国际自动规划与调度会议论文集》,德国弗莱堡,2011年。;B.Bonet,J.Castillo,《生成地标的完整算法》,载于:《第21届国际自动规划与调度会议论文集》,德国弗莱堡,2011年。
[4] B.Bonet,M.Helmert,《通过命中集加强里程碑式启发式》,载于:《第九届欧洲人工智能会议论文集》,葡萄牙里斯本,2010年,第329-334页。;B.Bonet,M.Helmert,《通过命中集加强里程碑式启发式》,载于《第九届欧洲人工智能会议论文集》,葡萄牙里斯本,2010年,第329-334页·兹比尔1211.90297
[5] A.I.Coles,M.Fox,D.Long,A.J.Smith,最优规划的加性析取启发式,载于:《第18届国际自动化规划与调度会议论文集》,2008年,第44-51页。;A.I.Coles,M.Fox,D.Long,A.J.Smith,最优规划的加性析取启发式,载于:《第18届国际自动化规划与调度会议论文集》,2008年,第44-51页。
[6] 卡尔伯森,J。;Schaeffer,J.,模式数据库,计算智能,14,4,318-334(1998)
[7] C.Domshlak,M.Katz,S.Lefler,《当抽象遇到里程碑时》,载于:《第20届国际自动规划与调度会议(ICAPS)论文集》,加拿大多伦多,2010年,第50-56页。;C.Domshlak、M.Katz和S.Lefler,《当抽象遇到里程碑时》,载于:《第20届国际自动规划与调度会议(ICAPS)论文集》,加拿大多伦多,2010年,第50-56页。
[8] Dräger,K。;Finkbeiner,B。;Podelski,A.,《使用距离-保留抽象指导模型检查》(Valmari,A.),第13届国际SPIN模型检查软件研讨会论文集。第13届模型检查软件国际SPIN研讨会论文集,计算机科学讲稿,第3925卷(2006),Springer-Verlag:Springer-Verlag Berlin,海德堡),19-36·Zbl 1178.68338号
[9] S.Edelkamp,《利用模式数据库进行规划》,载于《欧洲规划会议论文集》,2001年,第13-34页。;S.Edelkamp,《利用模式数据库进行规划》,载于《欧洲规划会议(ECP)论文集》,2001年,第13-34页。
[10] S.Edelkamp,启发式搜索规划中的符号模式数据库,载于:《人工智能规划与调度国际会议论文集》,2002年,第274-293页。;S.Edelkamp,启发式搜索规划中的符号模式数据库,载于:《人工智能规划与调度国际会议论文集》,2002年,第274-293页。
[11] 费尔纳,A。;科尔夫·R·E。;Hanan,S.,《加性模式数据库启发式》,《人工智能研究杂志》,22279-318(2004)·Zbl 1080.68662号
[12] P.Haslum,B.Bonet,H.Geffner,《区域相关规划的新可接受启发法》,载于:《第二十届全国人工智能会议论文集》,2005年,第1163-1168页。;P.Haslum,B.Bonet,H.Geffner,《区域相关规划的新可接受启发法》,载《第二十届全国人工智能会议论文集》,2005年,第1163-1168页。
[13] P.Haslum,A.Botea,M.Helmert,B.Bonet,S.Koenig,用于成本最优规划的模式数据库启发式的领域依赖性构建,载于:第19届全国人工智能会议论文集,2007年,第1007-1012页。;P.Haslum,A.Botea,M.Helmert,B.Bonet,S.Koenig,用于成本最优规划的模式数据库启发式的领域相关构建,收录于:《第19届全国人工智能会议论文集》,2007年,第1007-1012页。
[14] P.Haslum,H.Geffner,最优规划的可接受启发式,载《第五届人工智能规划系统国际会议论文集》,2000年,第140-149页。;P.Haslum,H.Geffner,最优规划的可接受启发式,载于《第五届人工智能规划系统国际会议论文集》,2000年,第140-149页。
[15] Helmert,M.,《快速向下规划系统》,《人工智能研究杂志》,26,191-246(2006)·Zbl 1182.68245号
[16] M.Helmert,C.Domshlak,《地标、关键路径和抽象:到底有什么区别?摘自:《第19届国际自动规划与调度会议论文集》,希腊塞萨洛尼基,2009年,第162-169页。;M.Helmert,C.Domshlak,《地标、关键路径和抽象:到底有什么区别?摘自:《第19届国际自动规划与调度会议记录》,希腊塞萨洛尼基,2009年,第162-169页。
[17] M.Helmert,P.Haslum,J.Hoffmann,最优顺序规划的灵活抽象启发法,摘自:第17届国际自动规划与调度会议(ICAPS)论文集,普罗维登斯,RI,美国,2007年,第176-183页。;M.Helmert,P.Haslum,J.Hoffmann,《优化顺序规划的灵活抽象启发法》,载于:《第17届自动规划与调度国际会议论文集》,美国罗得岛州普罗维登斯,2007年,第176-183页。
[18] Helmert,M.,《理解规划任务:领域复杂性和启发式分解》,《计算机科学讲义》,第4929卷(2008年),Springer·Zbl 1130.68092号
[19] I.Hernadvölgyi,R.Holte,PSVN:生产、系统的向量表示,技术代表1999-07,渥太华大学,1999。;I.Hernadvölgyi,R.Holte,PSVN:生产、系统的向量表示,技术代表,1999-07,渥太华大学,1999年。
[20] 霍夫曼,J。;波蒂厄斯,J。;Sebastia,L.,《规划中的有序地标》,《人工智能研究杂志》,22115-278(2004)·Zbl 1080.68670号
[21] E.Karpas,C.Domshlak,地标成本优化规划,载于:国际人工智能联合会议论文集(IJCAI-09),美国加利福尼亚州帕萨迪纳,2009年,第1728-1733页。;E.Karpas,C.Domshlak,地标成本优化规划,载于:国际人工智能联合会议论文集(IJCAI-09),美国加利福尼亚州帕萨迪纳,2009年,第1728-1733页。
[22] E.Karpas,M.Katz,S.Markovitch,《当最优还不够好时:快速近最优行动成本划分》,摘自:《第21届自动规划与调度国际会议论文集》,德国弗莱堡,2011年,第122-129页。;E.Karpas,M.Katz,S.Markovitch,《当最优还不够好时:快速近最优行动成本划分》,载于:《第21届自动规划与调度国际会议论文集》,德国弗莱堡,2011年,第122-129页。
[23] M.Katz,C.Domshlak,《结构模式启发式》,摘自:ICAPS-07领域相关规划启发式研讨会,进展,想法,限制,挑战,普罗维登斯,RI,美国,2007年。;M.Katz,C.Domshlak,《结构模式启发式》,收录于:ICAPS-07领域相关规划启发式研讨会,进展,想法,限制,挑战,普罗维登斯,RI,美国,2007年。
[24] M.Katz,C.Domshlak,基于抽象的可接受启发式的最佳可加性组合,摘自:《第18届国际自动规划与调度会议论文集》,2008年,第174-181页。;M.Katz,C.Domshlak,基于抽象的可接受启发式的最佳可加性组合,收录于:第18届国际自动规划与调度会议(ICAPS),2008年,第174-181页。
[25] M.卡茨。;Domshlak,C.,《通过分叉分解的结构模式启发式》,(第18届国际自动规划与调度会议(ICAPS)(2008),悉尼:澳大利亚悉尼),182-189
[26] M.Katz,C.Domshlak,结构模式数据库,摘自:《第19届国际自动规划与调度会议论文集》,希腊塞萨洛尼基,2009年,第186-193页。;M.Katz,C.Domshlak,《结构模式数据库》,载于:《第19届国际自动规划与调度会议论文集》,希腊塞萨洛尼基,2009年,第186-193页。
[27] M.卡茨。;Domshlak,C.,隐式抽象启发式,《人工智能研究杂志》,39,51-126(2010)·Zbl 1205.68377号
[28] M.卡茨。;Domshlak,C.,抽象启发式的最佳可接受组合,人工智能,174767-798(2010)·Zbl 1205.68376号
[29] E.Keyder,S.Richter,M.Helmert,《声音和完整的地标和/或图形》,载于《第九届欧洲人工智能会议论文集》,葡萄牙里斯本,2010年,第335-340页。;E.Keyder、S.Richter、M.Helmert,《声音和完整的地标和/或图形》,载于《第九届欧洲人工智能会议论文集》,葡萄牙里斯本,2010年,第335-340页·Zbl 1211.68405号
[30] R.Nissim,J.Hoffmann,M.Helmert,《多项式时间内计算完美启发式:优化规划中的互模拟和合并收缩抽象》,载《第22届人工智能国际联合会议论文集》,西班牙加泰罗尼亚巴塞罗那,2011年,第1983-1990页。;R.Nissim,J.Hoffmann,M.Helmert,《多项式时间内计算完美启发式:优化规划中的互模拟和合并收缩抽象》,载于:《第22届国际人工智能联合会议论文集》,西班牙加泰罗尼亚巴塞罗那,2011年,第1983-1990页。
[31] J.Porteous,S.Cresswell,《将地标分析延伸至资源和重复的原因》,载于:《英国规划与调度特别利益集团第21次研讨会论文集》,2002年。;J.Porteous,S.Cresswell,《将地标分析延伸至资源和重复的原因》,载于:《英国规划与调度特别利益集团第21次研讨会论文集》,2002年。
[32] J.Porteous,L.Sebastia,J.Hoffmann,《关于规划中地标的提取、排序和使用》,载《欧洲规划会议论文集》,2001年。;J.Porteous,L.Sebastia,J.Hoffmann,《关于规划中地标的提取、排序和使用》,载《欧洲规划会议论文集》,2001年。
[33] S.Richter、M.Helmert和M.Westphal,《重新审视地标》,载于:《第二十届全国人工智能会议(AAAI)会议记录》,芝加哥,伊利诺伊州,美国,2008年,第975-982页。;S.Richter、M.Helmert和M.Westphal,《重新审视地标》,载于:《第二十届全国人工智能会议(AAAI)会议记录》,芝加哥,伊利诺伊州,美国,2008年,第975-982页。
[34] 维达尔,V。;Geffner,H.,分支和修剪:基于约束规划的最优时间POCL规划器,人工智能,170,3,298-335(2006)·Zbl 1131.68528号
[35] F.Yang,J.Culberson,R.Holte,通用加性搜索抽象,技术代表TR07-06,阿尔伯塔大学,2007。;F.Yang,J.Culberson,R.Holte,《一般加性搜索摘要》,技术代表TR07-06,阿尔伯塔大学,2007年。
[36] 杨,F。;卡尔伯森,J。;霍尔特,R。;美国扎哈维。;Felner,A.,《加性状态空间抽象的一般理论》,《人工智能研究杂志》,32,631-662(2008)·兹比尔1182.68078
[37] L.Zhu,R.Givan,通过路线图推导的启发式规划,载于:国际规划竞赛(IPC),2004年,第64-66页。;L.Zhu,R.Givan,通过路线图推导的启发式规划,载于:国际规划竞赛(IPC),2004年,第64-66页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。