论文信息 - Quantified Coalition Logic of Knowledge, Belief and Certainty

Quantified Coalition Logic of Knowledge, Belief and Certainty

This paper introduces a multi-modal logic of Quantified Coalition Logic of Knowledge, Belief and Certainty (QCLKBC) to establish a logical framework that can model novel properties concerning mental attitudes and strategic power in a system, such as “agent i must be involved in order to convince agent j of the fact \(\varphi \)”. Furthermore, this paper presents an axiomatic system of QCLKBC with the completeness proof, and shows the satisfiability problem for QCLKBC is PSPACE-complete.

Abdul Sattar | Kaile Su | Qingliang Chen | Xiaowei Huang

[1] Natasha Alechina,et al. Epistemic coalition logic: completeness and complexity , 2012, AAMAS.

[2] Michael Wooldridge,et al. Reasoning about coalitional games , 2009, Artif. Intell..

[3] Guido Governatori,et al. A computationally grounded logic of knowledge, belief and certainty , 2005, AAMAS '05.

[4] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[5] Michael Wooldridge,et al. Quantified coalition logic , 2007, Synthese.

[6] Michael Wooldridge,et al. A Computationally Grounded Logic of Visibility, Perception, and Knowledge , 2001, Log. J. IGPL.

[7] Marc Pauly,et al. A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[8] Dov M. Gabbay,et al. Higher-Order Coalition Logic , 2010, ECAI.

[9] Wojciech Jamroga,et al. Strategic games and truly playable effectivity functions , 2013, Autonomous Agents and Multi-Agent Systems.

[10] Wojciech Jamroga,et al. State and path coalition effectivity models of concurrent multi-player games , 2015, Autonomous Agents and Multi-Agent Systems.

[11] Natasha Alechina,et al. A Logic for Reasoning About Knowledge of Unawareness , 2014, J. Log. Lang. Inf..