×
克雷斯蒂安·约布茨克;安东尼·利格萨

为什么时态逻辑系统有时（不）有用？ （英语） Zbl 1358.68292号

Rutkowski，Leszek（编辑）等人，《人工智能和软计算》。2016年6月12日至16日在波兰扎科帕内举行的2016年ICAISC第15届国际会议。诉讼程序。第二部分。查姆：施普林格（ISBN 978-3-319-39383-4/pbk；978-3-3169-39384-1/电子书）。计算机科学课程讲稿9693。人工智能课堂讲稿，306-316（2016）。
小结：本文旨在从工程实践的角度评估三种时序逻辑：线性时序逻辑（LTL）和Halpern-Shoham区间逻辑的效用。我们打算为所选系统只能部分满足工程师典型要求的论点辩护。
关于整个系列，请参见[Zbl 1337.68021号].

引用于1文件

MSC公司：

68T40型 机器人人工智能
03B44号 时间逻辑
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

线性时序逻辑;Halpern-Shoham逻辑;工程评估
PDF格式BibTeX公司 XML格式引用
\textit{K.Jobczyk}和\textit{A.Ligeza}，莱克特。注释计算。科学。9693、306--316（2016；Zbl 1358.68292）
全文： 内政部

参考文献：

[1] Allen，J.：保持对时间间隔的了解。Commun公司。ACM 26（11），832–843（1983）·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434
[2] Antoniotti，M.，Mishra，B.：离散事件模型+时序逻辑=监控控制器：运动控制器的自动合成。摘自：IEEE机器人与自动化国际会议论文集（1999年）
[3] Bacchus，F.，Kabanza，F.：使用时序逻辑表达规划的搜索控制知识。Artif公司。智力。116, 123–191 (2000) ·Zbl 0939.68827号 ·doi:10.1016/S0004-3702（99）00071-5
[4] 爱默生：时间与模态逻辑。收录于：《理论计算机科学手册》，B卷，第995–1072页（1990年）·Zbl 0900.03030号 ·doi:10.1016/B978-0-444-88074-1.50021-4
[5] Fainekos，G.、Kress-gazit，H.、Pappas，G.：路径规划的混合控制器：时序逻辑方法。摘自：IEEE国际决策与控制会议记录，塞维利亚，第4885–4890页，2005年12月·doi:10.10109/CDC.2005.1582935
[6] Fainekos，G.、Kress-gazit，H.、Pappas，G.：移动机器人的时序逻辑运动规划。摘自：IEEE机器人与自动化国际会议记录，第2032–2037页（2005）
[7] Gabbay，D.，Kurucz，A.，Wolter，F.，Zakharyaschev，M.：多维模态逻辑：理论与应用。爱思唯尔，阿姆斯特丹（2003）·Zbl 1051.03001号
[8] Goronko，V.，Montanari，A.，Sciavicco，G.：区间时间逻辑和持续时间计算的路线图。J.应用。非经典逻辑14，9–54（2004）·Zbl 1181.03012号 ·doi:10.3166/1月14日-9-54日
[9] Halpern，J.，Shoham，Y.：时间间隔的命题模态逻辑。J.ACM 38，935–962（1991）·Zbl 0799.68175号 ·doi:10.1145/115234.115351
[10] Jobczyk，K.，Ligeza，A.：工程应用的时序逻辑系统。走向更实用的方法。领域：计算机建模智能系统。第一届欧洲-中亚计算机建模会议论文集EMACOM，第147-157页（2015）
[11] Jobczyk，K.，Ligeza，A.，Karczmarczuk，J.：处理时间间隔关系和偏好的模糊时间方法。In:INISTA会议记录（2015）·doi:10.1109/INISTA.2015.7276775
[12] Jobczyk，K.，Ligeza，A.，Kluza，K.：选定的时序逻辑系统：工程评估的尝试。载于：Rutkowski，L.等人（编辑）《第十五届国际会议论文集》，ICAISC 2016，扎科帕内，第219-229页。斯普林格，海德堡（2016）·Zbl 1358.68293号
[13] Marcinkowski，J.，Michaliszyn，J.：关于halpern-shoham区间时间逻辑的最后一篇论文（2010）·Zbl 1288.03016号
[14] Maximova，L.：带有运算符“下一个”的时序逻辑没有插值或beth属性。Sibirskii Matematicheskii Zhurnal西比尔斯基·马特马提切斯基32（6），109-113（1991）
[15] Montanari，A.，Pratt-Hartmann，I.，Sala，P.：自反子区间关系逻辑在有限线性阶上的可判定性。在：时间进程
[16] Montanari，A.，Puppies，G.，Sala，P.，Sciavicco，G.：区间时间逻辑abb对自然数的可判定性。摘自：第27届计算机科学理论研讨会论文集，加利福尼亚州蒙特雷，第597-608页（2010年）·兹比尔1230.03047
[17] Montanari，A.，Sala，P.：区间逻辑和\[\欧米茄\]{\（\omega\）}B正则语言。收录：Dediu，A.-H.，Martín-Vide，C.，Truthe，B.（编辑）LATA 2013。LNCS，第7810卷，第431-443页。斯普林格，海德堡（2013）·Zbl 1377.03026号 ·文件编号：10.1007/978-3-642-37064-9_38
[18] 普努利：程序的时序逻辑。摘自：第18届计算机科学基础年度研讨会论文集，第46-57页（1977年）·doi:10.1109/SFCS.1977.32
[19] van Benthem，J.，Bezhanishvili，G.：空间的模态逻辑。摘自：Aiello，M.、Pratt-Hartmann，I.、Van Benthem，J.（编辑）《空间逻辑手册》，第217-298页。施普林格，荷兰（2007）·doi:10.1007/978-1-4020-5587-45
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。