×
黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;皮埃特罗·萨拉

提示间隔时间逻辑。 （英语） Zbl 1483.03015号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 207-222 (2016).
摘要：区间时间逻辑是时间表示和推理的表达形式，它使用时间区间作为原始时间实体。在过去的二十年中，它们被广泛研究，并成功应用于人工智能和计算机科学。不幸的是，它们缺乏表达即时性条件的能力，正如常见的时间逻辑所发生的那样，例如LTL：每当我们处理一个活跃性请求，例如“好的事情最终会发生”，就没有办法对实现它的延迟施加限制。在过去的几年里，自动机理论、博弈论和时序逻辑已经解决了这一问题。在本文中，我们在区间时序逻辑设置中对其进行了探讨。首先，我们介绍了PROMPT-PNL，它是研究得很好的区间时序逻辑PNL的一个快速扩展，并证明了其可满足性问题的不可判定性；然后，我们展示了如何通过对其施加自然的语法限制来恢复可判定性（NEXPTIME-完整性）。
关于整个系列，请参见[Zbl 1350.68015号].

引用于三文件

MSC公司：

03B44号 时间逻辑
03B25号 理论和句子集的可决定性
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
PDF格式BibTeX公司 XML格式引用
\textit{D.Della Monica}等人，莱克特。注释计算。科学。10021、207--222（2016；Zbl 1483.03015）
全文： 内政部 链接

参考文献：

