×
本杰明·阿米诺夫;瓦迪姆·马尔文;阿尼埃洛·穆拉诺;萨沙·鲁宾

战略逻辑中的分级模式。 （英语） Zbl 1395.68254号

Inf.计算。 261，第4部分，634-649（2018）.
摘要：战略逻辑（SL）是多智能体系统中战略推理的一种逻辑形式。它的主要特点是，它具有使用绑定运算符与特定代理关联的策略变量。本文介绍分级策略逻辑(分级SL)，SL通过分级量词在策略变量元组上的扩展，即“至少存在策略的不同元组（（x_1，dots，x_n）”，其中（g）是来自集合（mathbb{n}\cup\{aleph_0，aleph_1，2^{\aleph_0}\}）的基数。我们证明了分级SL是可判定的。然后我们转向复杂的片段分级SL.当\（g\）限制为有限基数时，写入分级\（｛｝_｛\mathbb｛N｝｝\mathrm｛SL｝\），模型检查的复杂性并不比SL更难，即它在量词块秩中是非初等的。我们通过展示如何计算纳什均衡（NE）的不同策略配置文件的数量来说明我们的形式主义。通过分析所涉及的特定公式的结构，我们得出结论，检查唯一NE是否存在的重要问题可以在2ExpTime（ExpTime）这并不比仅仅检查这种平衡的存在更难。

引用于10文件

MSC公司：

68T27型 人工智能中的逻辑
60年第68季度 规范和验证（程序逻辑、模型检查等）
第68页第42页 Agent技术与人工智能
91A10号 非合作游戏

关键词：

战略逻辑;分级模式;纳什均衡

软件：

MCMAS公司;MCMAS-SLK公司
PDF格式BibTeX公司 XML格式引用
\textit｛B.Aminof｝等人，信息计算。261，第4部分，634--649（2018；Zbl 1395.68254）
全文： 内政部 arXiv公司 链接

参考文献：

