卡梅尔·多姆什拉克;霍夫曼，约格;迈克尔·卡茨 红黑规划：一种新的系统方法，用于部分删除松弛。 （英语） Zbl 1328.68194号 Artif公司。智力。 221, 73-114 (2015). 摘要：到目前为止，删除松弛法是确定性规划中一些最有效的启发式方法的基础。然而，尽管它取得了成功，但删除松弛在许多重要的规划领域类别中都存在重大缺陷，并且从一开始就对设计考虑某些删除的启发式方法提出了挑战。我们在此设计了一种优雅而简单的方法来实现这一点。在有限域状态变量的上下文中，我们定义了红色变量以采用宽松的语义，在这种语义中，它们积累值而不是在它们之间切换，而不是采用常规语义的黑色变量。然后，通过允许将变量子集涂成红色，红黑规划在放松规划和常规规划之间进行插值H.陈和O.吉梅内斯“更一般的红黑体环境下规则规划的特征定理[J.Compute.Syst.Sci.76，No.7，579-592（2010；Zbl 1197.68069号)]. 特别是，我们确定了易处理的红黑规划的重要孤岛，用它们设计实用的启发式函数，并用一系列“绘制策略”来自动选择红色变量。我们的实验表明，这些新的启发式函数可以显著提高令人满意的规划的最新水平。 引用于6文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：计划;启发式搜索;删除松弛 引文：兹比尔1197.68069 软件：火炬灯;UCPOP公司;SAPA公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Domshlak}等人，Artif。智力。221、73——114（2015年；Zbl 1328.68194） 全文： 内政部 参考文献： [1] M.卡茨。；霍夫曼，J。；Domshlak，C.，谁说我们需要放松所有变量？，（Borrajo，D.；Fratini，S.；Kambhampati，S.；Oddi，A.，第23届国际自动化规划与调度会议记录。第23届国际自动化规划与调度会议记录，ICAPS’13，意大利罗马（2013），AAAI出版社），126-134 [2] M.卡茨。；霍夫曼，J。；Domshlak，C.，Red-black relaxed plan heuristics，（desJardins，M.；Littman，M.，《第27届AAAI人工智能会议论文集》，第27届人工智能会议文献集，AAAI'13，华盛顿州贝尔维尤，美国（2013），AAAI出版社），489-495 [3] M.卡茨。；Hoffmann，J.，Red-black relaxed plan heuristics reloaded，（Helmert，M.；Röger，G.，《第六届组合搜索年度研讨会论文集》，《第6届组合搜索年会论文集》SOCS’13（2013），AAAI出版社），105-113 [4] McDermott，D.V.，在计划中使用回归匹配图来控制搜索，人工制品。智力。，109, 111-159 (1999) ·Zbl 0916.68145号 [5] 博内，B。；Geffner，H.，计划作为启发式搜索，人工制品。智力。，129, 5-33 (2001) ·Zbl 0971.68146号 [6] 霍夫曼，J。；Nebel，B.，《FF计划系统：通过启发式搜索快速生成计划》，J.Artif。智力。决议，14，253-302（2001）·Zbl 0970.68044号 [7] Bylander，T.，命题STRIPS规划的计算复杂性，Artif。智力。，69, 165-204 (1994) ·Zbl 0821.68065号 [8] Hoffmann，J.，《“忽略删除列表”的工作原理：规划基准中的本地搜索拓扑》，J.Artif。智力。研究，24，685-758（2005）·Zbl 1080.68668号 [9] 赫尔默特，M。；Mattmüller，R.，选定规划领域中可接受启发式函数的准确性，（Fox，D。；Gomes，C.，《美国人工智能协会第23届全国会议记录》。美国人工智能协会第23届全国会议记录，AAAI-08，美国伊利诺伊州芝加哥（2008），AAAI出版社，938-943 [10] Gerevini，A。；Saetti，A。；Serina，I.，《通过随机局部搜索和时间动作图进行规划》，J.Artif。智力。决议，20，239-290（2003）·Zbl 1058.68103号 [11] 里克特，S。；Westphal，M.，《LAMA规划师：使用地标指导基于成本的任何时间规划》，J.Artif。智力。Res.，39，127-177（2010）·Zbl 1205.68383号 [12] Helmert，M.，基于因果图分析的规划启发式，（Koenig，S.；Zilberstein，S.，Koehler，J.，《第十四届国际自动规划与调度会议论文集》，ICAPS'04，加拿大惠斯勒（2004），摩根·考夫曼），161-170 [13] 科尔斯，A。；福克斯，M。；Long，D。；Smith，A.，《数值规划领域的LP启发式混合松弛规划图》（Rintanen，J.；Nebel，B.；Beck，J.C.；Hansen，E.，《第十八届国际自动规划与调度会议论文集》，ICAPS’08（2008），AAAI出版社）， 52-59 [14] Nakhost，H。；霍夫曼，J。；Müller，M.，《资源约束规划：蒙特卡洛随机漫步方法》（Bonet，B.；McCluskey，L.；Silva，J.R.；Williams，B.，《第22届国际自动规划与调度会议论文集》，第22届自动规划与排程国际会议论文集，ICAPS’12（2012），AAAI出版社），181-189 [15] 科尔斯，A.J。；科尔斯，A。；福克斯，M。；Long，D.，规划中数值资源流建模的混合LP-RPG启发式，J.Artif。智力。决议，46，343-412（2013）·兹比尔1272.68371 [16] 做，M.B。；Kambhampati，S.，Sapa：一个与域相关的启发式度量时间规划师（Cesta，a。；Borrajo，D.，人工智能规划的最新进展。第六届欧洲规划会议。人工智能规划的最新进展。第六届欧洲规划会议，ECP-01，西班牙托莱多。人工智能规划的最新进展。第六届欧洲规划会议。人工智能规划的最新进展。第六届欧洲规划会议，ECP-01，托莱多，西班牙，人工智能讲义（2001），斯普林格-Verlag），109-120 [17] van den Briel，M。；Benton，J。；Kambhampati，S。；Vossen，T.，《基于LP的启发式优化规划》，（Bessiere，C.，《第十三届约束规划原理与实践国际会议论文集》，第十三届限制规划原理与实务国际会议论文，CP'07。第十三届约束编程原理与实践国际会议论文集。《第十三届约束编程原理与实践国际会议论文集》，CP’07，《计算机科学讲义》，第4741卷（2007），Springer-Verlag），651-665·Zbl 1145.68537号 [18] Baier，J.A。；Botea，A.，《使用低冲突放松计划提高规划绩效》（Gerevini，A.；Howe，A.；Cesta，A.，Refanidis，I.，《第19届国际自动规划与调度会议论文集》，ICAPS’09（2009），AAAI出版社），10-17 [19] 赫尔默特，M。；Geffner，H.，《统一因果图和加法启发式》（Rintanen，J.；Nebel，B.；Beck，J.C.；Hansen，E.，《第十八届国际自动规划与调度会议论文集》，ICAPS’08（2008），AAAI出版社），140-147 [20] 蔡，D。；霍夫曼，J。；Helmert，M.，《增强上下文增强的加性启发式与优先约束》，（Gerevini，A.；Howe，A.；Cesta，A.，Refanidis，I.，《第19届国际自动计划与调度会议论文集》，ICAPS’09（2009），AAAI出版社）， 50-57 [21] 福克斯，M。；Long，D.，Hybrid STAN:识别和管理规划中的组合优化子问题，（Nebel，B.，第17届国际人工智能联合会议论文集。第17届人工智能国际联合会议论文，IJCAI-01，美国华盛顿州西雅图（2001），Morgan Kaufmann），445-450 [22] 福克斯，M。；Long，D.，Stan4:基于子问题抽象的混合规划策略，AI Mag.，22，81-84（2001） [23] Keyder，E。；Geffner，H.，《重新审视行动成本的规划启发式》（Ghallab，M.，《第18届欧洲人工智能会议论文集》，第18届欧盟人工智能会议文献集，ECAI-08，希腊帕特拉斯（2008），威利），588-592 [24] Haslum，P.，《附加成本规划问题的增量下限》，（Bonet，B.；McCluskey，L.；Silva，J.R.；Williams，B.，《第22届自动规划与调度国际会议论文集》，ICAPS’12（2012），AAAI出版社），74-82 [25] Keyder，E。；霍夫曼，J。；Haslum，P.，《半松弛计划启发法》（Bonet，B.；McCluskey，L.；Silva，J.R.；Williams，B.，《第二十二届国际自动规划与调度会议论文集》，ICAPS’12（2012），AAAI出版社），128-136 [26] Keyder，E。；霍夫曼，J。；Haslum，P.，《通过显式表示连词改进删除松弛启发式》，J.Artif。智力。研究，50487-533（2014）·Zbl 1367.68265号 [27] Knoblock，C.，自动生成规划抽象，Artif。智力。，68, 243-302 (1994) ·Zbl 0942.68712号 [28] 布拉夫曼，R。；Domshlak，C.，一元运算符规划中的结构和复杂性，J.人工制品。智力。决议，18，315-349（2003）·Zbl 1056.68129号 [29] Helmert，M.，快速向下规划系统，J.Artif。智力。第26号决议，191-246（2006）·Zbl 1182.68245号 [30] Domshlak，C。；Nazarenko，A.，《最优单调规划的复杂性：坏、好和因果图》，J.Artif。智力。第487783-812号决议（2013年）·Zbl 1361.68196号 [31] 库普弗施米德，S。；霍夫曼，J。；Dierks，H。；Behrmann，G.，《将人工智能规划启发式应用于定向模型检查》，（Valmari，A.，《第13届国际SPIN研讨会论文集》，第13届SPIN国际研讨会论文集，SPIN 2006。第十三届国际SPIN研讨会论文集。第13届国际SPIN研讨会论文集，SPIN 2006，计算机科学讲义，第3925卷（2006），Springer-Verlag），35-52·Zbl 1178.68347号 [32] 陈，H。；Giménez，O.，因果图和结构限制规划，J.Compute。系统。科学。，76, 579-592 (2010) ·兹比尔1197.68069 [33] 塞普，J。；Helmert，M.，经典规划问题的Fluent合并，（ICAPS 2011规划与调度知识工程研讨会（2011）），47-53 [34] Flum，J.等人。；Grohe，M.，参数化复杂性理论（2006），Springer-Verlag·Zbl 1143.68016号 [35] Koehler，J。；Hoffmann，J.，《关于合理和强制目标排序及其在代理驱动规划算法中的应用》，J.Artif。智力。决议，12，338-386（2000）·Zbl 0946.68130号 [36] Hoffmann，J.，《在不运行任何搜索的情况下分析搜索拓扑：因果图和（h^+）之间的关系》，J.Artif。智力。研究，41，155-229（2011）·Zbl 1218.68160号 [37] Gerevini，A。；舒伯特，L.，《为独立领域规划推断州约束》（Mostow，J.；Rich，C.，《美国人工智能协会第十五届全国会议论文集》，美国人工智能学会第十五届国家会议论文集，1998年，美国威斯康星州麦迪逊，麻省理工学院出版社）， 905-912 [38] 福克斯，M。；Long，D.，TIM中状态不变量的自动推断，J.Artif。智力。第9号决议，367-421（1998年）·Zbl 0910.68199号 [39] Rintanen，J.，《合成不变量的迭代算法》（Kautz，H.A.；Porter，B.，《美国人工智能协会第17届全国会议论文集》，美国人工智能学会第17届国家会议论文集，AAAI-00，德克萨斯州奥斯汀，美国（2000），AAAI出版社），806-811 [40] Helmert，M.，PDDL规划任务的简明有限域表示法，Artif。智力。，173, 503-535 (2009) ·Zbl 1191.68635号 [41] 威廉姆斯，B.C。；Nayak，P.P.，基于模型的执行者的反应性规划师，（Pollack，M.，《第十五届国际人工智能联合会议论文集》，第十五届人工智能国际联合会议论文，IJCAI-97，日本名古屋（1997），Morgan Kaufmann），1178-1185 [42] Domshlak，C。；Dinitz，Y.，《多代理离线协调：结构和复杂性》（Cesta，A。；Borrajo，D.，人工智能规划的最新进展。第六届欧洲规划会议。人工智能规划的最新进展。第六届欧洲规划会议，ECP-01，西班牙托莱多。人工智能规划的最新进展。第六届欧洲规划会议。人工智能规划的最新进展。第六届欧洲规划会议，ECP-01，托莱多，西班牙，人工智能讲义（2001），斯普林格-Verlag），34-43 [43] 霍夫曼，J。；波蒂厄斯，J。；Sebastia，L.，《规划中的有序地标》，J.Artif。智力。决议，22，215-278（2004）·Zbl 1080.68670号 [44] 卡帕斯，E。；Domshlak，C.，《具有地标的成本优化规划》，（Boutiler，C.，第21届国际人工智能联合会议论文集。第21届人工智能联合大会论文集，2009年，美国加利福尼亚州帕萨迪纳（2009），Morgan Kaufmann），1728-1733 [45] 赫尔默特，M。；Domshlak，C.，《地标、关键路径和抽象：到底有什么区别？》？，（Gerevini，A.；Howe，A.；Cesta，A.，Refanidis，I.，《第19届国际自动规划与调度会议论文集》，ICAPS'09（2009），AAAI出版社），162-169 [46] 里克特，S。；Helmert，M.，《满意规划中的首选操作员和延迟评估》（Gerevini，A.；Howe，A.；Cesta，A.，Refanidis，I.，《第19届国际自动规划与调度会议论文集》，ICAPS’09（2009），AAAI出版社），273-280 [47] Rintanen，J.，《作为可满足性的规划：启发式》，Artif。智力。，193, 45-86 (2012) ·Zbl 1270.68276号 [48] 塞纳莫，I。；de la Rosa，T。；Fernández，F.，IBACOP和IBACOP2规划师（IPC 2014规划师摘要（2014）），35-38 [49] 彭伯蒂，J.S。；Weld，D.S.，UCPOP:一个健全、完整的ADL部分订单规划师，（Nebel，B.；Swartout，W.；Rich，C.，《知识表示和推理原则：第三届国际会议论文集》，KR-92，马萨诸塞州坎布里奇（1992），摩根·考夫曼），103-114 [50] Nguyen，X。；Kambhampati，S.，《复兴部分订单规划》（Nebel，B.，《第17届国际人工智能联合会议论文集》，第17届人工智能国际联合会议论文，IJCAI-01，美国华盛顿州西雅图（2001），Morgan Kaufmann），459-464 [51] Nakhost，H。；Müller，M.，《动作消除和计划邻域图搜索：计划改进的两种算法》（Brafman，R.I.；Geffner，H.；Hoffmann，J.；Kautz，H。第20届国际自动规划与调度会议论文集。《第20届国际自动规划与调度会议记录》，ICAPS’10（2010），AAAI出版社，121-128 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。