×

由时间状态本身生成的具有可访问性时间关系的时间逻辑。 (英语) 兹比尔1437.03081

摘要:我们研究了一个具有非标准时间可及性关系的时间逻辑。这种逻辑是由语义地下模型生成的,任何这样的模型都有一个由时间状态本身生成的时间关系框架构成的基础;潜在地,任何状态都有其自身的时间可及性关系,并且所有状态都可能不同。我们认为这是最合理的模型,因为任何时间状态原则上都有自己对过去(或未来)的看法。时间关系可能有非空重叠,它们可能完全不及物。因此,这种方法可能适用于分析关于计算、信息流、可靠性和AI和CS的其他领域的最一般推理情况。这里考虑的主要数学问题是解决可满足性问题的算法的存在性。在这里,我们解决了这个问题,并找到了所需的算法。在本文的最后部分,我们提出了一些有趣的开放问题。

MSC公司:

03B44号 时间逻辑
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] F.Baader、P.Marantidis、A.Mottet、A.Okhotin。单位模ACUI的扩展,计算机科学中的数学结构,(2019),1-30。
[2] F.Baader,P.Narendran,概念术语统一,第十一届国际统一研讨会论文集,UNIF-97,后进先出技术报告,(2001),97-98·Zbl 0970.68166号
[3] S.Babenyshev,V.Rybakov,线性时序逻辑LTL:可接受规则的基础,J.Log。计算。,21:2 (2011), 157-177. Zbl 1233.03026号·Zbl 1233.03026号
[4] H.Friedman,《数学逻辑中的102个问题》,J.Symb。日志。,40(1975),第113-129页。Zbl 0318.02002号·Zbl 0318.02002号
[5] D.M.Gabbay,I.M.Hodkinson,实数上的时态逻辑的公理化,J.Log。计算。,1:2 (1990), 229-259. Zbl 0744.03018号·Zbl 0744.03018号
[6] D.M.Gabbay,I.M.Hodkinson,M.A.Reynolds,时间逻辑。第1卷。《数学基础和计算方面》,克拉伦登出版社,牛津,(1994)。Zbl 0921.03023号·Zbl 0921.03023号
[7] R.Goldblatt,《时间与计算的逻辑》,CSLI课堂讲稿,7(1992),第6章。MR1191162型
[8] V.Goranko,《带参考指针的模态和时序逻辑层次结构》,J.Log。《语言信息》,5:1(1996),1-24。Zbl 0851.03003号·Zbl 0851.03003号
[9] S.Ghilardi,《直觉主义逻辑的统一》,J.Symb。日志。,64:2 (1999), 859-880. Zbl 0930.03009号·Zbl 0930.03009号
[10] S.Ghilardi,《通过投影实现统一》,J.Log。计算。,7:6 (1997), 733-752. 兹布尔0894.08004·Zbl 0894.08004号
[11] S.Odintsov,V.Rybakov,纳尔逊逻辑中的推理规则,可容许性和弱可容许性,Log。大学。,9:1 (2015), 93-120. Zbl 1336.03036号·Zbl 1336.03036号
[12] S.Odintsov,V.Rybakov,次协调极小Johanssons逻辑J和正直觉逻辑IPC+的统一和容许规则,Ann.Pure Appl。《逻辑》,164:7-8(2013),771-784。Zbl 1323.03029号·Zbl 1323.03029号
[13] V.Rybakov,重新定义了公共知识逻辑或公共信息逻辑,Arch。数学。日志。,42:2 (2003), 179-200. Zbl 1030.03015号·2015年3月30日
[14] V.Rybakov,《离散线性时序逻辑中的逻辑连续性》,J.Symb。日志。,70:4 (2005), 1137-1149. Zbl 1110.03010号·Zbl 1110.03010号
[15] 里巴科夫(V.Rybakov),《线性时间逻辑与直到和下一个,逻辑连续性》(Linear temporal logic with until and next),《纯粹应用》(Ann.Pure Appl)。《逻辑》,155:1(2008),32-45。邮编1147.03008·兹比尔1147.03008
[16] V.Rybakov,《通过交互主体进行知识和发现的逻辑——真实和可满足陈述的决策算法》,《信息科学》。,179:11 (2009), 1608-1614. Zbl 1179.68151号·Zbl 1179.68151号
[17] V.Rybakov,线性时间逻辑LT LKextended by Multi-Agent LogicKnwith Interacting Agents,J.Log。计算。,19:6 (2009), 989-1017. Zbl 1208.03023号·Zbl 1208.03023号
[18] V.Rybakov,《多代理环境中机会发现的逻辑分析》,KES 2012,会议记录,Springer,(2012),1593-1601。
[19] V.Rybakov,在线性时序逻辑中写出单位,J.Log。计算。,22:5 (2012), 1199-1206. Zbl 1259.03029号·Zbl 1259.03029号
[20] V.Rybakov,非传递线性时序逻辑和逻辑知识运算,J.Log。计算。,26:3(2016),945-958。Zbl 1403.03028号·Zbl 1403.03028号
[21] V.V.Rybakov,非传递时间多智能体逻辑,信息和知识,决策算法,Sib。数学。J.,58:5(2017),875-886。Zbl 1420.03060号·Zbl 1420.03060号
[22] V.Rybakov,多值多代理时序逻辑,Sib。数学。J.,59:4(2018),710-720。Zbl 06976648号·Zbl 1469.03047号
[23] V.Rybakov,《具有非传递时间的线性时间逻辑,可判定性和可容许性的验证算法》,《对逻辑的杰出贡献》,斯普林格出版社,2018年,219-243。Zbl 1429.03074号·Zbl 1429.03074号
[24] V.Rybakov,《过去丢失世界的时间多值逻辑》,Sib。电子。数学。伊兹夫。,15(2018), 436-449. Zbl 06931667号·Zbl 1436.03154号
[25] V.Rybakov,分支时间代理逻辑,简化形式规则的可满足性问题,Sib。电子。数学。伊兹瓦。,16(2019), 1158-1170. Zbl 07122035号·兹伯利1436.03126
[26] R.Schmidt,D.Tishkovsky,用表格方法解决S4的规则可接受性问题,自动推理研讨会,(2011),30。
[27] S.Babenyshev,V.Rybakov,R.Schmidt,D.Tishkovsky,S4中检查规则可接受性的表格方法,理论计算机科学中的电子笔记,262(2010),17-32。Zbl 1345.03033号·Zbl 1345.03033号
[28] J.van Benthem,《时态逻辑与时间》,《圣母院形式逻辑》,25:1(1984),1-16。Zbl 0536.03008号·Zbl 0536.03008号
[29] M.Vardi,《关于时间逻辑的自动化理论方法》,载于:Y.Ban ff Higher-Order Workshop(1995),238-266http://citeseer.ist.psu.edu/vardi96automatheoretic.html。
[30] M.Vardi,用双向自动机推理过去,收录于:Larsen K.G.(编辑)等人,ICALP,LNCS,1443(1998),628-641。Zbl 0909.03019号·Zbl 0909.03019号
[31] Yde Venema,《时间逻辑》,第章:Lou Goble(编辑),《布莱克威尔哲学逻辑指南》,布莱克威尔出版社,牛津,2001年,203-223·Zbl 0997.03019号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。