[1] 阿米诺夫，B。；Malvone，V。；Murano，A。；Rubin，S.，《分级战略逻辑：关于纳什均衡唯一性的推理》（AAMAS 2016，IFAAMAS，（2016）），698-706
[2] 阿米诺夫，B。；Malvone，V。；Murano，A。；Rubin，S.，《战略逻辑中的扩展分级模式》，（第四届战略推理国际研讨会论文集，2016年7月10日，美国纽约市，2016年），1-14
[3] 莫加维罗，F。；Murano，A。；Vardi，M.，《战略推理》，（FSTTCS’10，LIPIcs，第8卷，（2010），莱布尼茨-中央情报局），133-144·Zbl 1245.68138号
[4] 莫加维罗，F。；Murano，A。；佩雷利，G。；Vardi，M.，《战略推理：模型选择问题》，ACM Trans。计算。日志。，第15、4、（2014）页，第1-42页·Zbl 1354.68178号
[5] 阿鲁尔（Alur，R.）。；Henzinger，T。；Kupferman，O.，《交替时间时序逻辑》，J.ACM，49，5，672-713，（2002）·Zbl 1326.68181号
[6] 查特吉，K。；Henzinger，T。；彼得曼，N.，战略逻辑，信息计算。，208, 6, 677-693, (2010) ·Zbl 1205.68197号
[7] 古铁雷斯，J。；Harrenstein，P。；Wooldridge，M.，《关于类游戏并发系统平衡的推理》，《纯粹应用》。逻辑，168，2373-403，（2017）·Zbl 1400.03057号
[8] 库普夫曼，O。；佩雷利，G。；Vardi，M.Y.，《合理环境下的合成》（EUMAS 2014，（2014）），219-235
[9] Belardinelli，F.，《信息不完全的知识和战略逻辑》（LAMAS 15，（2015））
[10] Belardinelli，F。；Lomuscio，A。；Murano，A。；Rubin，S.，《根据认知策略逻辑验证广播多代理系统》（IJCAI 2017，（2017）），91-97
[11] 古铁雷斯，J。；Murano，A。；佩雷利，G。；鲁宾，S。；Wooldridge，M.，具有词汇偏好的并发游戏中的纳什均衡，（IJCAI 2017，（2017）），1067-1073
[12] R.伯顿。；莫伯特，B。；Murano，A。；鲁宾，S。；Vardi，M.Y.，《信息不完全的战略逻辑》（LICS 2017，（2017）），1-12·Zbl 1458.68113号
[13] 奥尔特曼，E。；Kameda，H.公司。；Hosokawa，Y.，《分布式计算机系统负载平衡中的纳什均衡》，《国际博弈论评论》，4，2，91-100，（2002）·Zbl 1090.91513号
[14] Papavassilopulos，G。；Cruz，J.B.，关于一类分析微分对策Nash策略的唯一性，J.Optim。理论应用。，27, 2, 309-314, (1979) ·Zbl 0373.90097号
[15] Cornes，R。；哈特利，R。；Sandler，T.，《通过收缩的基本证明》，J.公共经济学。理论，1，4，499-509，（1999）
[16] Simchi-Levi，J.B.D。；Chen，X.，《物流逻辑：物流管理的理论、算法和应用》（2013），科学与商业媒体，施普林格出版社
[17] Zhang，Y。；Guizani，M.，《无线通信和网络的博弈论》（2011），CRC出版社·Zbl 1220.94002号
[18] Pavel，L.，《光纤网络控制的博弈论》（2012），科学与商业媒体，施普林格出版社·Zbl 1242.91036号
[19] 奥达，A。；Rom，R。；Shimkin，N.，多用户通信网络中的竞争路由，IEEE/ACM Trans。净值。，1, 5, 510-521, (1993)
[20] 好吧，K.，在这么多可能的世界里，圣母院J.Form.Log。，13, 516-520, (1972) ·Zbl 0205.30306号
[21] Grädel，E。；奥托，M。；Rosen，E.，《带计数的双变量逻辑是可判定的》（LICS’97，（1997），IEEE计算机学会），306-317
[22] 霍兰德，B。；Baader，F.，概念语言中的限定数字限制，（KR’91，（1991），考夫曼），335-346·Zbl 0765.68190号
[23] 库普夫曼，O。；美国萨特勒。；Vardi，M.，分级的复杂性μ-微积分，（CADE'02，LNCS，第2392卷，（2002），施普林格），423-437·Zbl 1072.03014号
[24] 比安科，A。；莫加维罗，F。；Murano，A.，分级计算树逻辑，ACM Trans。计算。日志。，13、3（2012），第1-53页·Zbl 1351.68153号
[25] 鲁宾，S。；阿米诺夫，B。；Murano，A.，《关于分级路径模式的CTL^{}》（LPAR 20，（2015）），281-296·Zbl 1471.68126号
[26] Malvone，V.公司。；莫加维罗，F。；Murano，A。；Sorrentino，L.，《关于战略的计算》（《时代周刊》2015，（2015）），170-179
[27] 费拉，M。；那不勒斯，M。；Parent，M.，分级交替时间时序逻辑，Fundam。通知。，105, 1-2, 189-210, (2010) ·Zbl 1209.68316号
[28] 莫加维罗，F。；Murano，A。；佩雷利，G。；瓦尔迪，M.，什么使ATL^{⋆}可判定？战略逻辑的决定性片段，（CONCUR’12，LNCS，第7454卷，（2012），Springer），193-208·Zbl 1365.68329号
[29] 古铁雷斯，J。；哈伦斯坦，P。；Wooldridge，M.，战略推理的表达和复杂性结果，（LIPIcs，第42卷，（2015）），268-282·Zbl 1374.68332号
[30] 莫加维罗，F。；Murano，A。；Vardi，M.，交替时间时序逻辑中的相关策略推理，（LPAR’10，LNAI，第6355卷，（2010），Springer），371-387·Zbl 1310.68144号
[31] 库普夫曼，O。；瓦尔迪，M。；Wolper，P.，模块检查，Inf.Comput。，164, 2, 322-344, (2001) ·Zbl 1003.68071号
[32] 查姆罗加，W。；Murano，A.，《关于模块检查和策略》（AAMAS’14，IFAAMAS，（2014）），第701-708页
[33] 阿米诺夫，B。；Legay，A。；Murano，A。；塞雷，O。，μ-具有不完全状态信息的微积分下推模块检查，（IFIP-TCS’08，IFIP，第273卷，（2008），Springer），333-348
[34] 费兰特，A。；Murano，A。；Parent，M.，丰富μ-计算模块检查，日志。方法计算。科学。，4, 3, 1-21, (2008) ·Zbl 1147.68049号
[35] 莱顿-布朗，K。；Shoham，Y.，《博弈论精要：简明的多学科介绍》（人工智能和机器学习综合讲座，（2008），M&C）·Zbl 1203.91002号
[36] Mogavero，F.，《计算机科学中的逻辑》（2011年1月），那不勒斯大学费德里科二世那不勒斯分校，意大利，博士论文
[37] 库普夫曼，O。；瓦尔迪，M。；Wolper，P.，《分支时间模型检验的自动机理论方法》，J.ACM，47，2，312-360，（2000）·Zbl 1133.68376号
[38] Thomas，W.，《无限对象上的自动机》（理论计算机科学手册，第B卷，（1990）），133-191·Zbl 0900.68316号
[39] 艾默生，E.A。；Jutla，C.S.，树自动机，μ-微积分与确定性（扩展抽象），（ASFCS 1991，（1991）），368-377
[40] Rabin，M.，无限树上二阶理论和自动机的可判定性，Trans。美国数学。《社会学杂志》，141，1-35，（1969）·Zbl 0221.02031
[41] 巴拉尼，V。；凯撒，L。；Rabinovich，A.M.，在树上的一元二阶逻辑中表示基数量词，Fundam。通知。，100, 1-4, 1-17, (2010) ·Zbl 1211.03017号
[42] 穆勒，D.E。；Schupp，P.E.，用非确定性自动机模拟交替树自动机：拉宾、麦克诺顿和萨夫拉定理的新结果和新证明，Theor。计算。科学。，141，1和2，69-107，（1995年）·Zbl 0873.68135号
[43] 奥斯本，M。；Rubinstein，A.，《博弈论课程》（1994），麻省理工出版社·Zbl 1194.91003号
[44] Binmore，K.G.，《娱乐与游戏：游戏理论文本》，（1992年），D.C.Heath·Zbl 0757.90087号
[45] Malvone，V。；Murano，A。；Sorrentino，L.，《具有额外获胜策略的游戏》（CILC，2015，CEUR，（2015）），175-180
[46] Ummels，M.，无限多人游戏中的理性行为和策略构建，（FSTTCS，（2006）），212-223·兹比尔1177.91060
[47] Selten，R.，Spieltheoretische behandung eines寡极模型mit nachfragetragheit，Z.Gesamte Staatswiss。，121, 301-324, (1965)
[48] Brihaye，T。；洛佩斯，哥伦比亚特区。；拉鲁西尼，F。；Markey，N.，ATL与策略上下文和有界记忆，（LFCS 2009，（2009）），92-106·Zbl 1211.03031号
[49] 洛佩斯，哥伦比亚特区。；拉鲁西尼，F。；Markey，N.，《战略背景下的ATL：表达和模型检查》，（FSTTCS 2010，（2010）），120-132·Zbl 1245.68135号
[50] 普努利，A。；Rosner，R.，《关于反应模块的合成》，（POPL'89，计算机协会，（1989）），179-190
[51] Bergstrom，T。；布鲁姆，L。；Varian，H.，《关于公共物品的私人提供》，J.public Econ。，29, 1, 25-49, (1986)
[52] 弗雷泽，C.D.，《公共物品私人提供中纳什均衡的唯一性：另一种证明》，《公共经济学杂志》。，49, 3, 389-390, (1992)
[53] Glazer，A。；Konrad，K.A.，《公共物品的私人提供、有限的税收减免和排挤》，FinanzArchiv/公共财政分析。，50, 2, 203-216, (1993)
[54] Malvone，V。；莫加维罗，F。；Murano，A。；Sorrentino，L.，关于分级策略量词的推理，Inf.Compute。，259, 390-411, (2018) ·Zbl 1390.68612号
[55] 吉尔博亚，我。；Zemel，E.，纳什和相关均衡：一些复杂性考虑，博弈经济学。行为。，1, 1, 80-93, (1989) ·Zbl 0755.9003号
[56] 科尼策，V。；Sandholm，T.，关于纳什均衡的新复杂性结果，游戏经济学。行为。，63, 2, 621-641, (2008) ·Zbl 1142.91365号
[57] 乔马克，P。；Lomuscio，A。；莫加维罗，F。；Murano，A.，MCMAS-SLK:验证策略逻辑规范的模型检查器，（CAV’14，LNCS，第8559卷，（2014），Springer），524-531
[58] C.Dima，F.Tiopse，《不完全信息和完全回忆语义下的模型检查ATL不可判定》，技术代表，arXiv，2011年。；C.Dima，F.Tiopse，《不完全信息和完美回忆语义下的模型检查ATL无法确定》，技术代表，arXiv，2011年。
[59] 范德霍克，W。；Meyer，J.，认知逻辑中的分级形式，（LFCS’92，LNCS，第620卷，（1992），Springer），503-514·Zbl 0978.03515号
[60] Cermák，P。；Lomuscio，A。；Murano，A.，根据单目标策略逻辑规范验证和综合多智能体系统，（AAAI 2015，（2015）），2038-2044
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。