卢卡·埃特罗;黛拉·莫妮卡,达里奥;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 (英语) Zbl 1432.03027号 Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 267-281 (2014). 摘要:区间时态逻辑以时间区间而不是时间瞬间作为其基本时态实体。最受研究的区间时间逻辑之一是Halpern和Shoham的时间区间HS模态逻辑,它将模态运算符与线性顺序上区间之间的每个二进制关系(所谓的Allen区间关系)相关联。最近,针对所有线性序类和所有密集线性序类,对所有HS片段的相对表达能力进行了完整分类。离散和有限线性阶的情况更为复杂。在本文中,我们朝着解决这些线性阶类的分类问题迈出了重要的一步。首先,我们说明了在有限和离散线性阶上解释时,可以用HS片段表示的各种非平凡时间特性;然后,我们为对应于艾伦关系满足、开始、结束、期间以及对应于其逆关系的HS模态提供了一套完整的定义。唯一缺少的情况是关系重叠和重叠的情况。有关整个系列,请参见[Zbl 1296.68009号]. 引用于4文件 MSC公司: 03B44号 时间逻辑 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。8761,267--281(2014;Zbl 1432.03027) 全文: 内政部 链接 参考文献: [1] 丙酮,L。;Della Monica,D。;Ingólfsdóttir,A。;Montanari,A。;Sciavicco,G。;McMillan,K。;米德尔多普,A。;Voronkov,A.,枚举喇叭理论最大模型的算法及其在模态逻辑中的应用,《程序设计、人工智能和推理的逻辑》,1-17(2013),海德堡:斯普林格·Zbl 1433.03019号 ·doi:10.1007/978-3-642-45221-5_1 [2] Aceto,L.,Della Monica,D.,Ingólfsdóttir,A.,Montanari,A.,Sciavicco,G.:密集线性序上Allen关系的区间逻辑表达性的完整分类。In:程序。第20期,第65-72页。IEEE计算机学会(2013)·Zbl 1339.03018号 [3] Aceto,L.,Della Monica,D.,Ingólfsdóttir,A.,Montanari,A.,Sciavicco,G.:关于有限和离散线性阶上Allen关系的区间逻辑的表达性(扩展版)(2014),http://www.di.unisa.it/dottorandi/dario.dellamonica/temp/expr_disc_ext.pdf ·Zbl 1432.03027号 [4] Allen,J.F.,《保持对时间间隔的了解》,《ACM通信》,26,11,832-843(1983)·Zbl 0519.68079号 ·数字对象标识代码:10.1145/182.358434 [5] Allen,J.F.,《走向行动与时间的一般理论》,人工智能,23,2,123-154(1984)·兹伯利0567.68025 ·doi:10.1016/0004-3702(84)90008-0 [6] 布雷索林,D。;Della Monica,D。;V.戈兰科。;Montanari,A。;Sciavicco,G。;塞尔维萨托,I。;维思,H。;沃伦科夫(Voronkov,A.),《哈尔佩恩(Halpern)和肖姆(Shoham)的区间时序逻辑的可判定和不可判定片段:走向一个完整的分类》,《程序设计、人工智能和推理的逻辑》,590-604(2008),海德堡:斯普林格(Springer),海德堡·Zbl 1182.03037号 ·doi:10.1007/978-3-540-89439-1_41 [7] Bresolin,D.,Della Monica,D.,Goranko,V.,Montanari,A.,Sciavicco,G.:区间时间逻辑的黑暗面:锐化不可判定边界。In:程序。第18期,第131-138页(2011年)·Zbl 1325.03014号 [8] 布雷索林,D。;Della Monica,D。;V.戈兰科。;Montanari,A。;Sciavicco,G.,自然数上的度量命题邻域区间逻辑,软件和系统建模,12,2,245-264(2013)·doi:10.1007/s10270-011-0195-y [9] Bresolin,D.,Della Monica,D.,Montanari,A.,Sala,P.,Sciavicco,G.:有限线性序上的区间时间逻辑:完整图。In:程序。第20届ECAI,第199-204页(2012年)·Zbl 1327.03012号 [10] Bresolin,D.,Della Monica,D.,Montanari,A.,Sala,P.,Sciavicco,G.:强离散线性次序上的区间时间逻辑:全图。In:程序。第三届甘达尔论坛,第155-168页(2012年)·Zbl 1469.03045号 [11] 布雷索林,D。;V.戈兰科。;Montanari,A。;Sala,P.,稠密排序上子区间结构逻辑的基于Tableau的决策过程,《逻辑与计算杂志》,20,1133-166(2010)·Zbl 1188.03009号 ·doi:10.1093/log.com/exn063 [12] Bresolin,D.,Montanari,A.,Sala,P.,Sciavicco,G.:Halpern和Shoham的区间逻辑有什么可决定的?最大片段\(\mathsf{AB\上划线{B}\下划线{L}\)。In:程序。第26届LICS,第387-396页(2011年) [13] 布雷索林,D。;萨拉,P。;Sciavicco,G.,《On Begins,Meets,and Before》,《国际计算机科学基础杂志》,23,3,559-583(2012)·Zbl 1259.03028号 ·doi:10.1142/S012905411240028X [14] Bresolin,D.,Della Monica,D.,Montanari,A.,Sala,P.,Sciavicco,G.:强离散线性次序上的区间时序逻辑:表达性和复杂性。理论计算机科学(2014)(自2014年4月以来首次在线)·Zbl 1335.03017号 [15] Della Monica,D.,Goranko,V.,Montanari,A.,Sciavicco,G.:Allen关系的区间逻辑在所有线性阶类上的表达:完全分类。In:程序。第22届IJCAI,第845-850页(2011年7月) [16] Della Monica,D。;V.戈兰科。;Montanari,A。;Sciavicco,G.,《区间时间逻辑:旅程》,《欧洲理论计算机科学协会公报》,105,73-99(2011)·Zbl 1275.03087号 [17] Goranko,V.,Otto,M.:模态逻辑的模型理论。摘自:Blackburn,P.,van Benthem,J.F.A.K.,Wolter,F.(编辑)《模态逻辑手册》,第249-329页。Elsevier(2007) [18] Halpern,J。;Shoham,Y.,时间间隔的命题模态逻辑,ACM杂志,38,4,935-962(1991)·Zbl 0799.68175号 ·doi:10.1145/115234.115351 [19] 轩尼诗,M。;Milner,R.,非确定性和并发性的代数定律,美国计算机学会期刊,32,1137-161(1985)·Zbl 0629.68021号 ·doi:10.1145/2455.2460 [20] Marcinkowski,J.,Michaliszyn,J.:Halpern-Shoham逻辑的最终不可判定性结果。In:程序。第26页,第377-386页。IEEE计算机学会(2011) [21] Milner,R.:通信系统的微积分。斯普林格(1980)·Zbl 0452.68027号 [22] Montanari,A。;小狗,G。;萨拉,P。;Abramsky,S。;加沃勒,C。;基什内尔,C。;Meyer auf der Heide,F。;Spirakis,P.G.,Halpern和Shoham区间模态逻辑的最大可判定片段,自动机,语言和程序设计,345-356(2010),海德堡:施普林格,海德堡·Zbl 1288.03017号 ·doi:10.1007/978-3-642-14162-1_29 [23] Montanari,A.,Puppis,G.,Sala,P.,Sciavicco,G.:区间时间逻辑对自然数的决定性。In:程序。第27届STACS,第597-608页(2010年)·Zbl 1230.03047号 [24] Moszkowski,B.:关于数字电路的推理。斯坦福大学计算机科学系技术代表stan-cs-83-970(1983) [25] Pratt-Hartmann,I.,时间介词及其逻辑,人工智能,166,1-2,1-36(2005)·Zbl 1132.03334号 ·doi:10.1016/j.artint.2005.04.003 [26] Venema,Y.,区间时态逻辑的表达性和完备性,《圣母院形式逻辑杂志》,31,4529-547(1990)·兹比尔0725.03006 ·doi:10.1305/ndjfl/1093635589 [27] Zhou,C.,Hansen,M.R.:持续时间微积分:实时系统的正式方法。EATCS理论计算机科学专著。斯普林格(2004)·Zbl 1071.68062号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。