埃米利奥·穆尼奥斯·韦拉斯科;佩莱格林，梅赛德斯;皮埃特罗·萨拉;圭多·西亚维科;Stan、Ionel Eduard 关于粗区间时序逻辑。 （英语） Zbl 1480.03010号 Artif公司。智力。 266, 1-26 (2019). 摘要：区间时间逻辑的主要特征是区间而不是点被视为原始本体实体。鉴于区间时态逻辑的计算行为通常较差，有几种技术可以基于区间生成可判定和计算上可负担的时态逻辑。本文从Golumbic和Shamir的粗区间代数（推广了经典Allen的区间代数）中得到启发，以基于粗关系定义Halpern和Shoham逻辑（HS）的两个先前未知的变体。我们证明了，也许令人惊讶的是，两个变量中最粗的变量的可满足性问题，即\（\mathrm{HS}_3\)，不仅是可以决定的，而且P空间-在有限/离散情况下完成，以及P空间-在任何其他情况下都很难；除了证明其复杂性边界外，我们还为其实现了一个基于tableau的可满足性检查器，并用系统生成的基准测试它。我们的结果得到了加强，因为我们证明了第二个变量，即（mathrm{HS}_7\)，在所有有趣的情况下都无法确定。 引用于4文件 MSC公司： 03B44号 时间逻辑 65年第68季度 算法和问题复杂性分析 03B45号 模态逻辑（包括规范逻辑） 关键词：模态和时序逻辑;（un）可判定性;复杂性 软件：LoTREC公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Muñoz-Velasco}等人，Artif。智力。266，1--26（2019年；Zbl 1480.0310） 全文： 内政部 链接 参考文献： [1] 丙酮，L。；Della Monica，D。；V.戈兰科。；Ingólfsdóttir，A。；Montanari，A。；Sciavicco，G.，《艾伦关系的区间逻辑表达性的完整分类：一般情况和密集情况》，《信息学报》。，53207-246（2016年）·Zbl 1339.03018号 [2] Allen，J.F.，《保持时间间隔知识》，Commun。ACM，26，11，832-843（1983）·Zbl 0519.68079号 [3] Alluhaibi，R.，自然语言断言描述的简单区间时态逻辑，（第11届国际计算语义学会议记录。第11届国际计算语义学会议记录，IWCS（2015）），283-293 [4] Artale，A。；布雷索林，D。；Montanari，A。；里日科夫，V。；Sciavicco，G.，DL-Lite和区间时序逻辑：求婚，（《第21届欧洲人工智能会议论文集》，第21届欧盟人工智能会议文献集，ECAI（2014）），957-958 [5] Artale，A。；Franconi，E.，《行动和计划推理的时间描述逻辑》，J.Artif。智力。原因。，9, 463-506 (1998) ·Zbl 0911.68190号 [6] Artale，A。；康查科夫，R。；里日科夫，V。；Zakharyaschev，M.，《带描述逻辑的时间概念数据建模食谱》，ACM Trans。计算。日志。，15, 3, 25:1-25:50 (2014) ·Zbl 1354.68245号 [7] Artale，A。；康查科夫，R。；里日科夫，V。；Zakharyaschev，M.，可追踪区间时间命题和描述逻辑，（第29届AAAI人工智能会议论文集。第29届APAI人工智慧会议论文集，AAAI（2015）），1417-1423 [8] Baeza-Yates，R.A.，《信息检索与自然语言处理相互作用的挑战》，（第五届国际计算语言学与智能文本处理会议论文集，第五届计算语言学和智能文本处理国际会议论文集），CICLing（2004），445-456 [9] Balsiger，P。；豪尔丁，A。；Schwendimann，S.，命题模态逻辑的基准方法K，KT，S4，J.Autom。原因。，24, 3, 297-317 (2000) ·Zbl 0955.03013号 [10] Bettini，C.，《时间依赖概念：使用时间描述逻辑的表示和推理》，《数据知识》。工程师，22，1，1-38（1997）·Zbl 0907.68183号 [11] Börger，E。；Grädel，E。；Gurevich，Y.，《经典决策问题》，《数理逻辑的观点》（1997），斯普林格出版社·Zbl 0865.03004号 [12] 布雷索林，D。；Della Monica，D。；V.戈兰科。；Montanari，A。；Sciavicco，G.，Halpern和Shoham的区间时间逻辑的可判定和不可判定片段：走向完整分类， （第十五届程序设计、人工智能和推理逻辑国际会议的会议记录第届国际程序设计、人工智能和推理逻辑会议，LPAR，Lect。注释计算。科学。，第5330卷（2008），施普林格），590-604·Zbl 1182.03037号 [13] 布雷索林，D。；Della Monica，D。；V.戈兰科。；Montanari，A。；Sciavicco，G.，《区间时序逻辑的黑暗面：标记不可判定边界》，《数学年鉴》。Artif公司。智力。，71, 1-3, 41-83 (2014) ·Zbl 1325.03014号 [14] 布雷索林，D。；Della Monica，D。；Montanari，A。；萨拉，P。；Sciavicco，G.，强离散线性次序上的区间时序逻辑：表达性和复杂性，Theor。计算。科学。，560, 269-291 (2014) ·Zbl 1335.03017号 [15] 布雷索林，D。；Della Monica，D。；Montanari，A。；萨拉，P。；Sciavicco，G.，《关于密集结构上艾伦关系的模态逻辑片段的复杂性》， （第九届语言与自动机理论与应用国际会议议事录理论与应用，LATA，Lect。注释计算。科学。，第8977卷（2015），施普林格），511-523·Zbl 1451.03020号 [16] 布雷索林，D。；Della Monica，D。；Montanari，A。；Sciavicco，G.，有限线性阶上右命题邻域逻辑的表系统：一种实现， （第22届分析表及相关方法自动推理国际会议记录。第22届分析表及相关方法自动推理国际会议记录，Tableaux。第22届分析表及相关方法自动推理国际会议记录第22届分析表自动推理及相关方法国际会议，TABLEUX，Lect。注释计算。科学。，第8123卷（2013）），第74-80页·Zbl 1401.68275号 [17] 布雷索林，D。；Della Monica，D。；Montanari，A。；Sciavicco，G.，《区间时序逻辑的光明面：CDT的Bernays-Schönfinkel片段》，《数学年鉴》。Artif公司。智力。，71, 1-3, 11-39 (2014) ·Zbl 1325.03015号 [18] 布雷索林，D。；V.戈兰科。；Montanari，A。；Sala，P.，Tableaux，稠密序上子区间结构的逻辑，J.Log。计算。，20, 1, 133-166 (2010) ·Zbl 1188.03009号 [19] 布雷索林，D。；A.库鲁茨。；穆尼奥斯·韦拉斯科，E。；里日科夫，V。；Sciavicco，G。；Zakharyaschev，M.，Halpern-Shoham区间时序逻辑的Horn片段，ACM Trans。计算。日志。，18, 3, 22:1-22:39 (2017) ·Zbl 1407.03029号 [20] 布雷索林，D。；穆尼奥斯·韦拉斯科，E。；Sciavicco，G.，艾伦关系的区间时间逻辑的次传播片段， （《第十四届欧洲人工智能逻辑会议纪要》、《第十四次欧洲人工智能逻辑学会议纪要”、《第14届欧洲人工智慧逻辑学大会纪要》，《第14次欧洲人工智慧逻辑会议纪实》，《JELIA，Lect.Notes Compute Sci.vol。8761（2014），施普林格），122-136·Zbl 1432.03028号 [21] Z.Chaochen。；Hansen，M.R.，《持续演算：实时系统的形式化方法》，EATCS:理论计算机科学专著（2004），Springer·兹比尔1071.68062 [22] 乔米奇，J。；托曼，D.，《信息系统中的时态逻辑》（数据库和信息系统的逻辑（1998）），31-70·Zbl 0955.03513号 [23] Della Monica，D。；Montanari，A。；Sciavicco，G。；Tishkovsky，D.，区间时序逻辑表系统自动合成的第一步，（第五届计算逻辑、代数、程序设计、工具和基准测试国际会议论文集。第五届国际计算逻辑、代数学、程序设计和基准测试会议论文集，计算工具（2014）），32-37 [24] Fariñas del Cerro，L。；Fauthoux，D。；Gasquet，O。；Herzig，A。；Longin，D。；Massacci，F.，Lotrec：模态和描述逻辑的通用表证明程序，（第一届国际自动推理联合会议的会议记录，第一届国际自动化推理联合会议记录，IJCAR（2001）），453-458·Zbl 0988.68592号 [25] Gent，I.P。；Walsh，T.，《SAT相变》（第11届欧洲人工智能会议纪要，第11届欧盟人工智能会议，ECAI（1994）），105-109 [26] 哥伦比奇，M.C。；Shamir，R.，《时间推理的复杂性和算法：图形理论方法》，J.ACM，40，5，1108-1133（1993）·Zbl 0795.68095号 [27] V.戈兰科。；Montanari，A。；Sciavicco，G.，命题区间邻域时间逻辑，J.Univers。计算。科学。，9, 9, 1137-1167 (2003) [28] 哈尔彭，J。；《时间间隔的命题模态逻辑》，J.ACM，38，4，935-962（1991）·Zbl 0799.68175号 [29] Klarman，S.，通过OWL 2 QL和SQL进行时间数据的实际查询：2011， （第19届程序设计、人工智能和推理逻辑国际会议记录。第19届程序设计、人工智能和推理逻辑国际会议记录，LPAR。第19届程序设计、人工智能和推理逻辑国际会议记录。第19届第七届国际逻辑编程、人工智能和推理会议，LPAR，EPiC系列，第26卷（2014年），人工智能研究中心，52-61 [30] Marcinkowski，J。；Michaelszyn，J.，子区间逻辑的不可判定性，Fundam。通知。，131, 2, 217-240 (2014) ·Zbl 1315.03027号 [31] 马克思，M。；Reynolds，M.，罗盘逻辑的不确定性，J.Log。计算。，9, 6, 897-914 (1999) ·Zbl 0941.03018号 [32] Molinari，A。；Montanari，A。；Murano，A。；佩雷利，G。；Peron，A.，检查计算的区间性质，Acta Inform。，53, 6-8, 587-619 (2016) ·Zbl 1350.68184号 [33] Montanari，A。；Pratt-Hartmann，I。；Sala，P.，有限线性阶上自反子区间和超区间关系的逻辑的可判定性，（第17届国际时间表示与推理研讨会论文集。第17届时间表示与推论国际研讨会论文集，TIME（2010），IEEE计算机学会），27-34 [34] Montanari，A。；小狗，G。；Sala，P.，Halpern和Shoham的区间模态逻辑的最大可判定片段， （第37届国际自动化、语言和程序设计学术讨论会会议记录——第二部分：第37届自动控制、语言和编程国际学术讨论会记录——第II部分，ICALPges和编程——第二部分，ICALP，Lect。注释计算。科学。，第6199卷（2010），施普林格），345-356·Zbl 1288.03017号 [35] Montanari，A。；小狗，G。；Sala，P.，基于锥形基本方向的指南针逻辑的可判定弱化，Log。方法计算。科学。，11, 4 (2015) ·Zbl 1351.03014号 [36] Montanari，A。；小狗，G。；萨拉，P。；Sciavicco，G.，自然数上区间时间逻辑（A B\overline{B}）的可判定性，（第27届计算机科学理论方面研讨会论文集，第27届计算科学理论方面会议论文集，STACS（2010），Inria Nancy Grand Est&Loria），597-608·Zbl 1230.03047号 [37] Montanari，A。；Sciavicco，G。；Vitacolona，N.，通过粒度确定分裂帧上的区间时序逻辑， （《第八届欧洲人工智能中的逻辑会议纪要》、《第八次欧洲人工智能逻辑会议纪实》、《JELIA.第八届欧盟人工智能中逻辑会议纪录片》、《欧洲人工智能逻辑学会议纪实，JELIA，Lect.Notes Artif.Intell.，第2卷）424（2002），施普林格），259-270·Zbl 1013.03013号 [38] Moszkowski，B.，《关于数字电路的推理》（1983年），斯坦福大学计算机科学系：加州斯坦福大学计算机系，博士论文 [39] Papadimitriou，C.M.，《计算复杂性》（1994），Addison-Wesley Longman Publishing Co.，Inc·Zbl 0833.68049号 [40] Pratt Hartmann，I.，时间介词及其逻辑，人工制品。智力。，166, 1-2, 1-36 (2005) ·Zbl 1132.03334号 [41] Schmiedel，A.，《时间术语逻辑》，（第八届全国人工智能会议纪要，第八届国家人工智能会议，美国人工智能学会（1990），美国人工学会出版社），640-645 [42] 斯托克迈耶，L.J。；Meyer，A.R.，需要指数时间的单词问题（初步报告），（第五届美国计算机学会计算理论研讨会论文集。第五届全美计算机学会计算原理研讨会论文集，STOC（1973），美国计算机学会），1-9·Zbl 0359.68050号 [43] 蒂什科夫斯基，D。；施密特，R.A。；Khodadadi，M.，《表校验器生成器》（The tableau provider generator），（第13届欧洲人工智能逻辑会议论文集，第13届欧盟人工智能逻辑大会论文集，JELIA（2012）），492-495 [44] 《区间时态逻辑的表达性和完备性》，《圣母院学报》。，31, 4, 529-547 (1990) ·Zbl 0725.03006号 [45] Zemke，F.，《SQL中的新功能：2011》，SIGMOD Rec.，41，1，67-73（2012） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。