×
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格

密集时间域上基于时间的规划。 （英文） Zbl 1433.68406号

西奥。计算。科学。 813, 305-326 (2020).
摘要：规划是计算机科学中研究最多的问题之一。在本文中，我们关注基于时间线的方法，其中域由一组独立但相互作用的组件建模，每个组件由多个状态变量表示，其随时间（时间线）的行为由一组时间约束（转换函数和同步规则）控制。虽然时间域通常被假设为离散的，但这里我们解决了密集时间内基于时间的规划（TP）的可判定性和复杂性问题。
首先证明了稠密TP在一般情况下是不可判定的；然后，我们证明了通过限制同步规则和合适的未来语义可以恢复可判定性。通过额外限制规则中使用的间隔形式，可以获得更“易于处理”的设置：EXPSPACE（扩展空间）-通过避免奇异区间来获得完整性，并且PSPACE公司-通过只允许形式\（[0，a]\）和\（[b，+\infty[\）的区间来完成。最后，NP公司-对于纯存在规则的稠密TP，可以证明其完备性。

引用于三文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
03B44号 时间逻辑
65年第68季度 算法和问题复杂性分析
65年第68季度 形式语言和自动机

关键词：

规划;时间表;度量时态逻辑;时间自动机
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Theor。计算。科学。813305--326（2020年；Zbl 1433.68406）
全文： 内政部

参考文献：

[1] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，Theor。计算。科学。，126, 2, 183-235 (1994) ·Zbl 0803.68071号
[2] 阿鲁尔（Alur，R.）。；费德，T。；Henzinger，T.A.，《放松守时的好处》，J.ACM，43，1，116-146（1996）·Zbl 0882.68021号
[3] 阿鲁尔（Alur，R.）。；Henzinger，T.A.，《实时逻辑：复杂性和表现力》，Inf.Compute。，104, 1, 35-77 (1993) ·Zbl 0791.68103号
[4] 巴雷罗，J。；博伊斯，M。；做，M。；Frank，J。；伊阿托罗，M。；Kichkaylo，T。；莫里斯，P。；Ong，J。；雷莫利纳，E。；史密斯，T。；Smith，D.，EUROPA：人工智能规划、调度、约束编程和优化平台（ICKEPS Proc.of ICKEPS（2012））
[5] 博泽利，L。；Molinari，A。；Montanari，A。；Peron，A.，《密集时间域上基于时间线的规划的复杂性：探索中间地带》（GandALF的Proc.（2018），EPTCS），191-205·Zbl 1528.68358号
[6] 博泽利，L。；Molinari，A。；Montanari，A。；Peron，A.，《密集时间域上基于时间线的规划的可决定性和复杂性》（KR 2018（2018），AAAI出版社），627-628
[7] 博泽利，L。；Molinari，A。；Montanari，A。；佩隆，A。；Woeginger，G.，具有无触发规则的密集时间域上基于时间的规划是NP-complete，（ICTCS.CEUR WP（2018）Proc.），116-127
[8] 塞斯塔，A。；Cortellessa，G。；弗拉蒂尼，S。；奥迪，A。；Policella，N.，《空间任务规划的创新产品：后验评估》（ICAPS（2007），AAAI），57-64
[9] Chien，S。；Tran，D。；Rabideau，G。；Schaffer，S。；Mandl博士。；Frye，S.，《外部约束条件下基于时间的空间作战调度》（ICAPS Proc.of ICAPS（2010），AAAI），第34-41页
[10] Cialdea Mayer，M。；Orlandini，A。；Umbrico，A.，《灵活时限的规划和执行：正式账户》，Acta Inform。，53, 6-8, 649-680 (2016) ·Zbl 1351.90092号
[11] Demri，S。；带有冻结量词和寄存器自动机的Lazic，R.，LTL，ACM Trans。计算。日志。，10, 3, 16:1-16:30 (2009) ·Zbl 1351.68158号
[12] Frank，J。；Jónsson，A.，基于约束的属性和区间规划，约束，8，4，339-364（2003）·Zbl 1074.68609号
[13] Gigante，N。；Montanari，A。；Cialdea Mayer，M。；Orlandini，A.，时间线具有足够的表达能力，可以捕捉基于行动的时间规划，（《时代》杂志（2016），IEEE计算机学会），100-109
[14] 吉甘特，北。；Montanari，A。；Cialdea Mayer，M。；Orlandini，A.，《基于时间的规划的复杂性》（ICAPS（2017），AAAI），116-124
[15] Harel，D.，《算法：计算的精神》（2012），施普林格出版社·Zbl 1243.68007号
[16] Jónsson，A.K。；莫里斯，P.H。；Muscettola，N。；Rajan，K。；Smith，B.D.，《星际空间规划：理论与实践》（ICAPS Proc.of ICAPS（2000），AAAI），177-186
[17] Jungnine，D.，《图形、网络与算法、数学算法与计算》（2013），施普林格出版社·Zbl 1255.68001号
[18] Koymans，R.，用度量时态逻辑指定实时属性，实时系统。，2, 4, 255-299 (1990)
[19] Minsky，M.L.，《计算：有限和无限机器》。自动计算（1967），Prentice-Hall，Inc·Zbl 0195.02402号
[20] Muscettola，N.，HSTS:集成规划和调度，（智能调度（1994），Morgan Kaufmann），169-212
[21] Ouaknine，J.等人。；Worrell，J.，《关于有限字上度量时态逻辑的可判定性和复杂性》，Log。方法计算。科学。，3, 1 (2007) ·兹比尔1128.03008
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。