×
Ågotnes，托马斯；范德霍克，威比；迈克尔·伍尔德里奇

量化联盟逻辑。 （英语） Zbl 1169.03020号

合成 165，第2号，269-294（2008）.
总结：我们为联盟逻辑添加了一种有限但有用的量化形式，这是一种流行的形式主义，用于推理游戏式多智能体系统中的合作。量化联盟逻辑（QCL）的基本结构允许我们表达诸如“每个满足属性（P\）的联盟都可以实现（\varphi）”和“存在一个满足属性（P）的联盟，使得（C\）可以实现（\ varphi”这样的属性。我们给出了QCL的一个公理化，并表明虽然它没有联盟逻辑更具表现力，但它仍然以指数形式更简洁。符号和显式状态表示的QCL模型检查的复杂性并不比联盟逻辑的复杂，QCL的可满足性也不比联盟逻辑差。我们通过展示如何简洁地指定诸如多数投票这样的社会选择机制来说明形式主义，在联盟逻辑中，多数投票要求代理数量的规格是指数级的。

引用于6文件

MSC公司：

03B60号 其他非经典逻辑
60年第68季度 规范和验证（程序逻辑、模型检查等）
68T27型 人工智能中的逻辑
91A12号机组 合作游戏
91B14号机组 社会选择

关键词：

联盟逻辑；量化；简洁；模型检查；可满足性
PDF格式BibTeX公司 XML格式引用
\textit{T.奥戈特内斯}等人，《合成》165，第2期，269--294（2008；Zbl 1169.03020）
全文： DOI程序

参考文献：

[1] 奥戈特斯·T（2006）《交替时间时序逻辑中的行动和知识》。合成149（2）：377–409·Zbl 1107.03013号 ·doi:10.1007/s11229-005-3875-8
[2] 奥戈特内斯，T.、范德霍克，W.和伍尔德里奇，M.（2006）。论联盟博弈的逻辑。《第五届自主代理和多代理系统国际联合会议论文集》（AAMAS-2006），日本函馆·Zbl 1180.68271号
[3] Ågotnes，T.和Walicki，M.（2006年）。有限句法认知状态的完全公理化。M.Baldoni、U.Endriss、A.Omicini和P.Torroni（编辑），《声明性代理语言和技术III：第三次国际研讨会》，2005年7月25日，荷兰乌得勒支，DALT 2005。计算机科学（LNCS）课堂讲稿的精选和修订论文（第3904卷，第33-50页）。海德堡：施普林格。
[4] Alur R.、Henzinger T.A.（1999）《无功模块》。系统设计中的形式化方法15（11）：7–48·doi:10.1023/A:1008739929481
[5] Alur R.、Henzinger T.A.、Kupferman O.（2002）《交替时间时序逻辑》。ACM期刊49（5）：672–713·Zbl 1326.68181号 ·doi:10.1145/585265.585270
[6] Clarke E.M.、Grumberg O.、Peled D.A.（2000）模型检查。麻省理工学院出版社，马萨诸塞州剑桥
[7] Dunne P.E.，van der Hoek W.，Wooldridge M.（2007）定性联盟博弈的逻辑特征。应用非经典逻辑杂志17（4）：477–509·Zbl 1187.68622号 ·doi:10.3166/jancl.17.477-509
[8] Gallier，J.（1987）。计算机科学逻辑：自动定理证明的基础。威利·Zbl 0605.03004号
[9] Gargov，G.和Passy，S.（1987年）。布尔模态逻辑注释。《数学逻辑与应用》（第253-263页）。增压器压力·Zbl 0777.03005号
[10] Lutz，C.（2006）。公告逻辑的复杂性和简洁性。《第五届自主代理和多代理系统国际联合会议论文集》（AAMAS-2006），日本函馆。
[11] Papadimitriou C.H.（1994）计算复杂性。马萨诸塞州雷丁市Addison-Wesley·Zbl 0833.68049号
[12] Pauly，M.（2001年）。社交软件的逻辑。阿姆斯特丹大学博士论文。ILLC论文系列2001-10。
[13] van der Hoek，W.、Jamroga，W.和Wooldridge，M.（2005a）。战略推理的逻辑。《第四届自主代理和多代理系统国际联合会议记录》（AAMAS-2005）（第157-153页）。荷兰：乌得勒支。
[14] van der Hoek，W.，&Lomuscio，A.，&Wooldridge，M.（2005b）。关于实际ATL模型检查的复杂性。《第五届自主代理和多代理系统国际联合会议论文集》（AAMAS-2006），日本函馆。
[15] Wooldridge M.，Dunne P.E.（2004）关于定性联合博弈的计算复杂性。人工智能158（1）：27–73·Zbl 1085.68070号 ·doi:10.1016/j.artint.2004.04.002
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。