[1] Allen，J.F.：保持对时间间隔的了解。Commun公司。ACM 26（11），832–843（1983）·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434
[2] 艾伦，J.F.：走向行动和时间的一般理论。Artif公司。智力。23(2), 123–154 (1984) ·Zbl 0567.68025号 ·doi:10.1016/0004-3702（84）90008-0
[3] Almagor，S.、Hirshfeld，Y.、Kupferman，O.：及时\[{ω}\]-规则自动机。收录：Bouajjani，A.，Chin，W.-N.（编辑）ATVA 2010。LNCS，第6252卷，第22-36页。施普林格，海德堡（2010）。doi:10.1007/978-3-642-15643-44·Zbl 1305.68108号 ·doi:10.1007/978-3-642-15643-44
[4] Alur，R.，Etessami，K.，La Torre，S.，Peled，D.：“模型测量”的参数时序逻辑。ACM事务处理。计算。日志。2(3), 388–407 (2001). http://doi.acm.org/10.1145/377978.377990 ·Zbl 1171.68544号 ·数字对象标识代码：10.1145/377978.377990
[5] Aminof，B.，Murano，A.，Rubin，S.，Zuleger，F.：快速交替时间认知逻辑。收录于：Baral，C.、Delgrand，J.P.、Wolter，F.（编辑）《韩国第15届会议录》，第258-267页。AAAI出版社（2016）
[6] Bojańczyk，M.，Colcombet，T.：边界\[\欧米茄\]-规律性。收录于：LICS，第285-296页。IEEE计算机学会（2006）
[7] Bresolin，D.，Della Monica，D.，Goranko，V.，Montanari，A.，Sciavicco，G.：自然数上的度量命题邻域区间逻辑。柔和。系统。模型。（SoSyM）12（2），245–264（2013）·doi:10.1007/s10270-011-0195-y
[8] Bresolin，D.、Goranko，V.、Montanari，A.、Sciavicco，G.：命题区间邻域逻辑：表达性、可判定性和不可判定扩展。Ann.纯粹应用。逻辑161（3），289–304（2009）。http://dx.doi.org/10.1016/j.apal.2009.07.003 ·Zbl 1221.03022号 ·doi:10.1016/j.apal.2009.07.003
[9] Chatterjee，K.，Henzinger，T.A.，Horn，F.：财政部在年获胜\[\欧米伽\]-常规比赛。ACM事务处理。计算。逻辑11（1）（2009）·Zbl 1351.68156号 ·数字对象标识代码：10.1145/1614431.1614432
[10] Della Monica，D.，Goranko，V.，Montanari，A.，Sciavicco，G.：间隔时间逻辑：旅程。牛市。欧洲协会理论。计算。科学。105, 73–99 (2011) ·Zbl 1275.03087号
[11] Della Monica，D.，Montanari，A.，Murano，A.，Sala，P.：提示间隔时间逻辑（扩展版）（2016）。http://wpage.unina.it/dario.dellamonica/techrep/promptPNL_ext.pdf ·Zbl 1483.03015号
[12] Della Monica，D.，Montanari，A.，Sala，P.：过去在区间时间逻辑中的重要性：命题邻域逻辑的案例。收录：Artikis，A.、Craven，R.、Kesim Chiçekli，N.、Sadighi，B.、Stathis，K.（编辑）《逻辑程序、规范和行动》。LNCS（LNAI），第7360卷，第79-102页。施普林格，海德堡（2012）。doi:10.1007/978-3-642-29414-36·Zbl 1356.03061号 ·doi:10.1007/978-3-642-29414-36
[13] Fijalkow，N.，Zimmermann，M.：成本-价格和成本-斯特雷特游戏。输入：FSTTCS。LIPIcs，第18卷，第124-135页（2012年）·Zbl 1354.68151号
[14] Gennari，R.、Tonelli，S.、Vittorini，P.：基于人工智能的流程，用于从平面故事中生成游戏。摘自：第33届SGAI会议记录，第337-350页（2013年）·doi:10.1007/978-3-319-02621-325
[15] Halpern，J.Y.，Shoham，Y.：时间间隔的命题模态逻辑。《美国临床医学杂志》38（4），935–962（1991）。http://doi.acm.org/10.1145/11524.115351 ·Zbl 0799.68175号 ·doi:10.1145/115234.115351
[16] Kupferman，O.，Piterman，N.，Vardi，M.Y.：从活泼到敏捷。形式方法系统。设计。34(2), 83–103 (2009) ·Zbl 1192.68416号 ·文件编号：10.1007/s10703-009-0067-z
[17] Laban，S.、El-Desouky，A.：RISMA：一种基于规则的区间状态机算法，用于警报生成、性能分析和监控实时数据处理。摘自：2013年EGU大会记录。地球物理研究摘要，第15卷（2013）
[18] Lodaya，K.、Parikh，R.、Ramanujam，R.和Thiagarajan，P.：分布式过渡系统的逻辑研究。Inf.计算。119(1), 91–118 (1995). http://www.sciencedirect.com/science/article/pii/S0890540185710784 ·兹比尔0832.68075 ·doi:10.1006/inco.1995.1078
[19] Mogavero，F.，Murano，A.，Sorrentino，L.：关于平价游戏中的及时性。在：McMillan，K.，Middeldorp，A.，Voronkov，A.（编辑）LPAR2013。LNCS，第8312卷，第601-618页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-45221-540·Zbl 1407.68297号 ·doi:10.1007/978-3-642-45221-540
[20] Moszkowski，B.：关于数字电路的推理。技术报告。斯坦福大学计算机科学系stan-cs-83-970（1983）
[21] 普努利：程序的时序逻辑。摘自：第18届计算机科学基础年度研讨会论文集，第46-57页。IEEE计算机学会（1977）·doi:10.1109/SFCS.1977.32
[22] Pratt-Hartmann，I.：时间介词及其逻辑。Artif公司。智力。166（1-2），1-36（2005）·Zbl 1132.03334号 ·doi:10.1016/j.artint.2005.04.003
[23] Zhou，C.，Hansen，M.R.：持续时间演算：实时系统的正式方法。EATCS理论计算机科学专著。斯普林格，海德堡（2004）·兹比尔1071.68062
[24] Zimmermann，M.：参数LTL博弈中的最优边界。西奥。计算。科学。493, 30–45 (2013). http://dx.doi.org/10.1016/j.tcs.2012.07.039 ·Zbl 1296.03015号 ·doi:10.1016/j.tcs.2012.07.039
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。