×
亚历山德罗·西马蒂;做，明;安德烈亚·米凯利;马可·罗维里;大卫·E·史密斯。

强有力的时间规划，持续时间不可控。 （英语） Zbl 1443.68163号

Artif公司。智力。 256, 1-34 (2018).
概要：现实世界中的规划通常涉及到对动作持续时间的建模和推理。时间规划通过寻找指定每个动作的开始和结束时间点的计划，允许进行此类建模和推理。然而，在许多实际情况下，诉讼的持续时间可能是不确定的，并且不在执行人的完全控制之下。例如，根据地形或天气等外部条件，导航任务可能需要更多或更少的时间。在本文中，我们研究了具有不可控动作持续时间（STPUD）的强时间规划问题。对于持续时间不可控的动作，规划师只能选择动作的开始，而结束是由环境在已知范围内选择的。解决方案必须针对所有不可控的行动持续时间保持稳健，并且必须实现所有执行的目标，无论环境如何选择。我们提出了两种互补技术。首先，我们讨论了一种专用的规划方法，该方法推广了状态空间时间规划框架，利用基于SMT的技术对不确定性下的时间网络进行规划。其次，我们提出了一种基于编译的方法，将任何STPUD问题简化为普通的时间规划问题。此外，我们还研究了一组通过消除一些不可控性来简化域的充分条件。我们实现了这两种方法，并在大量实例中对我们的技术进行了实验评估。我们的结果证明了这两种技术的实际适用性，它们表现出互补的行为。

引用于三文件

MSC公司：

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

关键词：

强时间规划;强可控性;时间规划;不可控持续时间;前瞻性国家空间规划;PDDL公司;ANML公司

软件：

PDDL公司;ANML公司;数学SAT5;科林
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Artif。智力。256，1-34（2018年；兹bl 1443.68163）
全文： 内政部 链接

参考文献：

