×
马里奥·阿尔维亚诺；吉安路易吉·格雷科；安东尼拉·古佐

与基于逻辑的代理在社会环境中形成联盟。 （英语） Zbl 1462.68196号

AI通讯。 31，第5号，383-407（2018）.
摘要：联盟形成是在代理人参与群体决策场景的环境中研究的，代理人的偏好通过加权命题逻辑表达，特别是通过考虑仅由文字连词组成的公式。代理之间的交互受到底层社会环境的限制，每个代理都与特定的社会因素相关，决定了她在多大程度上喜欢与其他代理保持联盟关系。特别是，代理人的效用不仅取决于他们的绝对偏好，还取决于在出现的联盟中与他们一起出现的“邻居”的数量。在这种背景下，通过清晰地描绘在代理之间寻找“协议”的内在困难，研究了许多相关推理任务的计算复杂性。在功利主义的观点下，提出了对这种社会环境进行推理的具体算法方法，其中联盟的集体效用是个体效用的总和，在平等主义的观点中，目标是最大化最不满意代理的效用。这些算法已经实现，并对实验结果进行了讨论。

MSC公司：

68T42型 Agent技术与人工智能
68T27型 人工智能中的逻辑
91B06型 决策理论

关键词：

社会环境；联盟形成；命题逻辑；伪布尔解算器；计算复杂度

软件：

马西诺牌手表；WASP公司；电影镜头；SNAP（快照）；扣环
PDF格式BibTeX公司 XML格式引用
\textit{M.Alviano}等人，AI Commun。31，第5号，383--407（2018；Zbl 1462.68196）
全文： 内政部

参考文献：

