Abstract
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.
This work was supported by the National Natural Science Foundation of China (Grant Nos. 61572234 and 61472369), the Fundamental Research Funds for the Central Universities of China (Grant No. 21615441), and Australian Research Council (Grant No. DP150101618).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Pauly, M.: A modal logic for coalitional power in games. J. Log. Comput. 12(1), 149–166 (2002)
Ågotnes, T., Alechina, N.: Epistemic coalition logic: completeness and complexity. In: Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pp. 1099–1106. ACM Press (2012)
Ågotnes, T., van der Hoek, W., Wooldridge, M.: Quantified coalition logic. Synthese 165(2), 269–294 (2008)
Boella, G., Gabbay, D.M., Genovese, V., van der Torre, L.: Higher-order coalition logic. In: Proceedings of the ECAI 2010–19th European Conference on Artificial Intelligence, Lisbon, Portugal, 16–20 August 2010, pp. 555–560 (2010)
Ågotnes, T., van der Hoek, W., Wooldridge, M.: Reasoning about coalitional games. Artif. Intell. 173(1), 45–79 (2009)
Su, K., Sattar, A., Governatori, G., Chen, Q.: A computationally grounded logic of knowledge, belief and certainty. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 25–29 July 2005, Utrecht, The Netherlands, pp. 149–156 (2005)
Goranko, V., Jamroga, W., Turrini, P.: Strategic games and truly playable effectivity functions. Auton. Agent. Multi-Agent Syst. 26(2), 288–314 (2013)
Goranko, V., Jamroga, W., Turrini, P.: Strategic games and truly playable effectivity functions. In: Proceedigns of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, pp. 727–734 (2011)
Wooldridge, M., Lomuscio, A.: A computationally grounded logic of visibility, perception, and knowledge. Log. J. IGPL 9(2), 257–272 (2001)
Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194–211 (1979)
Ågotnes, T., Alechina, N.: A logic for reasoning about knowledge of unawareness. J. Logic Lang. Inform. 23(2), 197–217 (2014)
Goranko, V., Jamroga, W.: State and path coalition effectivity models of concurrent multi-player games. Auton. Agent. Multi-Agent Syst. 30(3), 446–485 (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Chen, Q., Huang, X., Su, K., Sattar, A. (2017). Quantified Coalition Logic of Knowledge, Belief and Certainty. In: Mouhoub, M., Langlais, P. (eds) Advances in Artificial Intelligence. Canadian AI 2017. Lecture Notes in Computer Science(), vol 10233. Springer, Cham. https://doi.org/10.1007/978-3-319-57351-9_40
Download citation
DOI: https://doi.org/10.1007/978-3-319-57351-9_40
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-57350-2
Online ISBN: 978-3-319-57351-9
eBook Packages: Computer ScienceComputer Science (R0)