×
萨拉·贝尔纳迪尼;法比奥·法格纳尼;史密斯，大卫·E。

从提升的时间规划域中提取互斥不变量。 （英语） Zbl 1433.68404号

Artif公司。智力。 258, 1-65 (2018).
摘要：我们提出了一种从时间规划实例中自动提取互斥不变量的技术。它首先通过检查域的提升表示来识别一组不变模板，然后根据确保不变的属性检查这些模板。我们的技术建立在文献中提出的其他不变合成方法的基础上，但通过寻址时域，偏离了它们对瞬时动作的有限关注。为了处理时间，我们制定了不变性条件，用于解释动作的整个时间结构以及它们之间可能的并发交互。因此，我们构造了一种比以往方法更全面的技术，它不仅能够找到时间域的不变量，而且能够找到序列域的更广泛的不变量集。我们的实验结果证明，我们的域分析可以有效地识别更广泛的不变量集，从而生成更少的多值状态变量。我们表明，反过来，变量数量的减少积极地反映了使用变量/值表示的时间规划师的绩效。

引用于2文件

MSC公司：

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

关键词：

自动化规划;时间规划;互斥不变量;自动域分析

软件：

图规划;徒步旅行;STAN公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Bernardini}等人，Artif。智力。258，1-65（2018年；Zbl 1433.68404）
全文： 内政部 arXiv公司

参考文献：

