×
里巴科夫，V.V。

具有多代理时间可访问性关系的时间逻辑分支。 （英语。俄文原件） Zbl 1474.68341号

同胞。数学。J。 62，第3期，503-510（2021）；来自Sib的翻译。材料Zh。62，第3期，623-632（2021年）。
摘要：正在研究的是不同长度和内容的代理具有时间可及性关系的分支时间时序逻辑。我们通过描述可计算大小的有限可满足模型（通过输入公式的大小），找到了一种解决逻辑的可满足性和可判定性问题的算法。我们去掉了对代理的所有时间可访问性区间大小的限制（在任何本地时间点都在一个公共时间可访问度区间内）；即，所有约束都可以是任意的。此外，我们还提出了一些开放问题。

引用于1文件

MSC公司：

第68页第27页 人工智能中的逻辑
03B44号 时间逻辑
68T42型 Agent技术与人工智能

关键词：

时序逻辑;多智能体逻辑;可满足性问题;判定算法
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，西布。数学。J.62，No.3，503--510（2021；Zbl 1474.68341）；来自Sib的翻译。材料Zh。62，第3号，623--632（2021）
全文： 内政部

参考文献：

[1] DM Gabbay；霍德金森，IM；Reynolds，MA，《时间逻辑》（1994），牛津：克拉伦登，牛津·Zbl 0875.03007号 ·doi:10.1007/BFb0013976
[2] DM Gabbay；Hodkinson，IM，实数上具有Until和Since的时态逻辑公理化，J.logic Comput。，1, 229-260 (1990) ·Zbl 0744.03018号 ·doi:10.1093/logcom/1.2.229
[3] DM Gabbay；Hodkinson，IM，数据库背景下的时间逻辑（1995），牛津：牛津大学，牛津·Zbl 0919.03018号
[4] Wooldridge M.和Lomuscio A.，《多代理VSK逻辑》，摘自：，Proc。第七届欧洲人工智能逻辑研讨会（JELIAI-2000），施普林格，伦敦（2000），300-312·Zbl 0998.68164号
[5] Wooldridge M.，《多智能体规划的自动机理论方法》，摘自：，Proc。第一届多智能体系统欧洲研讨会（EUMAS 2003），牛津大学，牛津（2003），1-15。http://www.cs.ox.ac.uk/people/michael.wooldridge/pubs/eumas2003.pdf
[6] 伍尔德里奇，M。；哈吉特，议员；费希尔，M。；Parsons，S.，《模型检查多代理系统：MABLE语言及其应用》，实习生。《人工智能工具杂志》，15，2，195-225（2006）·doi:10.1142/S0218213006002631
[7] Belardinelli，F。；Lomuscio，A.，《多智能体系统一阶逻辑中知识与时间的相互作用：完整性结果》，《人工智能研究杂志》，45，1-45（2012）·Zbl 1267.68221号 ·doi:10.1613/jair.3547
[8] 艾默生，EA；Halpern，JY，分支时间的时序逻辑中的决策过程和表现力，J.Compute。系统。科学。，30, 1, 1-24 (1985) ·兹伯利0559.68051 ·doi:10.1016/0022-0000（85）90001-7
[9] EM克拉克；艾默生，EA；Sistla，AP，使用时态逻辑规范自动验证有限状态并发系统，ACM Trans。程序设计语言与系统，8，2244-263（1986）·Zbl 0591.68027号 ·doi:10.1145/5397.5399
[10] Carmo，J。；Sernadas，S.，《分支与线性逻辑尚在增长》，《形式方面计算》。，2，24-59（1990年）·Zbl 0697.68022号 ·doi:10.1007/BF01888216
[11] Rybakov，V.，非传递线性时序逻辑和逻辑知识运算，J.逻辑计算。，26, 3, 945-958 (2016) ·Zbl 1403.03028号 ·doi:10.1093/log.com/exv016
[12] Rybakov V.，“非及物时间多智能体的逻辑、知识和不确定性、合理性”，载于：，《计算机科学的逻辑基础：国际研讨会》（LFCS 2016），纽约斯普林格（2016），364-375（计算机科学讲义；卷9537）·Zbl 1474.68340号
[13] Rybakov，VV，非传递时间多智能体逻辑，信息和知识，决策算法，Sib。数学。J.，58，5，875-886（2017）·Zbl 1420.03060号 ·doi:10.1134/S0037446617050147
[14] Rybakov，VV，多值多代理时序逻辑，Sib。数学。J.，59，4，710-720（2018）·Zbl 1469.03047号 ·doi:10.1134/S0037446618040134
[15] Rybakov V.，“具有非传递时间的线性时序逻辑，可判定性算法和可容许性验证”，载于：，《对逻辑的杰出贡献》，Springer，Dordrecht（2018），219-243·Zbl 1429.03074号
[16] Rybakov，V.，《过去丢失世界的时态多值逻辑》，Sib。选举人。数学。报告，15436-449（2018）·Zbl 1436.03154号
[17] Rybakov，V.，分支时间代理逻辑，简化形式规则的可满足性问题，Sib。选举人。数学。报告，16，1158-1170（2019）·Zbl 1436.03126号
[18] Rybakov，V.，由时间状态本身生成的具有可访问性时间关系的时间逻辑，Sib。选举人。数学。报告，17923-932（2020）·Zbl 1437.03081号
[19] Babenyshev，S。；Rybakov，V.，线性时序逻辑LTL：可接受规则的基础，J.逻辑计算。，21, 2, 157-177 (2011) ·Zbl 1233.03026号 ·doi:10.1093/log/exq020
[20] Rybakov，V.，《离散线性时序逻辑中的逻辑连续性》，J.符号逻辑，70，4，1137-1149（2005）·Zbl 1110.03010号 ·doi:10.2178/jsl/1129642119
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。