×
托马斯·奥戈特内斯；范德霍克，威比；迈克尔·伍尔德里奇

关于联盟游戏的推理。 （英语） Zbl 1180.68271号

Artif公司。智力。 173，第1期，45-79（2009）.
总结：我们开发、研究并比较了两种用于联盟博弈推理的基于逻辑的知识表示形式。联合博弈逻辑（CGL）的主要结构是表示联盟能力的表达式，可以与表示代理人对结果的偏好的表达式相结合。模态联合博弈逻辑（MCGL）是一种正常的模态逻辑，其中的主要结构是一种表达代理组偏好的模态。对于这两个框架，我们给出了完整的公理化，并展示了如何使用它们来描述联盟博弈的解决方案概念。我们表明，虽然CGL比MCGL更具表现力，但前者只能用于推理具有有限多个结果的联合博弈，而MCGL也可以用于推理具有无限多个结果且更简洁的博弈。我们刻画了CGL可满足性的计算复杂性，并给出了一个基于tableaux的决策过程。

引用于24文件

MSC公司：

68T42型 Agent技术与人工智能
03B45 模态逻辑（包括规范逻辑）
68T27型 人工智能中的逻辑
68立方英尺 知识表示
91A12号机组 合作游戏

关键词：

多智能体系统；知识表示；联盟博弈；模态逻辑
PDF格式BibTeX公司 XML格式引用
\textit{T.奥戈特内斯}等人，Artif。智力。173，编号1，45--79（2009；Zbl 1180.68271）
全文： 内政部

参考文献：