[1] E.Acar、G.Greco和M.Manna，《社会环境中的群体推理》，摘自：Proc。AAMAS，2017年，第1296-1304页。
[2] D.Acemoglu和A.Ozdaglar，《社交网络中的意见动态和学习》，《动态游戏和应用》1（1）（2011年），第3-49页。doi:10.1007/s13235-010-0004-1·Zbl 1214.91091号
[3] T.奥戈特内斯和N.阿莱奇纳，《认识联盟逻辑：完整性和复杂性》，摘自：Proc。AAMAS，2012年，第1099-1106页。
[4] T·奥戈特斯、W·范德霍克和M·伍尔德里奇，《时间定性联盟游戏》，收录于：Proc。AAMAS，2006年，第177-184页。doi:10.1145/1160633.1160662·Zbl 1171.03008号
[5] T.奥戈特斯、W.范德霍克和M.伍尔德里奇，《关于联盟游戏的推理》，《人工智能》173（2009），45-79。doi:10.1016/j.artint.2008.08.004·Zbl 1180.68271号
[6] N.Alechina、B.Logan、N.H.Nga和A.Rakib，《有限资源联盟的逻辑》，摘自：Proc。IJCAI，2009年，第659-664页·Zbl 1252.03036号
[7] R.Alur、T.A.Henzinger和O.Kupferman，交替时间时序逻辑，ACM49的Jorunal（5）（2002）·兹比尔1326.68181
[8] M.Alviano、C.Dodaro、N.Leone和F.Ricca，《WASP进展》，摘自：Proc。LPNMR，2015年，第40-54页·Zbl 1467.68021号
[9] M.Alviano，C.Dodaro和F.Ricca，使用有界大小的基数约束的MaxSAT算法，in：Proc。IJCAI，2015年，第2677-2683页。
[10] A.Anagostopoulos、R.Kumar和M.Mahdian，《社交网络中的影响和相关性》，摘自：Proc。KDD，2008年，第7-15页。
[11] S.Aral、L.Muchnik和A.Sundararajan，区分基于影响的传染与动态网络中亲同驱动的扩散，《国家科学院院刊》106（51）（2009），21544-21549。doi:10.1073/pnas。908800106
[12] G.Audemard和L.Simon，《预测现代SAT解题器中学习的子句质量》，摘自：Proc。IJCAI，2009年，第399-404页。
[13] V.Auletta，I.Caragiannis，D.Ferraioli，C.Galdi和G.Persiano，广义离散偏好博弈，收录于：Proc。IJCAI，2016年，第53-59页。
[14] H.Aziz和B.de Keijzer，联盟结构生成的复杂性，摘自：Proc。AAMAS，2011年，第191-198页。
[15] Y.Bachrach，P.Kohli，V.Kolmogorov和M.Zadimoghaddam，合作图游戏中的最优联盟结构生成，收录于：Proc。AAAI，2013年，第81-87页。
[16] Y.Bachrach，R.Meir，K.Jung和P.Kohli，技能游戏中的联合结构生成，收录于：Proc。AAAI，2010年，第703-708页。
[17] N.Bansal和M.Sviridenko，《圣诞老人问题》，摘自：Proc。STOC，2006年，第31-40页·Zbl 1301.90057号
[18] I.Bezáková和V.Dani，《分配不可分割的货物》，SIGecom Exchanges5（3）（2005），11-18。doi:10.1145/1120680。1120683
[19] K.Bhawalkar、S.Gollapudi和K.Munagala，共同进化的意见形成游戏，在：Proc。STOC，2013年，第41-50页·Zbl 1293.91114号
[20] D.Bindel、J.Kleinberg和S.Oren，形成自己的观点有多糟糕？，《游戏与经济行为》92（2015），248-265。doi:10.1016/j.geb.2014.06.004·Zbl 1318.91156号
[21] F.Bistaffa、A.Farinelli、J.Cerquides、J.Rodríguez-Aguilar和S.Rammour，协同图上的任何时间联盟结构生成，摘自：Proc。AAMAS，2014年，第13-20页。
[22] A.Borodin、Y.Filmus和J.Oren，《社交网络中竞争影响的阈值模型》，收录于：互联网和网络经济学，施普林格出版社，2010年，第539-550页。doi:10.1007/978-3642-17572-548。
[23] C.Boutiler和H.Hoos，组合拍卖的投标语言，收录于：Proc。IJCAI，2001年，第1211-1217页。
[24] S.Bouveret和J.Lang，《不可分割商品公平划分中的效率和绿色：逻辑表示和复杂性》，《人工智能研究杂志》（JAIR）32（2008），525-564。doi:10.1613/jair.2467·Zbl 1183.68570号
[25] F.Brandt、V.Conitzer和U.Endriss，《多智能体系统》，麻省理工学院出版社，2012年，《计算社会选择》一章。
[26] F.Calimeri、M.Gebser、M.Maratea和F.Ricca，第五届答案集编程竞赛的设计和结果，人工智能231（2016），151-181。doi:10.1016/j.artint。2015.09.008. ·Zbl 1344.68042号
[27] F.Calimeri、G.Ianni和F.Ricca，第三届开放答案集编程竞赛，TPLP14（1）（2014），117-135。
[28] T.Carnes、C.Nagarajan、S.M.Wild和A.van Zuylen，《在竞争性社交网络中最大化影响力：追随者的视角》，摘自：Proc。欧共体，2007年，第351-360页。
[29] M.Cha，A.Mislove和K.P.Gummadi，Flickr社交网络中信息传播的测量驱动分析，载于：Proc。WWW，2009年，第721-730页。
[30] G.Chalkiadakis、G.Greco和E.Markakis，《具有受限代理交互的特征函数游戏：可塑性和联盟结构》，人工智能232（2016），76-113。doi:10.1016/j.artint.2015.12.005·Zbl 1351.68292号
[31] G.Chalkiadakis、G.Greco和E.Markakis，《具有受限代理交互的特征函数游戏：可塑性和联盟结构》，人工智能232（2016），76-113。doi:10.1016/j.artint.2015.12.005·Zbl 1351.68292号
[32] R.B.Cialdini和N.J.Goldstein，《社会影响：合规与整合》，年。《心理学评论》第55卷（2004年），第591-621页。doi:10.1146/annurev.psych.55.090902.142015。
[33] V.Conitzer和T.Sandholm，基于联盟间协同作用构建核心解决方案的复杂性，人工智能170（6-7）（2006），607-619。doi:10.1016/j.artint.2006.01.005·Zbl 1131.91305号
[34] S.Coste-Marquis、J.Lang、P.Liberatore和P.Marquis，偏好表示的命题语言的表达能力和简洁性，收录于：Proc。KR，2004年，第203-212页。
[35] V.D.Dang和N.R.Jennings，从最优保证中生成有限界的联盟结构，in：Proc。AAMAS，2004年，第564-571页。
[36] E.David和K.Jon，《网络、人群和市场：高度互联世界的推理》，剑桥大学出版社，2010年·Zbl 1205.91007号
[37] R.Dechter，《约束处理》，Morgan Kaufmann Publishers Inc.，美国加利福尼亚州旧金山，2003年·Zbl 1057.68114号
[38] D.Della Monica、M.Napoli和M.Parente，《关于与价格资源代理进行联盟游戏的逻辑》，《理论计算机科学中的电子笔记》278（2011），215-228·兹比尔1347.68337
[39] P.DeMarzo、D.Vayanos和J.Zwiebel，说服偏见、社会影响和单向度观点，《经济学季刊》118（3）（2003），909-968。doi:10.1162/00335530660698469·Zbl 1069.91093号
[40] X.Deng和C.H.Papadimitriou，关于合作解概念的复杂性，运筹学数学19（2）（1994），257-266。doi:10.1287/门19.2.257·Zbl 0824.90146号
[41] H.E.Dixon、M.L.Ginsberg和A.J.Parkes，广义布尔可满足性I：现有工作的背景和综述，《人工智能研究杂志》21（2004），193-243。doi:10.1613/jair.1353·Zbl 1080.68661号
[42] P.E.Dunne、S.Kraus、E.Manisterski和M.Wooldridge，《解决联盟资源游戏》，《人工智能》174（1）（2010），20-50。doi:10.1016/j.artint.2009.09.005·Zbl 1185.68752号
[43] E.Elkind、G.Chalkiadakis和N.R.Jennings，加权投票游戏中的联盟结构，摘自：Proc。ECAI，2008年，第393-397页。
[44] E.Elkind，L.A.Goldberg，P.W.Goldberg和M.Wooldridge，一类易于处理和表达的边际贡献网及其应用，数理逻辑Quarterly55（4）（2009），362-376。doi:10.1002/malq.200810021·Zbl 1175.91022号
[45] E.Elkind、T.Rahwan和N.R.Jennings，《计算联盟形成》，收录于：Multiagent Systems，麻省理工学院出版社，2013年。
[46] E.Elkind和M.Wooldridge，Hedonic联盟网，收录于：Proc。AAMAS，2009年，第417-424页。
[47] B.Escoffer、L.Gourvès和J.Monnot，一些多智能体优化问题的公平解决方案，自治智能体和多智能体系统26（2）（2013），184-201。doi:10.1007/s10458-011-9188-z。
[48] N.E.Friedkin和E.C.Johnsen，《社会影响和观点》，《数学社会学杂志》15（1990），193-206。doi:10.1080/0022250X.1990.9990069·Zbl 0712.92025号
[49] M.Gebser、R.Kaminski、B.Kaufmann、J.Romero和T.Schaub，卡环系列3的进展，摘自：Proc。LPNMR，2015年，第368-383页·Zbl 1467.68181号
[50] B.Golub和M.O.Jackson，《社交网络中的天真学习与人群的智慧》，《美国经济杂志：微观经济学》2（1）（2010），第112-149页。
[51] C.Gonzales，P.Perny和S.Queiroz，具有图形实用模型的偏好聚合，在：Proc。AAAI，2008年，第1037-1042页。
[52] G.Gottlob、G.Greco和F.Scarcello，通过基于超图的结构限制的可牵引优化问题，收录于：Proc。ICALP，2009年，第16-30页·Zbl 1248.68246号
[53] G.Gottlob、G.Greco和F.Scarcello，《树宽和超树宽》，收录于：《可牵引性：解决难题的实用方法》，2012年。
[54] G.Gottlob、N.Leone和F.Scarcello，《结构CSP分解方法的比较》，《人工智能》124（2）（2000），243-282。doi:10.1016/S00043702（00）00078-3·兹比尔0952.68044
[55] M.Granovetter，集体行为的阈值模型，《美国社会学杂志》83（6）（1978），1420-1443。doi:10.1086/226707。
[56] G.Greco和A.Guzzo，《估价结构的约束联盟形成：形式框架、应用和可控制性孤岛》，《人工智能》249（2017），第19-46页。doi:10.1016/j.artint.2017.04.005·Zbl 1419.68188号
[57] G.Greco和J.Lang，《通过加权命题逻辑进行群决策：复杂性和可处理性孤岛》，收录于：Proc。IJCAI，2015年，第3008-3014页。
[58] F.M.Harper和J.A.Konstan，《电影镜头数据集：历史与背景》，TiiS5（4）（2016），第19页。
[59] X.He，G.Song，W.Chen和Q.Jiang，竞争线性阈值模型下社交网络中的影响阻塞最大化，in：Proc。SDM，2012年，第463-474页。
[60] S.Ieong和Y.Shoham，《边际贡献网：联盟博弈的紧凑表示方案》，收录于：Proc。欧共体，2005年，第193-202页。
[61] S.Ieong和Y.Shoham，《边际贡献网：联盟博弈的紧凑表示方案》，收录于：Proc。EC’05，2005，第193-202页。doi:10.11145/1064009.1064030。
[62] M.O.Jackson，《社会和经济网络》，普林斯顿大学出版社，美国新泽西州普林斯顿，2008年·Zbl 1149.91051号
[63] H.Keinänen，多智能体联盟形成的模拟退火，in：Proc。KES-AMSTA，2009年，第30-39页。
[64] D.Kempe、J.Kleinberg和E.Tardos，《通过社交网络最大限度地扩大影响力》，摘自：Proc。KDD’03，2003年，第137-146页。doi:10.1145/956750.956769·Zbl 1337.91069号
[65] C.Lafage和J.Lang，群体决策偏好的逻辑表示，摘自：Proc。KR，2000年，第457-468页。
[66] J.Lang和L.Xia，组合域中的投票，收录于：《计算社会选择手册》，2014年，第1193-1195页。
[67] J.Leskovec和A.Krevl，《SNAP数据集：斯坦福大学大型网络数据集集》，2014年。
[68] T.Michalak、J.Sroka、T.Rahwan、M.Wooldridge、P.McBurney和N.R.Jennings，《任意时间联盟结构生成的分布式算法》，摘自：Proc。AAMAS，2010年，第1007-1014页。
[69] R.B.Myerson，游戏中的图形与合作，《运筹学数学》2（3）（1977），225-229。doi:10.1287/摩尔.2.3.225·Zbl 0402.90106号
[70] N.Nisan，组合拍卖的投标语言，收录于：组合拍卖，P.Cramton、Y.Shoham和R.Steinberg主编，麻省理工学院出版社，2006年，第9章。
[71] N.Ohta，V.Conitzer，R.Ichimura，Y.Sakurai，A.Iwasaki和M.Yokoo，利用紧凑特征函数表示的联盟结构生成，见：Proc。CP，2009年，第623-638页。
[72] M.J.Osborne和A.Rubinstein，《博弈论课程》，麻省理工学院出版社，马萨诸塞州剑桥，美国，1994年·兹比尔1194.91003
[73] C.H.Papadimitriou，《计算复杂性》，艾迪森·卫斯理，雷丁，马萨诸塞州，美国，1994年·Zbl 0833.68049号
[74] N.Pathak，A.Banerjee和J.Srivastava，多级联的广义线性阈值模型，in：Proc。ICDM，2010年，第965-970页。
[75] M.Pauly，《游戏中联盟权力的模态逻辑》，《逻辑与计算杂志》12（1）（2002），149-166。doi:10。1093/logcom/12.1.149·Zbl 1003.91006号
[76] T.Rahwan和N.R.Jennings，联盟结构生成的改进动态规划算法，in：Proc。AAMAS，2008年，第1417-1420页。
[77] T.Rahwan、S.D.Rammour、N.R.Jennings和A.Giovannucci，最优联盟结构生成的任何时间算法，《人工智能研究杂志》34（2009），521-567。doi:10.1613/jair.2695·Zbl 1182.68264号
[78] N.Robertson和P.D.Seymour，《未成年人图形》。二、。树宽的算法方面，《算法7（3）》（1986）的J.，309-322。doi:10.1016/0196-6774（86）90023-4·Zbl 0611.05017号
[79] T.Sandholm、K.Larson、M.Andersson、O.Shehory和F.Tohmé，《最坏情况下保证的联盟结构生成》，《人工智能》111（1-2）（1999），209-238。doi:10.1016/S0004-3702（99）00036-3·Zbl 0997.91004号
[80] S.Sen和P.S.Dutta，《寻找最佳联盟结构》，摘自：Proc。ICMAS，2000年，第287-292页。
[81] O.Shehory和S.Kraus，通过智能体联盟形成进行任务分配的方法，人工智能101（1-2）（1998），165-200。doi:10.1016/S0004-3702（98）00045-9·Zbl 0908.68032号
[82] S.Simon和K.Apt，《在社交网络中选择产品》，载《互联网和网络经济学》，第7695卷，施普林格出版社，2012年，第100-113页。doi:10.1007/978-3642-35311-68。
[83] J.Tang、S.Wu和J.Sun，《合流：大型社交网络中的整合影响》，收录于：Proc。KDD，2013年，第347-355页。
[84] J.Uckelman、Y.Chevaleyre、U.Endriss和J.Lang，《通过加权目标表示效用函数》，《数学逻辑季刊》55（4）（2009），第341-361页。doi:10.1002/malq。200810024. ·Zbl 1180.91118号
[85] J.Uckelman和U.Endriss，《使用加权目标和最大聚合器紧凑地表示效用函数》，《人工智能》174（15）（2010），1222-1246。doi:10.1016/j.artint.2010.07.003·Zbl 1210.91035号
[86] S.Ueda、A.Iwasaki、M.Yokoo、M.-C.Silaghi、K.Hirayama和T.Matsui，基于分布式约束优化的联盟结构生成，见：Proc。AAAI，2010年，第197-203页。
[87] S.Ueda、M.Kitaki、A.Iwasaki和M.Yokoo，基于代理类型的联盟博弈中的简明特征函数表示，见：Proc。AAMAS，2011年，第1271-1272页。
[88] T.Voice、S.D.Rammour和N.R.Jennings，关于联盟
[89] M.Wooldridge和P.E.Dunne，《关于稀疏协同作用的计算信息》，摘自：Proc。AAMAS，2012年，《定性联盟游戏的复杂性》，人工智能第223-230.158（1）（2004），27-73页。doi:10.1016/j.artint.2004.04.002·Zbl 1085.68070号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。