Angelo蒙塔纳里;圭多·西亚维科;尼古拉·维塔科隆纳 区间时序逻辑在分裂帧上通过粒度的决定性。 (英语) Zbl 1013.03013号 Flesca,Sergio(编辑)等人,《人工智能中的逻辑》。第八届欧洲会议,JELIA 2002,意大利科森扎,2002年9月23日至26日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2424, 259-270 (2002). 摘要:时间间隔逻辑为表示和推理人工智能和计算机科学各个领域中的计时属性提供了一个自然的框架。不幸的是,文献中提出的大多数区间时间逻辑已被证明(高度)不可判定。这些逻辑的决定性片段是通过对其表达能力施加严格限制而获得的。在本文中,我们提出了一种新的区间时序逻辑,称为分割逻辑,它配备了从其他区间时序逻辑借用的运算符,但基于时间域的分层视图对特定的区间结构进行解释。我们证明了分裂逻辑与文献中提出的时间粒度一元理论的一阶片段之间存在直接的对应关系。这种联系使我们能够将这些理论的现有可判定性结果转移到分裂逻辑中。关于整个系列,请参见[Zbl 0997.00032号]. 引用于8文件 MSC公司: 03B44号 时间逻辑 03B25号 理论和句子集的可决定性 68T27型 人工智能中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,Lect。注释计算。科学。2424259--270(2002;Zbl 1013.03013) 全文: 链接