弗拉基米尔·里巴科夫。 非传递时间多智能体逻辑、信息和知识、决策算法。 （英语。俄文原件） Zbl 1420.03060号 同胞。数学。J。 58，第5号，875-886（2017）; 来自Sib的翻译。材料Zh。58，第5期，1128-1143（2017）。 摘要：多智能体和时态逻辑是信息科学、CS和AI中的活跃领域。注意力主要集中在基于传递关系模型的逻辑，特别强调传递时间。但这似乎不是很可靠的假设。通过有说服力的例子，可以相对容易地证明传递信息的不传递性。因此，我们引入并研究了基于非传递线性时间的多智能体时序逻辑。另一个创新的步骤是考虑不完整的信息：有缺陷的信息/知识，即过去具有可遗忘时间间隔的线性时间。从技术上讲，最重要的问题是建议逻辑的可满足性和可判定性问题。主要结果是计算可满足性和解决可判定性的算法（从而为这些问题提供解决方案）。论文最后提出了一系列悬而未决的问题。 引用于9文件 MSC公司： 03B70号 计算机科学中的逻辑 03B44号 时间逻辑 68T27型 人工智能中的逻辑 03B25号 理论和句子集的可决定性 03B42号 知识和信念的逻辑（包括信念变化） 关键词：时序逻辑;可计算性;信息;多智能体逻辑;可满足性;可判定性;判定算法;非及物时间 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。数学。J.58，第5号，875--886（2017；Zbl 1420.03060）；来自Sib的翻译。材料Zh。58，第5号，1128--1143（2017） 全文： 内政部 参考文献： [1] Fagin R.、Halpern J.Y.、Moses Y.和Vardi M.Y.，《知识推理》，麻省理工学院出版社，剑桥（1995）·Zbl 0839.68095号 [2] Gabbay D.M.、Hodkinson I.M.和Reynolds M.A.，《时间逻辑：数学基础和计算方面》。第1卷，克拉伦登出版社，牛津（1994）·Zbl 0921.03023号 [3] Gabbay D.M.和Hodkinson I.M.，“实数上具有直到和自的时间逻辑的公理化”，J.Log。计算。，第1期，229-260（1990）·Zbl 0744.03018号 ·doi:10.1093/logcom/1.2.229 [4] Gabbay D.M.和Hodkinson I.M.，《数据库背景下的时间逻辑》，牛津大学出版社，牛津（1995）（逻辑与现实：亚瑟·普赖尔的遗产论文）·Zbl 0919.03018号 [5] Manna Z.和Pnueli A.，《反应和并发系统的时间逻辑：规范》，Springer-Verlag，纽约（1992）·Zbl 0753.68003号 ·doi:10.1007/978-1-4612-0931-7 [6] Manna Z.和Pnueli A.，《反应系统的时间验证：安全》，Springer Verlag，纽约（1995）·Zbl 1288.68169号 ·doi:10.1007/978-1-4612-4222-2 [7] Vardi，M.，线性时序逻辑的自动机理论方法，238-266（1995） [8] Vardi M.Y.，“用双向自动机推理过去”，收录于：K.G.Larsen，S.Skyum，G.Winskel（编辑），国际自动机、语言和编程学术讨论会（ICALP-1998），Springer-Verlag，1998，628-641（计算机科学讲义；V.1443）·Zbl 0909.03019号 [9] 伍尔德里奇，M。；Lomuscio，A.，多代理VSK逻辑，300-312（2000），Springer-Verlag，伦敦·Zbl 0998.68164号 ·doi:10.1007/3-540-40006-0_21 [10] Wooldridge M.，“多智能体规划的自动机理论方法”，摘自：Proc。第一届欧洲多智能体系统研讨会（EUMAS 2003），牛津大学出版社，牛津，2003年（讲义Artif.Intell.；第1919卷）·Zbl 1186.03030号 [11] Wooldridge M.、Huget M.-P.、Fisher M.和Parsons S.，“模型检查多智能体系统：MABLE语言及其应用”，实习生。《人工智能工具杂志》，第15卷，第2期，195-225（2006）。 ·doi:10.1142/S0218213006002631 [12] Belardinelli F.和Lomuscio A.，“多智能体系统一阶逻辑中知识和时间的相互作用：完整性结果”，《人工智能研究杂志》，第45卷，第1-45页（2012年）·Zbl 1267.68221号 [13] Lomuscio，A。；Michaliszyn，J.，《认知Halpern-Shoham逻辑》，1010-1016（2013），AAAI出版社，北京 [14] Hintikka J.，《知识与信仰：两个概念的逻辑导论》，康奈尔大学出版社，伊萨卡出版社（1962年）。 [15] Artemov S.，“合理的常识”，Theor。计算。科学。，第357卷，第1期，4-22（2006）·邮编1094.03005 ·doi:10.1016/j.tcs.2006.03.009 [16] Balbiani博士和Vakarelov D.，“信息系统中不可分辨性和互补性的模态逻辑”，Fundam。通知。，第45卷，173-194（2001）·Zbl 0976.03037号 [17] Halpern J.、Samet D.和Segev E.，“根据信念定义知识”，模态逻辑观点。《符号逻辑评论》，第2卷，第3期，469-487（2009）·Zbl 1186.03030号 ·doi:10.1017/S1755020309990141 [18] Vakarelov，D.，《Pawlak信息系统中不可分辨性和相似关系的模式表征》，12-22（2005）·Zbl 1134.68505号 ·doi:10.1007/11548669_2 [19] 里巴科夫，V。；Babenyshev，S.，基于线性时间帧的距离多代理逻辑，337-344（2010） [20] Rybakov V.V.，“线性模态逻辑中的机会发现和统一”，摘自：Proc。实习生。Conf.KES 2011：基于知识和智能的信息与工程系统，Springer-Verlag，Berlin和Heidelberg，2011，478-485（Lect.Notes Compute.Sci.；vol.6882）。 [21] Rybakov，V.V.，《多智能体环境中机会发现的逻辑分析》，1593-1601（2012） [22] McLean D.和Rybakov V.，“多代理临时逻辑<InlineEquation ID=“IEq2”><EquationSource Format=“TEX”>\[TS4_{K_n}^U\]<EquationSource Format=“MATHML”><math-xmlns:xlink=”http://www.w3.org/1999/xlink“>TS4KnU基于非线性时间并通过代理交互模拟不确定性”，载于：人工智能和软计算（ISAICS），Springer-Verlag，Berlin和Heidelberg，2013，375-384（Lect.Notes Compute.Sci.；vol.7895）。 ·doi:10.1007/978-3-642-38610-7_35 [23] Rybakov V.V.，“精炼公共知识逻辑或公共信息逻辑”，Arch。数学。日志。，第42卷，第2期，179-200（2003）·Zbl 1030.03015号 ·doi:10.1007/s001530100134 [24] Rybakov V.，“通过交互代理进行知识和发现的逻辑。真实和可满足语句的决策算法”，《信息科学》。，第179卷，第11期，1608-1614（2009）·Zbl 1179.68151号 ·doi:10.1016/j.ins.2008.12008 [25] Rybakov V.，“线性时序逻辑<InlineEquation ID=“IEq4”><EquationSource Format=“TEX”>\[LT{L_{K_n}}}\]<Equation Source Formation=“MATHML”><math-xmlns:xlink=“http://www.w3.org/1999/xlink“>LTLKn由具有交互代理的多智能体逻辑扩展。”J.Log。计算。，第19卷，第6期，989-1017（2009）·Zbl 1208.03023号 ·doi:10.1093/log.com/exp027 [26] Rybakov V.V.，“线性时间逻辑与直到和下一个，逻辑顺序”，《纯粹应用年鉴》。《逻辑》，第155卷，32-45（2008）·邮编1147.03008 ·doi:10.1016/j.apal.2008.03.001 [27] Rybakov V.V.，“非传递线性时序逻辑和逻辑知识运算”，J.Log。计算。，第26卷，第3期，945-958（2016）·Zbl 1403.03028号 ·doi:10.1093/log.com/exv016 [28] Babenyshev S.和Rybakov V.，“线性时序逻辑LTL：可接受规则的基础”，J.Log。计算。，第21卷，第2期，157-177（2011）·Zbl 1233.03026号 ·doi:10.1093/log.com/exq020 [29] Rybakov V.V.，“离散线性时序逻辑中的逻辑连续性”，J.Symb。日志。，第70卷，第4期，1137-1149页（2005年）·兹比尔1110.03010 ·doi:10.2178/jsl/1129642119 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。