×
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇

反应模块游戏中的不完全信息。 （英语） Zbl 1395.68188号

Inf.计算。 261，第4部分，650-675（2018）.
摘要：反应模块是一种用于并发、分布式和多代理系统的高级建模语言，用于许多实际的模型检查工具。反应模块游戏是反应模块的一种游戏理论扩展，其中假设系统组件战略性地行动，以满足代表其个人目标的时序逻辑公式。具有完全信息的反应模对策已被广泛研究，与此类对策相关的博弈论决策问题的复杂性（如纳什均衡的存在性）已被全面分类。在本文中，我们研究了代理对其环境只有部分可见性的反应模块游戏。

引用于三文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68T42型 Agent技术与人工智能
91A80型 博弈论的应用

关键词：

游戏;时序逻辑;多智能体系统;形式验证

软件：

EAGLE公司;摩卡;棱镜;MCMAS-SLK公司;MCMAS公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}等人，《信息计算》。261，第4部分，650--675（2018；Zbl 1395.68188）
全文： 内政部 链接

参考文献：

[1] Pnueli，A。；Rosner，R.，《异步反应模块的合成》，（ICALP，LNCS，第372卷，（1989），Springer），652-671·Zbl 0686.68015号
[2] 克拉克，E。；格伦伯格，O。；Peled，D.，模型检验，（2002），麻省理工出版社
[3] Ghica，D.R.，《游戏语义的应用：从程序分析到硬件合成》（LICS，（2009），IEEE计算机学会），17-26
[4] Walukiewicz，I.，《背景中的游戏景观》（LICS，（2004），IEEE计算机学会），356-366
[5] 奥斯本，M。；Rubinstein，A.，《博弈论课程》（1994），麻省理工出版社·Zbl 1194.91003号
[6] 鲍耶，P。；Brenguier，R。；马基，N。；Ummels，M.，具有Büchi目标的并发博弈中的Nash均衡，（FSTTCS，LIPIcs，第13卷，（2011），Schloss Dagstuhl），375-386·Zbl 1246.68122号
[7] 鲍耶，P。；Brenguier，R。；马基，N。；Ummels，M.，《有序目标的并发游戏》（FOSSACS，LNCS，第7213卷，（2012），施普林格出版社），301-315·Zbl 1352.68177号
[8] 查特吉，K。；Henzinger，T.A.，随机调查ω-常规游戏，J.Compute。系统。科学。，78,394-413（2012年）·Zbl 1237.91036号
[9] 阿鲁尔（Alur，R.）。；Henzinger，T.A.，反应模块，形式方法系统。设计。，15，1，7-48，（1999年）
[10] 阿鲁尔（Alur，R.）。；亨辛格，T.A。；Mang，F.Y.C。；卡迪尔，S。；Rajamani，S.K。；Tasiran，S.，MOCHA:模型检查中的模块化，（CAV，LNCS，第1427卷，（1998），Springer），521-525
[11] Kwiatkowska，M.Z。；诺曼，G。；Parker，D.，PRISM 4.0：概率实时系统验证，（CAV，LNCS，第6806卷，（2011），Springer），585-591
[12] 古铁雷斯，J。；Harrenstein，P。；Wooldridge，M.，《从模型检查到平衡检查：理性验证的反应模块》，Artif。智力。，248, 123-157, (2017) ·Zbl 1420.68129号
[13] Finkbeiner，B。；Schewe，S.，《协调逻辑》（CSL，LNCS，第6247卷，（2010），施普林格出版社），305-319·Zbl 1287.03070号
[14] 古铁雷斯，J。；Harrenstein，P。；Wooldridge，M.，战略推理的表达和复杂性结果，（CONCUR，LIPIcs，第42卷，（2015），Schloss Dagstuhl），268-282·Zbl 1374.68332号
[15] 赫恩，R.A。；Demaine，E.D.，《游戏、谜题和计算》（2009），A K Peters·Zbl 1175.91035号
[16] 马基，N。；Schnoebelen，P.，《模型检查路径》，（CONCUR，LNCS，第2761卷，（2003），Springer），248-262·Zbl 1274.68197号
[17] Sistla，A。；瓦尔迪，M。；Wolper，P.，《Büchi自动机的互补问题及其在时序逻辑中的应用》，Theor。计算。科学。，49, 217-237, (1987) ·兹伯利0613.03015
[18] 古铁雷斯，J。；Harrenstein，P。；Wooldridge，M.，迭代布尔游戏，信息计算。，242, 53-79, (2015) ·Zbl 1318.91012号
[19] 伍尔德里奇，M。；古铁雷斯，J。；Harrenstein，P。；马尔基奥尼，E。；佩雷利，G。；Toumi，A.，《理性验证：从模型检验到均衡检验》，（AAAI，（2016），AAAI出版社），4184-4191
[20] 古铁雷斯，J。；佩雷利，G。；Wooldridge，M.，反应模块游戏中的不完美信息，（KR，（2016）），390-400
[21] Emerson，E.，《时间和模态逻辑》（理论计算机科学手册（B卷），（1990年），麻省理工学院出版社），995-1072·Zbl 0900.03030号
[22] 范德霍克，W。；Lomuscio，A。；Wooldridge，M.，《关于实际ATL模型检查的复杂性》，（AAMAS，（2006），ACM），201-208
[23] 范德霍克，W。；Wooldridge，M.，《关于合作和命题控制的逻辑》，Artif。智力。，64, 81-119, (2005) ·Zbl 1132.68744号
[24] Finkbeiner，B。；Schewe，S.，均匀分布综合，（LICS，（2005），IEEE计算机学会），321-330
[25] R.伯顿。；莫伯特，B。；Murano，A.，《信息不完全且召回完全的ATL*的可决定性结果》（AAMAS，（2017），ACM），1250-1258
[26] R.伯顿。；莫伯特，B。；Murano，A。；鲁宾，S。；Vardi，M.Y.，《信息不完全的战略逻辑》（LICS，（2017），IEEE计算机学会），1-12·Zbl 1458.68113号
[27] 西斯特拉，A.P。；Clarke，E.M.，命题线性时序逻辑的复杂性，J.ACM，32，3，733-749，（1985）·Zbl 0632.68034号
[28] 斯托克迈耶，L.J。；Chandra，A.K.，可证明困难的组合博弈，SIAM J.Comput。，8, 2, 151-174, (1979) ·Zbl 0421.68044号
[29] 彼得森，G.L。；Reif，J.H。；Azhar，S.，不完全信息多人非合作游戏的下限，计算。数学。申请。，41, 957-992, (2001) ·Zbl 0991.91007号
[30] Parikh，R.，《博弈逻辑及其应用》（计算理论专题，（1985），爱思唯尔出版社），111-139·Zbl 0552.90110号
[31] 阿鲁尔（Alur，R.）。；Henzinger，T。；Kupferman，O.，《交替时间时序逻辑》，J.ACM，49，5，672-713，（2002）·Zbl 1326.68181号
[32] 范德霍克，W。；伍尔德里奇，M.，《时间、知识与合作：交替时间时间认知逻辑及其应用》，研究日志。，75, 1, 125-157, (2003) ·Zbl 1034.03013号
[33] 奥戈特内斯，T。；V.戈兰科。；查姆罗加，W。；Wooldridge，M.，《知识与能力》（《认识逻辑手册》，（2015），大学出版社），534-589
[34] 查特吉，K。；Henzinger，T。；彼得曼，N.，战略逻辑，信息计算。，208, 6, 677-693, (2010) ·Zbl 1205.68197号
[35] 莫加维罗，F。；Murano，A。；佩雷利，G。；Vardi，M.，《战略推理：模型选择问题》，ACM Trans。计算。日志。，15, 4, (2014) ·Zbl 1354.68178号
[36] 拉鲁西尼，F。；马基，N。；Sangnier，A.，《部分观察的Atlsc》（GandALF，EPTCS，第193卷，（2015）），第43-57页·Zbl 1476.68151号
[37] Van Der Hoek，W。；Troquard，N。；Wooldridge，M.，《知识与控制》（AAMAS，（2011），ACM），719-726
[38] 范德霍克，W。；伊利耶夫·P。；Wooldridge，M.，《揭示和隐藏的逻辑》（美国科学促进会，（2012），美国医学会），1115-1122
[39] 查姆罗加，W。；Murano，A.，《战略能力的模块检查》（AAMAS，（2015），ACM），227-235
[40] 布林，N。；V.戈兰科。；Jamroga，W.，《关于多层游戏中战略能力推理的逻辑》（Logics for reasoning about strategic capabilities in multi-layer games），（《战略推理模型——逻辑、游戏和社区》，LNCS，第8972卷，（2015），斯普林格出版社），93-136·Zbl 1422.91116号
[41] 查特吉，K。；Doyen，L.，《弱小对手的游戏》，（ICALP，LNCS，第8573卷，（2014），施普林格出版社），第110-121页·Zbl 1409.68169号
[42] Sandholm，T.，《解决不完美信息游戏》，《科学》，347，6218，122-123，（2015）
[43] Lomuscio，A。；Qu，H。；Raimondi，F.，MCMAS:一个用于验证多代理系统的开源模型检查器，国际J.Softw。技术工具。变压器。，2017年1月19日至30日
[44] Cermák，P。；Lomuscio，A。；莫加维罗，F。；Murano，A.，MCMAS-SLK：一种用于验证策略逻辑规范的模型检查器，（CAV，LNCS，第8559卷，（2014），Springer），525-532
[45] Toumi，A。；古铁雷斯，J。；Wooldridge，M.，并发博弈中纳什均衡的自动验证工具，（ICTAC，LNCS，vol.9399，（2015），Springer），583-594·Zbl 1471.68157号
[46] Pnueli，A。；Rosner，R.，《关于反应性模块的合成》，（POPL，（1989），ACM），179-190
[47] Fisman，D。；库普夫曼，O。；Lustig，Y.，《理性合成》，（TACAS，LNCS，第6015卷，（2010），施普林格出版社），190-204·Zbl 1284.68396号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。