里巴科夫，V.V。 多智能体时间非传递线性逻辑与可容许性问题。 （英语。俄文原件） Zbl 1484.03031号 代数逻辑 59，第1号，87-100（2020年）; 《代数逻辑学》59，第1期，第123-141页（2020年）的译文。 摘要：我们研究了时间逻辑的一种扩展，即在具有非传递线性时间的模型上的多主体逻辑（在某种意义上，它也是区间逻辑的一个扩展）。所提出的关系模型承认代理之间的可接受关系存在缺陷：一个代理可以访问的信息可能对其他代理无法访问。逻辑语言使用临时运算符“until”和“next”（对于每个代理），通过它们我们可以引入“possible”和“required”模式操作对于所介绍的逻辑，正在研究的主要问题是推理规则可接受性的识别问题。以前，这个问题是针对传递性区间具有固定统一长度的逻辑来处理的。这里没有假设长度的一致性，并且逻辑是由不同代理的单个时间运算符扩展的。找到了一个算法，它决定了给定逻辑中的可容许性问题，即它识别可容许推理规则。 引用于1文件 MSC公司： 03B44号 时间逻辑 68T27型 人工智能中的逻辑 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 03B70号 计算机科学中的逻辑 关键词：时间逻辑;多智能体逻辑;信息;规则的可采性问题;决策算法 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，《代数逻辑》59，第1期，87--100（2020；Zbl 1484.03031）；《代数逻辑》59，第1期，第123--141页（2020年）的译文 全文： 内政部 链接 参考文献： [1] D.M.Gabbay、I.Hodkinson和M.Reynolds，时间逻辑，第1卷，数学基础和计算方面，牛津逻辑指南，28，克拉伦登出版社，牛津（1994）·Zbl 0921.03023号 [2] DM Gabbay；Hodkinson，IM，实数上的时态逻辑的公理化，J.Log。计算。，1, 2, 229-259 (1990) ·Zbl 0744.03018号 ·doi:10.1093/logcom/1.2.229 [3] D.M.Gabbay和I.Hodkinson，“数据库背景下的时间逻辑”，摘自《逻辑与现实：亚瑟·普赖尔的遗产论文》，B.J.Copeland（编辑），克拉伦登出版社，牛津（1996），第69-87页·Zbl 0919.03018号 [4] M.Wooldridge和A.Lomuscio，“多代理𝒱SK逻辑，“Lect。注释计算。科学。，1919年，施普林格，柏林（2000年），第300-312页·Zbl 0998.68164号 [5] M.Wooldridge，《多智能体规划的自动机理论方法》。牛津大学第一届欧洲多智能体系统研讨会（EUMAS 2003）（2003）。 [6] 伍尔德里奇，M。；雨果，M-P；费希尔，M。；Parsons，S.，《多智能体系统的模型检查：MABLE语言及其应用》，国际期刊Artif。智力。工具，15，2，195-226（2006）·doi:10.1142/S0218213006002631 [7] Belardinelli，F。；Lomuscio，A.，《多智能体系统一阶逻辑中知识与时间的相互作用：完备性结果》，J.Artif。智力。研究（JAIR），45，1-45（2012）·Zbl 1267.68221号 ·doi:10.1613/jair.3547 [8] S.Babenyshev和V.Rybakov，《多智能体环境决策算法中发现的合理性逻辑》，Lect。注释计算。科学。，5179，柏林施普林格出版社（2008），第210-217页。 [9] S.Babeyshev和V.Rybakov，“基于线性时间逻辑LTL的具有局部公共知识的混合逻辑的可判定性”，Lect。注释计算。科学。，5028，柏林施普林格出版社（2008），第32-41页·Zbl 1142.03323号 [10] S.Babenyshev和V.Rybakov，“发现和知识的逻辑：决策算法”，摘自Lect.Notes Compute.Sci.，5178，Springer，Berlin（2008），第711-718页。 [11] S.Babenyshev和V.Rybakov，《描述多智能体系统的进化》，Lect。注释计算。科学。，5711，柏林施普林格出版社（2009），第38-45页。 [12] Rybakov，VV，线性时序逻辑\（{\text{mathcal{L}}\mathcal}T}\text{mathcal{L2}}_K\），由具有交互代理的多代理逻辑K_n扩展，J.Log。计算。，19, 6, 989-1017 (2009) ·Zbl 1208.03023号 ·doi:10.1093/log.com/exp027 [13] 费金，R。；JY Halpern；摩西，Y。；Vardi，MY，《关于知识的推理》（1995），马萨诸塞州剑桥：麻省理工学院，马萨诸塞州剑桥·Zbl 0839.68095号 [14] V.F.Yun，“具有归纳公理的线性时间框架的时间逻辑”，Sib。El.Mat.Izv.公司。，6, 312-325 (2009); http://semr.math.nsc.ru/v6/p312-325.pdf。 ·Zbl 1299.03006号 [15] J.Hintikka，《知识与信仰，两个概念的逻辑导论》，由V.F.Hendricks和J.Symons编写，1962年原文再版，《哲学文本》。，1，伦敦国王学院（2005年）·Zbl 1085.03001号 [16] J.F.van Benthem，《时间的逻辑》。时间本体和时间话语多样性的模型理论研究。天秤座。，156，雷德尔，多德雷赫特（1983年）·Zbl 0508.03008号 [17] M.Y.Vardi，“线性时序逻辑的自动机理论方法”，摘自《计算研讨会》，Springer-Verlag，伦敦（1991年），第238-266页；http://citeseer.ist.psu.edu/vardi96automatheoretic.html。 [18] M.Y.Vardi，“用双向自动机推理过去”，摘自Lect。注释计算。科学。，1443年，柏林施普林格出版社（1998年），第628-641页·Zbl 0909.03019号 [19] L.L.Maksimova和V.F.Yun，“强可判定性和强可识别性”，《代数与逻辑》，56，第5期，370-385（2017）·Zbl 1420.03046号 [20] Rybakov，VV，非传递线性时序逻辑和逻辑知识运算，J.Log。计算。，26, 3, 945-958 (2016) ·Zbl 1403.03028号 ·doi:10.1093/log.com/exv016 [21] Rybakov，VV，非传递时间多智能体逻辑，信息和知识，决策算法，Sib。数学。J.，58，5，875-886（2017）·Zbl 1420.03060号 ·doi:10.1134/S0037446617050147 [22] Rybakov，VV，多值多代理时序逻辑，Sib。数学。J.，59，4，710-720（2018）·Zbl 1469.03047号 ·doi:10.1134/S0037446618040134 [23] V.V.Rybakov，“具有非传递时间的线性时序逻辑，可判定性和可容许性验证的算法”，收录于Larisa Maksimova on Implication，Interpolation，and Defability，Outst。控制日志。，15，S.Odintsov（编辑），Springer，Cham（2018），第219-243页·Zbl 1429.03074号 [24] V.V.Rybakov，“过去失去世界的时间多值逻辑”，Sib。El.Mat.Izv.公司。，15436-449（2018）；http://semr.math.nsc.ru/v15/p436-449.pdf。 ·Zbl 1436.03154号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。