×
Dimitar P.Guelev。;柯特林·迪马;康斯坦丁·埃纳

知识、完美回忆和过去的交替时间时序逻辑：公理化和模型检查。 （英语） Zbl 1242.68161号

J.应用。非类别。日志。 21，第1期，93-131（2011）.
摘要：我们提出了一种具有不完全信息的ATL变体，其中包括对应于同步动作和完全召回的分布式知识算子。合作模式假设使用联盟的分布式知识，并相应地引用完全召回不完全信息策略。我们提出了一种逻辑的模型检查算法。它基于具有不完美信息和部分可观察目标的博弈技术，并涉及到在无限树上决定自动机的空性。我们还提出了一个公理系统，并证明了它对于一个相当有表现力的子集的完备性。对于这个完全公理化子集之外的结构，我们提出了一些公理，通过这些公理，可以在每个状态都有有限多个后继的模型类的子集中定义它们，并给出了包含这些结构的逻辑的“平坦”子集的完整公理化。

引用于7文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B44号 时间逻辑
91A44型 涉及拓扑、集合论或逻辑的游戏

软件：

MCMAS公司
PDF格式BibTeX公司 XML格式引用
\textit{D.P.Guelev}等人，J.Appl。非类别。日志。21，第1号，93--131（2011；Zbl 1242.68161）
全文： 内政部

参考文献：

[1] 奥戈特斯·T，《TARK’07会议录》第15页–
[2] Alur R.，《2007年系统构建和分析的工具和算法》，LNCS第4424卷第664页–（2007）·Zbl 1186.68273号 ·doi:10.1007/978-3-540-71209-1_51
[3] Alur R.，第38届IEEE计算机科学基础研讨会论文集，pp 100–
[4] Alur R.，《美国医学会杂志》49（5），第1页–（2002）·Zbl 1326.68181号 ·doi:10.1145/585265.585270
[5] Balbiani P.，《信息学基础》45（1），第1页–（2001）
[6] Chatterjee K.，《2006年CSL会议录》，计算机科学讲义第4207卷，第287页–
[7] Dima C.，《第九届多智能体系统计算逻辑国际研讨会论文集》（CLIMA IX），LNAI第117页第5405卷
[8] Dima C.，《不完全信息和完全回忆语义下的模型检查ATL无法确定》（2011年）
[9] Dima C.，《游戏、自动化、逻辑和形式验证（GandALF）第一次研讨会论文集》，EPTCS第103页第25卷-
[10] Dix J.，《计算系统理论》42（3），第366页–（2008）·Zbl 1136.68036号 ·doi:10.1007/s00224-007-9080-z
[11] French T.，模态逻辑进展5，第53页–（2005）
[12] Goranko V.，综合139（2），第241页–（2004）·Zbl 1106.03009号 ·doi:10.1023/B:同步0000024915.66183.d1
[13] Goranko V.，《计算逻辑学报》11（1）（2009）
[14] Goranko V.，《理论计算机科学》353（1），第93页–（2006）·Zbl 1089.03013号 ·doi:10.1016/j.tcs.2005.07.043
[15] Guelev D.P.，《2008年DALT会议录》，计算机科学讲稿第5397卷，第75页–
[16] Halpern J.，《知识推理》（1995）·Zbl 0839.68095号
[17] 内政部：10.1137/S00975397920906·Zbl 1059.68127号 ·网址：10.1137/S0097539797920906
[18] 内政部：10.3166/jancl.17.423-475·Zbl 1186.03031号 ·doi:10.3166/jancl.17.423-475
[19] Jamroga W.，《信息学基础》63（2）第185页–（2004）
[20] Jamroga W.，《不确定性下的战略能力》（2006）
[21] Lichtenstein O.，《IGPL逻辑杂志》8（1），第55页–（2000）·Zbl 1033.03009号 ·doi:10.1093/jigpal/8.1.55
[22] Lomuscio A.，MCMAS:多代理系统的模型检查器（2010）
[23] Lomuscio A.，《第五届自治代理和多代理系统国际会议论文集》（AAMAS06），第161页–
[24] Lomuscio A.，《DALT’06的后期制作》，第29页–
[25] Pnueli A.，第31届计算机科学基础年度研讨会（FOCS’90）论文集，第746页–
[26] Reif J.H.，J.计算。系统。科学。29（2）第274页–（1984）·兹比尔0551.90100 ·doi:10.1016/0022-0000（84）90034-5
[27] DOI:10.1016/S1571-0661（05）82604-0·doi:10.1016/S1571-0661（05）82604-0
[28] Shilov N.V.，《第三届计算机科学固定点研讨会初步论文集》（FICS'02），编号NS-02-2，金砖国家国家票据系列第25页–
[29] Thomas W.，《形式语言手册》3第389页–（1997）·doi:10.1007/978-3-642-59126-67
[30] van der Hoek W.，《多主体的完整认识逻辑：结合分布式知识和公共知识》（1996）
[31] 范德霍克W.，Studia Logica 75 pp 125–（2003）·Zbl 1034.03013号 ·doi:10.1023/A:1026185103185
[32] 范德梅登R.，Studia Logica 75（1），第93页–（2003）·Zbl 1037.03010号 ·doi:10.1023/A:1026181001368
[33] van der Meyden R.，FSTTCS，计算机科学讲义第1738卷，第432页–（1999）
[34] van Otterloo S.，《第二届多智能体系统逻辑与通信国际研讨会论文集》（2004），ENTCS第126卷第77页–
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。