Quantified Coalition Logic for BDI-Agents: Completeness and Complexity

被引：0

作者：

Chen, Qingliang ^{[1
]}

Li, Qun ^{[1
]}

Su, Kaile ^{[2
]}

Luo, Xiangyu ^{[3
]}

机构：

[1] Jinan Univ, Dept Comp Sci, Guangzhou 510632, Guangdong, Peoples R China

[2] Griffith Univ, Inst Integrated & Intelligent Syst, Brisbane, Qld 4111, Australia

[3] Huaqiao Univ, Coll Comp Sci & Technol, Xiamen 361021, Peoples R China

来源：

PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE | 2014年 / 8862卷

关键词：

Coalition Logic; BDI; Modal Logic; Multi-Agent Systems; GAMES;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper introduces a multi-dimensional modal logic of Quantified Coalition Logic of Beliefs, Desires and Intentions (QCLBDI) to reason about how agents' mental attitudes evolve by cooperation in game-like multi-agent systems. We present a complete axiomatic system of QCLBDI with the formal proof and show that the satisfiability for QCLBDI is PSPACE-complete, computationally no harder than that of CL.

引用

页码：871 / 876

页数：6

共 7 条

[1] Quantified coalition logic
Agotnes, Thomas
van der Hoek, Wiebe
Wooldridge, Michael
[J]. SYNTHESE, 2008, 165 (02) : 269 - 294
[2] A Logic for Reasoning About Knowledge of Unawareness
Agotnes, Thomas
Alechina, Natasha
[J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2014, 23 (02) : 197 - 217
[3] [Anonymous], ICMAS
[4] Comparing variants of strategic ability: how uncertainty and memory influence general properties of games
Bulling, Nils
Jamroga, Wojciech
[J]. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2014, 28 (03) : 474 - 518
[5] Halpern J., 1995, Reasoning about Knowledge
[6] A GUIDE TO COMPLETENESS AND COMPLEXITY FOR MODAL-LOGICS OF KNOWLEDGE AND BELIEF
HALPERN, JY
MOSES, Y
[J]. ARTIFICIAL INTELLIGENCE, 1992, 54 (03) : 319 - 379
[7] A modal logic for coalitional power in games
Pauly, M
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (01) : 149 - 166

← 1 →