[1] Cimatti，A。；Micheli，A。；Roveri，M.，《持续时间不可控的强时间规划：状态空间方法》（AAAI（2015）），3254-3260
[2] Micheli，A。；做，M。；Smith，D.E.，《消除持续时间不可控的强时间规划中的不确定性》（IJCAI（2015）），1631-1637
[3] 福克斯，M。；Long，D.，PDDL2.1：PDDL的扩展，用于表示时间规划领域，J.Artif。智力。决议，20，61-124（2003）·Zbl 1036.68093号
[4] 维达尔，T。；Fargier，H.，《处理时间约束网络中的偶然性：从一致性到可控性》，J.Exp.Theor。Artif公司。智力。，11, 1, 23-45 (1999) ·Zbl 1054.68664号
[5] 彭特纳，B。；维纳布尔，K。；Yorke-Smith，N.，不确定性析取时间问题的强可控性，（CP（2007）），856-863·Zbl 1145.68528号
[6] Bäckström，C.，重新排序计划的计算方面，J.Artif。智力。决议，9，99-137（1998年）·Zbl 0903.68174号
[7] 科尔斯，A。；福克斯，M。；哈尔西，K。；Long，D。；Smith，A.，《使用计划器-调度器交互管理时间规划中的并发性》，Artif。智力。，173, 1, 1-44 (2009) ·Zbl 1180.68245号
[8] 科尔斯，A。；科尔斯，A。；福克斯，M。；Long，D.，Forward-chining partial-order planning，（ICAPS（2010）），第42-49页
[9] 科尔斯，A。；科尔斯，A。；福克斯，M。；Long，D.，COLIN：连续线性数字变化的规划，J.Artif。智力。决议，44，1-96（2012）·Zbl 1280.68236号
[10] Dechter，R。；梅里，I。；Pearl，J.，《时间约束网络》，Artif。智力。，49，1-3，61-95（1991年）·Zbl 0737.68070号
[11] Cimatti，A。；Micheli，A。；Roveri，M.，使用SMT解决不确定性时间问题的强可控性，约束，20，1，1-29（2015）·兹比尔1314.90043
[12] 巴雷特，C.W。；塞巴斯蒂亚尼，R。；Seshia，S.A。；Tinelli，C.，可满足性模理论，（可满足性手册（2009），IOS出版社），825-885
[13] Morris，P.，时间动态可控性的结构表征，（CP（2006）），375-389
[14] 桑塔纳，P。；Williams，B.，用于确定具有不可控选择的时间计划的强可控性的桶消除方法，（AAAI（2012）），2453-2454
[15] Muise，C。；贝克，C。；McIlraith，S.，《具有时间限制的部分订单计划的灵活执行》（IJCAI（2013）），2328-2335
[16] 布雷西纳，J。；迪尔登，R。；北卡罗来纳州穆勒奥。；Ramakrishnan，S。；史密斯，D。；Washington，R.，《持续时间和资源不确定性下的规划：人工智能面临的挑战》（UAI（2002）），第77-84页
[17] Frank，J。；Jónsson，A.，基于约束的属性和区间规划，约束，8，4，339-364（2003）·Zbl 1074.68609号
[18] 塞斯塔，A。；Cortellessa，G。；弗拉蒂尼，S。；奥迪，A。；Rasconi，R.，《APSI框架：规划和调度软件开发环境》（ICAPS Application Showcase，2009）
[19] 加拉布，M。；Laruelle，H.，IxTeT中的代表与控制，时间规划师（AIPS（1994）），61-67
[20] 迪尔登，R。；北卡罗来纳州穆勒奥。；Ramakrishnan，S。；史密斯，D.E。；华盛顿，R.Rich，增量应急计划（ICAPS’03不确定性和不完整信息下的计划研讨会（2003））
[21] Younes，H.L.S。；Simmons，R.，具有并发性的连续时间随机域的策略生成，（ICAPS（2004）），325-333
[22] Younes，H.L.S。；Simmons，R.，使用连续相型分布求解广义半马尔可夫决策过程，（AAAI（2004）），742-748
[23] 小，我。；阿伯丁，D。；Thiébaux，S.，Prottle:概率时间规划师（AAAI（2005）），1181-1186
[24] 科尔斯，A。；科尔斯，A。；A.克拉克。；Gilmore，S.，《服务级协议持续时间不确定性下的成本敏感并行规划》（ICAPS（2006）），34-41
[25] 毛萨姆；Weld，D.，随机域中具有持续作用的规划，J.人工制品。智力。决议，31，33-82（2008）·Zbl 1183.68581号
[26] Beaudry，E。；卡班扎，F。；Michaud，F.，使用动态生成的贝叶斯网络规划行动持续时间不确定性下的并发行动执行，（ICAPS（2010）），10-17
[27] Beaudry，E。；卡班扎，F。；Michaud，F.，《资源和时间不确定性下的并发规划》（ECAI（2010）），第217-222页·Zbl 1211.68434号
[28] 盖拉布，M。；Nau，D。；Traverso，P.，《自动化规划-理论与实践》（2004），摩根·考夫曼·Zbl 1074.68613号
[29] 帕拉西奥斯，H。；Geffner，H.，在有界宽度的一致规划问题中消除不确定性，J.Artif。智力。研究，35，623-675（2009）·Zbl 1183.68584号
[30] Cimatti，A。；Micheli，A。；Roveri，M.，《具有时间不确定性的时间线》（AAAI（2013）），195-201
[31] 史密斯，D。；Frank，J。；库欣，W.，《ANML语言》（ICAPS-08规划与调度知识工程研讨会（KEPS）（2008））
[32] Rintanen，J.，《建模语言对规划研究理论和实践的影响》（AAAI（2015）），4052-4056
[33] 德沃夏克，F。；Bit-Monnot，A。；Ingrand，F。；Ghallab，M.，灵活的ANML机器人演员和规划师，（ICAPS规划和机器人研讨会（2014）），12-19
[34] 福克斯，M。；Long，D。；Halsey，K.，PDDL2.1表达能力的调查，（ECAI（2004）），328-342
[35] Gazen，B。；Knoblock，C.，《将UCPOP的表现力与Graphplan的效率结合起来》（ECP（1997），Springer-Verlag:Springer-Verlag New York），221-233
[36] Rintanen，J.，并发时间规划的复杂性，（《第十七届国际自动规划与调度会议论文集》，第十七届自动化规划与调度国际会议论文集，ICAPS 2007，美国罗德岛普罗维登斯，2007年9月22日至26日（2007）），280-287
[37] 沙马尔迪诺斯一世。；Pollack，M.E.，选言时态推理问题的有效解决技术，Artif。智力。，151, 1-2, 43-89 (2003) ·Zbl 1082.68825号
[38] 维洛索，M。；佩雷斯，A。；Carbonell，J.，《并行资源分配的非线性规划》（DARPA规划、调度和控制创新方法研讨会论文集（1990年），Morgan Kaufmann），207-212
[39] 科尔斯，A.J。；科尔斯，A。；Olaya，A.G。；塞洛里奥，S.J。；López，C.L。；桑纳，S。；Yoon，S.，第七届国际规划竞赛调查，AI Mag.，33，183-88（2012）
[40] 豪，A.E。；Dahlman，E.，《规划中基准比较的关键评估》，J.Artif。智力。决议，17，1-3（2002）·Zbl 1056.68133号
[41] Cimatti，A。；Griggio，A。；Schaafsma，B.J。；Sebastiani，R.，《MathSAT5 SMT求解器》（TACAS（2013）），第93-107页·Zbl 1381.68153号
[42] Smith，D.E.，《持续行动案例：PDDL2.1评注》，J.Artif。智力。决议，第20号，第149-154页（2003年）·Zbl 1036.68102号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。