尼古拉·吉甘特；安吉洛·蒙塔纳里；安德烈亚·奥兰迪尼；玛尔塔·恰尔迪亚·梅耶；马克·雷诺兹 关于基于时间的游戏及其复杂性。 （英语） Zbl 1433.68409号 西奥。计算。科学。 815, 247-269 (2020). 概要：在基于时间线的规划中，领域被描述为一组独立但相互作用的组件，其随时间的行为（时间线集）受一组时间约束的制约。基于时间线的规划系统的一个显著特征是能够通过综合以下方面的控制策略将规划与执行相结合灵活的计划然而，灵活的计划只能代表时间不确定性，而需要更复杂的非确定性形式来处理更广泛的现实世界领域。在本文中，我们提出了一种新的基于时间线的规划问题的游戏理论方法，在统一处理时间不确定性和不确定性的同时，概括了最新技术。我们定义了基于时间线的一般概念游戏我们证明了这些博弈的获胜策略的概念比动态可控柔性计划的控制策略的概念更为普遍。此外，我们还表明，确定这种获胜策略的存在性的问题是2过期-完整。 引用于2文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 91A25型 动态游戏 91A80型 博弈论的应用 关键词：基于时间的规划；复杂性；游戏；不确定性下的规划 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人，Theor。计算。科学。815247-269（2020年；Zbl 1433.68409） 全文： 内政部 链接 参考文献： [1] Allen，J.F.，《保持关于时间间隔的知识》，Commun。ACM，26，11，832-843（1983）·Zbl 0519.68079号 [2] 阿鲁尔（Alur，R.）。；Henzinger，T.A。；Kupferman，O.，《交替时间时序逻辑》，J.ACM，49，5，672-713（2002）·Zbl 1326.68181号 [3] Bedrax-Weiss，T。；麦甘，C。；巴赫曼，A。；埃德金顿，W。；Iatauro，M.，《欧洲2：用户和贡献者指南》（2005），NASA艾姆斯研究中心，技术报告 [4] 贝茨，M。；McDermott，D.，《在执行过程中改进机器人计划》（人工智能规划系统（AIPS）国际会议论文集，1994年） [5] 贝尔纳迪尼，S。；Smith，D.E.，为europa2开发域相关搜索控制，（ICAPS 2007年领域相关规划启发式研讨会论文集（2007）） [6] 贝尔纳迪尼，S。；Smith，D.E.，翻译pddl2.2。转化为基于约束的变量/值语言，（ICAPS 2008领域独立规划启发式研讨会论文集（2008）） [7] 卡马乔，A。；Triantafillou，E。；Muise，C。；Baier，J.A。；McIlraith，S.A.，《具有临时扩展目标的非确定性规划：有限和无限轨迹上的LTL》（第31届AAAI人工智能会议（2017）） [8] 塞斯塔，A。；奥迪，A.，Ddl。1：物理域约束表示语言的形式化描述，（Ghallab，M.；Milani，a.，《人工智能规划的新方向》（1996），IOS出版社） [9] 塞斯塔，A。；Cortellessa，G。；弗拉蒂尼，S。；奥迪，A。；Policella，N.，《软件伴侣：对空间任务规划者的mexar2支持》，（Brewka，G.；Coradeschi，S.；Perini，A.；Traverso，P.，《第17届欧洲人工智能会议论文集》，第141卷（2006），IOS出版社），622-626 [10] 塞斯塔，A。；Cortellessa，G。；丹尼斯，M。；多纳蒂，A。；弗拉蒂尼，S。；奥迪，A。；Policella，N。；Rabenau，E。；Schulster，J.，Mexar2:人工智能解决任务规划问题，IEEE Intell。系统。，22, 4, 12-19 (2007) [11] 塞斯塔，A。；弗拉蒂尼，S。；Pecora，F.，《从基于组件的角度将计划和调度统一为时间表》，Arch。控制科学。，18, 2, 231-271 (2008) ·兹比尔1184.93053 [12] 塞斯塔，A。；Finzi，A。；弗拉蒂尼，S。；Orlandini，A。；Tronci，E.，《分析灵活的基于时间线的计划》，（Coelho，H.；Studer，R.；Wooldridge，M.，《第19届欧洲人工智能会议论文集》，第215卷（2010），IOS出版社），471-476·Zbl 1211.68247号 [13] 塞斯塔，A。；托萨蒂，L.M。；Orlandini，A。；佩德罗奇，N。；Pellegrinelli，S。；托利奥，T。；Umbrico，A.，《工业人机协作中机器人轨迹生成的规划与执行》（Anzalone，S.M.；Farinelli，A.；Finzi，A。；Mastrogiovanni，F.，《第四届意大利人工智能和机器人研讨会论文集》。《第四届意大利人工智能和机器人研讨会论文集》，CEUR研讨会论文集，第2054卷（2017年），CEUR-WS.org），47-52 [14] 塞斯塔，A。；Cortellessa，G。；Orlandini，A。；Umbrico，A.，《自主辅助机器人的认知架构》，ERCIM News，2018，114（2018） [15] Chien，S。；Rabideau，G。；奈特·R。；Sherwood，R。；Engelhardt，B。；D.穆茨。；埃斯特林，T。；B.史密斯。；费希尔，F。；巴雷特，T。；Stebbins，G。；Tran，D.，Aspen-利用自动化规划和调度实现空间任务操作自动化，（《国际空间操作会议记录》（2000年）） [16] Chien，S.A。；Sherwood，R。；Tran，D。；Cichy，B。；Rabideau，G。；卡斯塔尼奥，R。；Davies，A。；李·R。；曼德尔，D。；Frye，S。；鳟鱼，B。；亨吉米勒，J。；达戈斯蒂诺，J。；舒尔曼，S。；Ungar，S.G。；Brakke，T。；博伊尔，D。；Gaasbeck，J.V。；Greeley，R。；Doggett，T。；贝克，V.R。；Dom，J.M。；Ip，F.，EO-1自主科学代理，（第三届自主代理和多代理系统国际联合会议（2004），IEEE计算机学会），420-427 [17] Chien，S.A。；Rabideau，G。；Tran，D。；Troesch，M。；Doubleday，J。；Nespoli，F。；阿尤卡，M.P。；Sitja，M.C。；瓦拉特，C。；盖革，B。；北阿尔托贝利。；费尔南德斯，M。；Vallejo，F。；安德烈斯，R。；Kueppers，M.，《基于活动的罗塞塔轨道飞行器科学活动计划》（Yang，Q.；Wooldridge，M.），《第24届国际人工智能联合会议论文集》（2015），AAAI出版社），4416-4422 [18] Chlebus，B.S.，《Domino-tiling games》，J.Compute。系统。科学。，32, 3, 374-392 (1986) ·Zbl 0618.68045号 [19] Cialdea Mayer，M。；奥兰迪尼，A。；Umbrico，A.，《灵活时限的规划和执行：正式账户》，Acta Inform。，53, 6-8, 649-680 (2016) ·Zbl 1351.90092号 [20] Cimatti，A。；皮斯托尔，M。；Roveri，M。；Traverso，P.，《通过符号模型检查的弱、强和强循环规划》，Artif。智力。，147, 1, 35-84 (2003) ·Zbl 1082.68800号 [21] Cimatti，A。；Micheli，A。；Roveri，M.，具有时间不确定性的时间线，（desJardins，M.；Littman，M.L.，第27届AAAI人工智能会议论文集（2013），AAAI出版社） [22] Cimatti，A。；Do先生。；Micheli，A。；Roveri，M。；Smith，D.E.，《持续时间不可控的强时间规划》，Artif。智力。，256, 1-34 (2018) ·兹比尔1443.68163 [23] Della Monica，D。；Gigante，N。；Montanari，A。；萨拉，P。；Sciavicco，G.，《带过去的有界时间命题时序逻辑捕获有界约束的基于时间的规划》（Sierra，C.，《第26届国际人工智能联合会议论文集》（2017）），1008-1014 [24] Della Monica，D。；吉甘特，北。；Montanari，A。；Sala，P.，《基于时间线的规划的新型自动机理论方法》，（Thielscher，M.；Toni，F.；Wolter，F.，《第16届知识表示与推理原则国际会议论文集》（2018），AAAI出版社），541-550 [25] 欧洲航天局，APSI-高级规划和调度倡议 [26] 菲克斯，R。；Nilsson，N.J.，STRIPS：将定理证明应用于问题解决的新方法，Artif。智力。，2, 3/4, 189-208 (1971) ·Zbl 0234.68036号 [27] Frank，J.，什么是时间表？，（2013年第四届规划与调度知识工程研讨会论文集），31-38 [28] 弗拉蒂尼，S。；Donati，L.，《Apsi Timeline Representation Framework v.3.0（2011）》，欧洲航天局-ESOC，技术报告 [29] 弗拉蒂尼，S。；塞斯塔，A。；Orlandini，A。；Rasconi，R。；De Benedictis，R.，《面向目标的自治控制器中基于Apsi的审议》（ASTRA 2011，第11卷（2011），ESA） [30] Gigante，N.，《基于时间线的规划：表达性和复杂性》（2019年），乌迪内大学：意大利乌迪内学院，可在arXiv上获得 [31] Gigante，N。；Montanari，A。；Cialdea Mayer，M。；Orlandini，A.，《时间线》的表现力足以捕捉基于行动的时间规划，（Dyreson，C.E.；Hansen，M.R.；Hunsberger，L.，《第23届时间表征与推理国际研讨会论文集》（2016），IEEE计算机学会），100-109 [32] Gigante，N。；Montanari，A。；Cialdea Mayer，M。；Orlandini，A.，《基于时间的规划的复杂性》（Barbulescu，L.；Frank Mausam，J.；Smith，S.F.，《第27届自动规划与调度国际会议论文集》（2017年），AAAI出版社），116-124 [33] Gigante，N。；Montanari，A。；Cialdea Mayer，M。；Orlandini，A。；Reynolds，M.，《基于时间线的不确定性规划的游戏理论方法》，（Alechina，N.；Nörvóg，K.；Penczek，W.，《第25届时间表征与推理国际研讨会论文集》，《第二十五届时间表征和推理国际研讨会文献集》，LIPIcs，第120卷（2018），达格斯图尔宫（Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），13:1-13:17·兹比尔1487.68213 [34] Johnson，D.S.，复杂性类目录，（理论计算机科学手册，A卷：算法和复杂性（1990）），67-161·Zbl 0900.68246号 [35] Levin，L.，通用顺序搜索问题，Probl。信息传输。，9265-266（1973年） [36] 刘易斯，H.R.，《量化公式的不可解类》（1979），《艾迪生-韦斯利：艾迪生-韦斯利阅读》，马萨诸塞州·Zbl 0423.03003号 [37] Muise，C。；McIlraith，S.A。；Beck，J.C.，《利用状态相关性改进非确定性规划》（第22届国际自动化规划与调度会议（2012年）） [38] Muise，C.等人。；McIlraith，S。；Belle，V.，《具有条件效应的非确定性规划》，（第24届国际自动化规划与调度会议（2014年），Proc.of the 24th International Conference on Automated planning and Scheduling） [39] Muscettola，N.，HSTS:集成规划和调度，（Zweben，M.；Fox，M.S.，《智能调度》（1994），摩根·考夫曼），169-212，第6章 [40] Muscettola，N。；史密斯，S.F。；塞斯塔，A。；D’Aloisi，D.，在综合规划和调度体系结构中协调空间望远镜操作，IEEE控制系统。，12, 28-37 (1992) [41] Muscettola，N。；Nayak，P.P。；佩尔，B。；Williams，B.C.，远程代理：大胆地去以前没有人工智能系统的地方，Artif。智力。，103, 1-2, 5-47 (1998) ·Zbl 0909.68167号 [42] Patrizi，F。；利波维茨基，N。；Geffner，H.，《使用强循环规划器的非确定性系统的公平LTL综合》（第23届国际人工智能联合会议（2014年）） [43] Savelsbergh，M.P.W。；van Embde Boas，P.，有界瓷砖，可满足性的替代品？，（《第二届弗雷格会议议事录》，《第二次弗雷格会议的议事录》（Mathematische Forschung），第20卷（1984年），Akademic Verlag），354-363·Zbl 0561.68034号 [44] 史密斯，D.E。；Frank，J。；Jónsson，A.K.，《弥合计划与进度之间的差距》，Knowl。工程版次，15，1，47-83（2000） [45] Steel，S.，《不确定性下的行动》，J.Log。计算。，4, 5, 767-795 (1994) ·Zbl 0815.68104号 [46] Umbrico，A。；塞斯塔，A。；Cialdea Mayer，M。；Orlandini，A.，《PLATINUm:人机协作场景中规划和行动的新框架》，（意大利人工智能协会第16届国际会议（2017年），498-512 [47] Umbrico，A。；塞斯塔，A。；Cialdea Mayer，M。；Orlandini，A.，《白金：规划和行动的新框架》，（Esposito，F.；Basili，R.；Ferilli，S.；Lisi，F。意大利人工智能协会第16届国际会议记录。意大利人工智能协会第十六届国际会议记录，计算机科学讲稿，第10640卷（2017年），斯普林格），498-512 [48] Umbrico，A。；塞斯塔，A。；Cialdea Mayer，M。；Orlandini，A.，《整合资源管理和基于时间的规划》，（de Weerdt，M.；Koenig，S.；Röger，G.；Spaan，M.T.J.，《第28届自动规划和调度国际会议论文集》（2018），AAAI出版社），264-272 [49] van Emde Boas，P.，《瓷砖的便利性》（Sorbi，A.，《复杂性、逻辑和递归理论》，复杂性、逻辑与递归理论，《纯粹与应用数学讲义》，第187卷（1997年），马塞尔·德克尔公司），331-363·Zbl 0874.03050号 [50] 维达尔，T。；Fargier，H.，处理时间约束网络中的偶然性：从一致性到可控制性，J.Exp.Theor。Artif公司。智力。，11, 1, 23-45 (1999) ·Zbl 1054.68664号 [51] Wang，H.，通过模式识别证明定理I，Commun。美国医学会，3，4，220-234（1960）·兹比尔0101.10504 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。