[1] Bäckström，C。；Nebel，B.，《SAS+规划的复杂性结果》，计算。智力。，11, 4, 625-655, (1995)
[2] 巴恩斯，J.M。；潘迪，A。；Garlan，D.，《软件架构（architecture）演进的自动化规划》，（2013年第28届IEEE/ACM国际自动化软件工程会议（ASE），（2013）），213-223
[3] 贝尔纳迪尼，S。；Smith，D.E.，为EUROPA2开发域相关搜索控制，（《域相关规划启发式研讨会：进展、想法、局限性、挑战》，第17届自动规划和调度国际会议，ICAPS’07，（2007））
[4] 贝尔纳迪尼，S。；Smith，D.E.，《EUROPA2自动生成启发式指导》（第九届人工智能、机器人技术和空间自动化国际研讨会论文集，iSAIRAS’08，（2008））
[5] 贝尔纳迪尼，S。；Smith，D.E.，翻译pddl2.2。转换为基于约束的变量/值语言，（规划和调度知识工程研讨会论文集，第18届国际自动化规划和调度会议，ICAPS'08，（2008））
[6] 贝尔纳迪尼，S。；Smith，D.E.，时间不变量的自动合成，（第九届抽象、重构和近似研讨会论文集（SARA-11），西班牙Cardona，（2011）），10-17
[7] 贝尔纳迪尼，S。；Smith，D.E.，《寻找时间规划领域中的互斥不变量》（第七届空间规划与调度国际研讨会（IWPS-11），德国达姆施塔特，（2011））
[8] 布鲁姆，A。；Furst，M.，《通过规划图分析快速规划》，Artif。智力。，90, 281-300, (1997) ·Zbl 1017.68533号
[9] 博内，B。；Geffner，H.，规划作为启发式搜索，Artif。智力。，129, 5-33, (2001) ·Zbl 0971.68146号
[10] 陈，Y。；黄，R。；邢，Z。；Zhang，W.，《长期规划互斥》，Artif。智力。，173, 2, 365-391, (2009) ·Zbl 1192.68639号
[11] Chien，S。；Rabideau，G。；奈特·R。；Sherwood，R。；Engelhardt，B。；D.穆茨。；埃斯特林，T。；B.史密斯。；费希尔，F。；巴雷特，T。；Stebbins，G。；Tran，D.，ASPEN——空间任务操作的自动规划和调度（第六届国际空间操作会议，（2000年））
[12] 科尔斯，A.J。；科尔斯，A.I。；福克斯，M。；Long，D.，Forward-chining partial-order planning，（第二十届国际自动计划与调度会议论文集（ICAPS-10），（2010）），42-49
[13] 库欣，W。；焊缝，D。；Kambhampati，S。；毛萨姆；Talamadupula，K.，《评估时间规划领域》，（第十七届国际自动规划与调度会议（ICAPS-07），（2007），105-112
[14] 做，M.B。；Kambhampati，S.，《作为约束满足的规划：通过将规划图编译成CSP来求解规划图》，J.Artif。智力。第132151-182号决议（2001年）·Zbl 0983.68181号
[15] Edelkamp，S。；Helmert，M.，《展示规划问题知识以最小化状态编码长度》（第五届欧洲规划会议（ECP’99），（1999）），135-147
[16] Edelkamp，S。；Helmert，M.，模型检查综合规划系统（MIPS），AI Mag.，22，3，67-71，（2001）
[17] Edelkamp，S。；Hoffmann，J.，PDDL2.2：第四届国际规划竞赛经典部分的语言，（2004），阿尔伯特·卢德维格斯大学弗莱堡分校，技术代表195
[18] Eyerich，P。；马特米勒，R。；Röger，G.，使用上下文增强的加法启发式进行时间和数值规划，（第十九届国际自动化规划与调度会议（ICAPS-09），（2009）），49-64
[19] 菲克斯，R。；Nilsson，N.，STRIPS：应用定理证明解决问题的新方法，Artif。智力。，2, 3-4, 189-208, (1971) ·Zbl 0234.68036号
[20] 福克斯，M。；Long，D.，TIM中状态不变量的自动推断，J.Artif。智力。第9号决议，第367-421页，（1998年）·Zbl 0910.68199号
[21] 福克斯，M。；Long，D.，PDDL 2.1：PDDL的扩展，用于表示时间规划域，J.Artif。智力。决议，20，61-124，（2003）·Zbl 1036.68093号
[22] 福克斯，M。；Long，D.，《STAN中计划图的高效实现》，J.Artif。智力。决议，10，87-115，（2011）·Zbl 0914.68180号
[23] Frank，J。；Jónsson，A.，基于约束的属性和区间规划，约束，8，4，339-364，（2003），规划专刊·Zbl 1074.68609号
[24] 弗拉蒂尼，S。；佩科拉，F。；Cesta，A.，《从基于组件的角度将计划和调度统一为时间表》，Arch。控制科学。，18, 2, 5-45, (2008) ·Zbl 1184.93053号
[25] Gerevini，A。；Saetti，A。；Serina，I.，《具有可预测外生事件的域中的时间规划和调度方法》，J.Artif。智力。研究，25，187-231，（2006）·Zbl 1161.68783号
[26] Gerevini，A。；舒伯特，L.，《推断区域依赖规划的状态约束》，（第十五届全国人工智能会议论文集（AAAI-98），（1998），905-912
[27] Gerevini，A。；舒伯特，L.，发现发现计划中的状态约束：一些新结果，（第17届全国人工智能会议论文集（AAAI-2000），（2000）），761-767
[28] 加拉布，M。；Laruelle，H.，《ixtet中的表示与控制》，时间规划师，（第二届国际人工智能规划系统会议记录（AIPS-94），（1994），AAAI出版社），61-67
[29] Ghosh，N。；Ghosh，S.K.，《使用规划师对企业网络进行安全管理的智能方法》（Pratihar，D.K.；Jain，L.C.，《智能自治系统：基础和应用》，（2010），Springer-Verlag），187-214，第9章
[30] Golden，K.，数据处理领域描述语言（ICAPS’03 PDDL研讨会论文集，（2003））
[31] 哈斯鲁姆，P。；Botea，A。；赫尔默特，M。；博内，B。；Koenig，S.，用于成本优化规划的模式数据库启发式法的领域独立构建，（第二十二届全国人工智能会议论文集（AAAI-07），（2007）），1007-1012
[32] Helmert，M.，《快速下行规划系统》，J.Artif。智力。决议，26，191-246，（2006）·Zbl 1182.68245号
[33] Helmert，M.，PDDL规划任务的简明有限域表示法，Artif。智力。，3，17503-535，（2009年）·Zbl 1191.68635号
[34] 赫尔默特，M。；Geffner，H.，统一因果图和加法启发式，（第十八届国际自动计划与调度会议（ICAPS-08），（2008）），140-147
[35] 霍夫曼，J。；Nebel，B.，《FF计划系统：通过启发式搜索快速生成计划》，J.Artif。智力。第14号决议，第253-302页，（2001年）·Zbl 0970.68044号
[36] Howey，R。；Long，D。；Fox，M.，Val:使用pddl的自动计划验证、持续效果和混合倡议计划（第16届IEEE人工智能工具国际会议，（2004）），294-301
[37] 黄，R。；陈，Y。；Zhang，W.，一种新的基于转换的编码方案，用于规划可满足性，（第二十届全国人工智能会议论文集（AAAI-10），第2卷，（2010），AAAI出版社），89-94
[38] Iatauro，M.，EUROPA维基主页，（2017年）
[39] 考茨，H。；Selman，B.，《统一基于SAT和基于图形的规划》（第十六届国际人工智能联合会议（IJCAI-99），（1999），Morgan Kaufmann Publishers Inc.），318-325
[40] 刘，Z。；Ranganathan，A。；Riabov，A.，面向消息的语义web服务组合规划方法，（第22届全国人工智能会议论文集-第2卷，AAAI'07，（2007），AAAI出版社），1389-1394
[41] McDermott，D.，1998年人工智能规划系统竞赛，人工智能杂志，21，2，35-55，（2000）
[42] Mussettola，N.，HSTS：集成规划和调度，（Zweben，M.；Fox，M.，智能调度，（1994），Morgan Kauffmann），451-469
[43] Pednault，E.，走向平面综合的数学理论，（1986），斯坦福大学电气工程系，博士论文
[44] 里希特，S。；Westphal，M.，《LAMA规划师：使用地标指导基于成本的任何时间规划》，J.Artif。智力。决议，39，1，127-177，（2010年9月）·Zbl 1205.68383号
[45] Rintanen，J.，合成不变量的迭代算法，（第十七届全国人工智能会议论文集（AAAI-00），（2000），806-811
[46] Rintanen，J.，《经典规划和非确定性规划的回归》，（第18届欧洲人工智能会议（ECAI-08），（2008），IOS出版社），568-571
[47] Rintanen，J.，计算时间不变量的基于约束的算法，（欧洲人工智能逻辑会议（JELIA-14），（2014），Springer-Verlag），665-673·Zbl 1432.68419号
[48] Rintanen，J.，《通过简化为地面不变量的图解不变量》，（《第三十届AAAI人工智能会议论文集》（AAAI-17），（2017），AAAI出版社），3644-3650
[49] Vidal，V.，《YAHSP规划系统：前瞻性启发式搜索与前瞻性计划分析》（The YAHSP planning system:forward启发式搜索with lookahead plans analysis），（第四届国际规划竞赛论文集（IPC-2004），加拿大不列颠哥伦比亚省惠斯勒市（2004年6月），59-60
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。