[1] Abdou，J。；Keiting，H.，《社会选择理论中的有效性功能》（1991年），Kluwer学术出版社：荷兰Dordrecht Kluwer-学术出版社·Zbl 0925.90016号
[2] T.Augotnes、W.van der Hoek和M.Wooldridge，《论联盟博弈的逻辑》，载于《第五届国际自治代理和多代理系统联合会议论文集》（AAMAS-2006），日本箱根，2006年；T.Augotnes、W.van der Hoek和M.Wooldridge，《论联盟博弈的逻辑》，载于《第五届国际自治代理和多代理系统联合会议论文集》（AAMAS-2006），日本箱根，2006年·Zbl 1180.68271号
[3] 阿鲁尔（Alur，R.）。；Henzinger，T.A。；Kupferman，O.，交替时间时序逻辑，ACM杂志，49，5，672-713（2002年9月）·Zbl 1326.68181号
[4] Aumann，R.J。；Maschler，M.，合作博弈的谈判集，博弈论进展。《博弈论进展》，《数学研究年鉴》，52443-467（1964）·Zbl 0132.14003号
[5] J.Bilbao，J.Fernández，J.López，合作博弈论中的复杂性，手稿；J.Bilbao，J.Fernández，J.López，合作博弈论中的复杂性，手稿
[6] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2001），剑桥大学出版社：剑桥大学出版社，英国剑桥·Zbl 0988.03006号
[7] 克拉克，E.M。；格伦伯格，O。；Peled，D.A.，《模型检验》（2000年），麻省理工学院出版社：麻省剑桥
[8] V.Conitzer，T.Sandholm，《确定核心非空性的复杂性》，载于《第十八届国际人工智能联合会议论文集》（IJCAI-03），墨西哥阿卡普尔科，2003年，第613-618页；V.Conitzer，T.Sandholm，《确定核心非空性的复杂性》，载于《第十八届国际人工智能联合会议论文集》（IJCAI-03），墨西哥阿卡普尔科，2003年，第613-618页
[9] V.Conitzer，T.Sandholm，计算Shapley值，操作值划分方案，以及检查多问题域中的核心成员资格。摘自：《第十九届全国人工智能会议论文集》（AAAI-2004），加利福尼亚州圣何塞，2004年，第219-225页；V.Conitzer，T.Sandholm，计算Shapley值，操作值划分方案，以及检查多问题域中的核心成员资格。摘自：《第十九届全国人工智能会议论文集》（AAAI-2004），加利福尼亚州圣何塞，2004年，第219-225页
[10] 科尼策，V。；Sandholm，T.，基于联盟间协同作用构建核心解决方案的复杂性，人工智能，170，607-619（2006）·Zbl 1131.91305号
[11] M.de Rijke，扩展模态逻辑，博士论文，阿姆斯特丹大学，1993年；M.de Rijke，扩展模态逻辑，博士论文，阿姆斯特丹大学，1993年·Zbl 0797.03014号
[12] 邓，X。；Papadimitriou，C.H.，关于合作解决方案概念的复杂性，运筹学数学，19，2，257-266（1994）·Zbl 0824.90146号
[13] E.Elkind，L.Goldberg，P.Goldberg，M.Wooldridge，加权阈值游戏的计算复杂性，收录于：第二十届AAAI人工智能会议论文集（AAAI-2007），加拿大不列颠哥伦比亚省温哥华，2007年；E.Elkind，L.Goldberg，P.Goldberg，M.Wooldridge，加权阈值博弈的计算复杂性，载于：第二十二届AAAI人工智能会议论文集（AAAI-2007），加拿大不列颠哥伦比亚省温哥华，2007年·Zbl 1185.91081号
[14] Emerson，E.A.，时间和模态逻辑，（van Leeuwen，J.，《理论计算机科学手册》，B卷：形式模型和语义学（1990），爱思唯尔科学出版社B.V.：荷兰阿姆斯特丹爱思唯尔科学出版社B.V.），996-1072·兹比尔0900.03030
[15] Gillies，D.B.，《一般非零和对策的解决方案》，《对对策理论的贡献》，第四卷，《数学研究年鉴》，第40期，第47-85页（1959年）·Zbl 0085.13106号
[16] P.Harrenstein，《冲突中的逻辑》，乌得勒支大学博士论文，2004年；P.Harrenstein，《冲突中的逻辑》，乌得勒支大学博士论文，2004年
[17] Harrenstein，P。；范德霍克，W。；梅耶，J.-J。；Witteven，C.，《纳什均衡的模式表征》，《信息学基础》，57，2-4，281-321（2003）·Zbl 1041.03016号
[18] 霍洛克斯，I。；Hustadt，U。；美国萨特勒。；Schmidt，R.，《计算模态逻辑》（Blackburn，P.；van Benthem，J.；Wolter，F.，《模态逻辑手册》（2007），爱思唯尔科学出版社B.V.：爱思唯尔科学出版社荷兰阿姆斯特丹），181-245
[19] 休斯，G.E。；Cresswell，M.J.，模态逻辑导论（1968），Methuen and Co.：Methuen&Co.Ltd·Zbl 0205.00503号
[20] S.Ieong，Y.Shoham，《边际贡献网：联盟游戏的紧凑表示方案》，载于：《第六届ACM电子商务会议论文集》（EC’05），加拿大温哥华，2005年；S.Ieong，Y.Shoham，《边际贡献网：联盟游戏的紧凑表示方案》，载于《第六届ACM电子商务会议论文集》（EC’05），加拿大温哥华，2005年
[21] Levesque，H.J.，《我所知道的一切：自认知逻辑研究》，《人工智能》，第42、2-3、263-309页（1990年3月）·兹比尔0724.03019
[22] 冯·诺依曼，J。；Morgenstern，O.，《博弈论与经济行为》（1944），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·Zbl 0063.05930号
[23] N.Ohta，A.Iwasaki，M.Yokoo，K.Maruono，V.Conitzer，T.Sandholm，开放匿名环境中联盟游戏的紧凑表示方案，收录于：《第二十届全国人工智能会议论文集》（AAAI-2006），马萨诸塞州波士顿，2006年；N.Ohta，A.Iwasaki，M.Yokoo，K.Maruono，V.Conitzer，T.Sandholm，开放匿名环境中联盟游戏的紧凑表示方案，收录于：《第二十届全国人工智能会议论文集》（AAAI-2006），马萨诸塞州波士顿，2006年·Zbl 1227.68109号
[24] 奥斯本，M.J。；Rubinstein，A.，《博弈论课程》（1994年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥·Zbl 1194.91003号
[25] Papadimitriou，C.H.，《计算复杂性》（1994），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0557.68033号
[26] M.Pauly，《社交软件逻辑》，阿姆斯特丹大学博士论文，2001年。ILLC论文系列2001-10；M.Pauly，《社交软件逻辑》，阿姆斯特丹大学博士论文，2001年。ILLC论文系列2001-10
[27] Pauly，M.，《博弈中联盟力量的模态逻辑》，《逻辑与计算杂志》，12，1，149-166（2002）·Zbl 1003.91006号
[28] M.Pauly，M.Wooldridge，《机制设计的逻辑——宣言》，载于《2003年Agent系统博弈论和决策理论研讨会论文集》（GTDT-2003），澳大利亚墨尔本，2003年；M.Pauly，M.Wooldridge，《机制设计的逻辑——宣言》，载于《2003年Agent系统博弈论和决策理论研讨会论文集》（GTDT-2003），澳大利亚墨尔本，2003年
[29] Sandholm，T.，《分布式理性决策》，（Weiß，G.，Multiagent Systems（1999），麻省理工学院出版社：麻省剑桥大学出版社），201-258
[30] O.Shehory。；Kraus，S.，《自治主体之间的联盟形成：策略和复杂性》，（Castelfranchi，C.；Müller，J.-P.，《从反应到认知——第五届欧洲多主体世界中自治主体建模研讨会》，MAAMAW-93。从反应到认知——关于在多智能体世界中建模自主智能体的第五届欧洲研讨会，MAAMAW-93，LNAI，第957卷（1995年），Springer-Verlag:Springer-Verlag Berlin，Germany），56-72
[31] O.Shehory，S.Kraus，《通过自治代理之间的联盟形成进行任务分配》，载于《第十四届国际人工智能联合会议论文集》（IJCAI-95），加拿大魁北克省蒙特利尔，1995年8月，第655-661页；O.Shehory，S.Kraus，《通过自治代理之间的联盟形成进行任务分配》，载于《第十四届国际人工智能联合会议论文集》（IJCAI-95），加拿大魁北克省蒙特利尔，1995年8月，第655-661页
[32] O.Shehory。；Kraus，S.，通过代理联盟形成的任务分配方法，人工智能，101，1-2，165-200（1998）·Zbl 0908.68032号
[33] Smullyan，R.M.，《一阶逻辑》（1968），《斯普林格·弗拉格：德国柏林斯普林格尔·弗拉格》·Zbl 0172.28901号
[34] W.van der Hoek，W.Jamroga，M.Wooldridge，《战略推理的逻辑》，摘自：《第四届国际自主代理和多代理系统联合会议论文集》（AAMAS-2005），荷兰乌得勒支，2005年，第157-164页；W.van der Hoek，W.Jamroga，M.Wooldridge，《战略推理的逻辑》，摘自：《第四届自主代理和多代理系统国际联合会议论文集》（AAMAS-2005），荷兰乌得勒支，2005年，第157-164页
[35] 范德霍克，W。；Meyer，J.-J.，《使隐性知识的某些问题显性化》，《国际计算机科学基础杂志》，3，2，193-224（1992）·Zbl 0759.68082号
[36] 范德霍克，W。；Meyer，J.-J.，将分布式知识和公共知识相结合的多主体的完整认识逻辑，（认识逻辑和博弈与决策理论（1997），Kluwer学术出版社：荷兰Dordrecht Kluwer学术出版社），35-68·兹比尔0956.03022
[37] 范德霍克，W。；Pauly，M.，《游戏与信息的模态逻辑》，（Blackburn，P.；van Benthem，J.；Wolter，F.，《模态逻辑手册》（2006），爱思唯尔科学出版社B.V.：荷兰阿姆斯特丹爱思唯尔科学出版社B.V.），1077-1148
[38] 范·哈梅伦（F.van Harmelen）。；Lifschitz，V。；波特，B.，《知识表示手册》（2007），爱思唯尔科学出版社：荷兰阿姆斯特丹爱思唯尔科学出版社
[39] M.Wooldridge，T.Au gotnes，P.E.Dunne，W.van der Hoek，《自动化机构设计的逻辑——进度报告》，载于：《第二十二届AAAI人工智能会议论文集》（AAAI-2007），加拿大不列颠哥伦比亚省温哥华，2007年；M.Wooldridge，T.Au gotnes，P.E.Dunne，W.van der Hoek，《自动化机构设计的逻辑——进度报告》，载于《第二十二届AAAI人工智能会议论文集》（AAAI-2007），加拿大不列颠哥伦比亚省温哥华，2007年
[40] 伍尔德里奇，M。；Dunne，P.E.，《定性联合博弈的计算复杂性》，《人工智能》，158，1，27-73（2004）·Zbl 1085.68070号
[41] 伍尔德里奇，M。；Dunne，P.E.，《论联盟资源博弈的计算复杂性》，《人工智能》，第170、10、853-871页（2006年）·Zbl 1131.91011号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。