×
保罗·E·邓恩。;范德霍克，威比;迈克尔·伍尔德里奇

定性联盟游戏的逻辑特征。 （英语） Zbl 1187.68622号

J.应用。非类别。日志。 17，第4期，477-509（2007）.
摘要：定性联合博弈（QCG）被引入为面向目标的合作系统的抽象形式化模型。QCG是一种游戏，其中假设每个代理都有一些要实现的目标，并且在这种游戏中，代理通常必须与其他代理合作才能实现其目标。在本文中，我们展示了如何使用联盟逻辑（CL）来推理QCG，这是一种旨在促进游戏型多智能体系统中联盟权力推理的形式主义。我们介绍了QCG和CL解释之间的对应关系，它定义了CL解释正确描述QCG的情况。根据为QCG和CL解释选择的表示法，确定QCG与CL解释之间的对应关系的复杂性从可处理到完成不等。然后，我们展示了如何将QCG的各种性质和解概念描述为CL公式方案。这些想法通过一个详细的工作示例进行了说明，在该示例中，我们演示了如何部署模型检查器来调查特定系统是否具有相关属性。

引用于1文件

MSC公司：

68T42型 Agent技术与人工智能
03B45号 模态逻辑（包括规范逻辑）
91A12号机组 合作游戏
68T27型 人工智能中的逻辑
91A80型 博弈论的应用

关键词：

联盟博弈;合作博弈;模态逻辑;联盟逻辑

软件：

摩卡
PDF格式BibTeX公司 XML格式引用
\textit{P.E.Dunne}等人，J.Appl。非类别。日志。17，第4号，477--509（2007；Zbl 1187.68622）
全文： 内政部

参考文献：

[1] Agotnes T.，《第五届自主代理和多代理系统国际联合会议记录》（AAMAS-2006）（2006）
[2] Agotnes T.，《第五届自主智能体和多智能体系统国际联合会议论文集》（AAMAS-2006）（2006）
[3] Agotnes T.，《第二十届国际人工智能联合会议论文集》（IJCAI-07）（2007）
[4] Alur R.，MOCHA用户手册（2000）
[5] Alur R.，系统设计中的形式方法15（11），第7页–（1999）·doi:10.1023/A:1008739929481
[6] 内政部：10.1145/585265.585270·Zbl 1326.68181号 ·doi:10.1145/585265.585270
[7] Alur R.，CAV 1998：第十届计算机辅助验证国际会议，（LNCS第1427卷）第521页–
[8] 数字对象标识码：10.1111/1467-8586.00138·数字对象标识代码：10.1111/1467-8586.00138
[9] Benthem J.，《哲学逻辑手册》，第二卷：经典逻辑的扩展，第167页——（1984）·doi:10.1007/978-94-009-6259-04
[10] Benthem J.，《经济研究公报》53（4），第219页–（2001）·Zbl 1230.03046号 ·数字对象标识代码：10.1111/1467-8586.00133
[11] Benthem J.，《逻辑、语言和信息杂志》11（3），第289页–（2002）·Zbl 1003.03530号 ·doi:10.1023/A:1015534111901
[12] 内政部：10.1017/CBO9781107050884·doi:10.1017/CBO9781107050884
[13] DOI:10.1017/CBO9780511621192·doi:10.1017/CBO9780511621192
[14] Clarke E.M.，模型检查（2000）
[15] 内政部：10.1016/0004-3702（90）90055-5·Zbl 0721.03017号 ·doi:10.1016/0004-3702（90）90055-5
[16] de Bruin B.，《解释游戏——关于博弈论解释的逻辑》（2004）
[17] Drimmelen G.，第十八届IEEE计算机科学逻辑年会（LICS 2003），第208页–
[18] 费金R.，《知识推理》（1995）·Zbl 0839.68095号
[19] Goranko V.，第八届理性与知识理论方面会议记录（TARK VIII），第259页-
[20] 内政部：10.1016/0004-3702（92）90049-4·Zbl 0762.68029号 ·doi:10.1016/0004-3702（92）90049-4
[21] Harrenstein P.，《第十五届欧洲人工智能大会论文集》（ECAI-2002）第28页–
[22] Hoek W.，《第一届自主代理和多代理系统国际联合会议记录》（AAMAS-2002），第1167页–
[23] Hoek W.，《经济学研究》57（3），第235页–（2003）·doi:10.1016/S1090-9443（03）00031-0
[24] Hoek W.，Studia Logica 75（1）第125页–（2003）·兹伯利1034.03013 ·doi:10.1023/A:1026185103185
[25] Hoek W.，《IGPL逻辑杂志》11（2），第135页–（2003）·Zbl 1029.03014号 ·doi:10.1093/jigpal/12.1.135
[26] 约翰逊·D·S，《理论计算机科学手册A卷：算法和复杂性》第67页–（1990）
[27] DOI:10.1016/S0004-3702（97）00025-8·Zbl 0904.68168号 ·doi:10.1016/S0004-3702（97）00025-8
[28] Ladner R.E.，1986年知识推理理论方面会议论文集，第207页–
[29] Meyer J.，《人工智能》113第1页–（1999）·Zbl 0939.68831号 ·doi:10.1016/S0004-3702（99）00061-2
[30] 奥斯本M.J.，博弈论课程（1994）·Zbl 1194.91003号
[31] Papadimitriou C.H.，计算复杂性（1994）·Zbl 0833.68049号
[32] Pauly M.，ILLC论文系列2001-10，in：社交软件逻辑（2001）
[33] Pauly M.，《经济研究公报》53（4），第305页–（2002）·数字标识代码：10.1111/1467-8586.00136
[34] DOI:10.1093/log.com/12.1.149·Zbl 1003.91006号 ·doi:10.1093/log.com/12.1.149
[35] Pauly M.，2003年Agent系统博弈论和决策理论研讨会论文集（GTDT-2003）
[36] DOI:10.1093/log.com/8.3.293·Zbl 0904.68158号 ·doi:10.1093/log.com/8.3.293
[37] Sandholm T.，《多智能体系统》第201页–（1999年）
[38] 内政部：10.1016/0004-3702（93）90034-9·doi:10.1016/0004-3702（93）90034-9
[39] Wooldridge M.，关于理性代理的推理（2000）
[40] Wooldridge M.，《多智能体系统简介》（2002）
[41] Wooldridge M.，《人工智能》158（1），第27页–（2004）·Zbl 1085.68070号 ·doi:10.1016/j.artint.2004.04.002
[42] DOI:10.1017/0269888900008122·doi:10.1017/S02698889000008122
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。