Abstract
In this paper, a logic for reasoning about coalitional power is developed which explicitly represents agents’ preferences and the actions by which the agents can achieve certain results. A complete axiomatization is given and its satisfiability problem is shown to be decidable and EXPTIME-hard.
Article PDF
Similar content being viewed by others
Explore related subjects
Find the latest articles, discoveries, and news in related topics.Avoid common mistakes on your manuscript.
References
Ågotnes T., Dunne P., van der Hoek W., Wooldridge M. (2007a) Logics for coalitional games. In: Benthem J., Ju S., Veltman F. (eds) A meeting of the minds. College Publications, London, UK, pp 3–20
Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2007b). Quantified coalition logic. In IJCAI ’07: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (pp. 1181–1186). Hyderabad, India.
Alur, R., Henzinger, T. A., & Kupferman, O. (1998). Alternating-time temporal logic. Lecture Notes in Computer Science , 1536, 23–60.
Blackburn P., de Rijke M., Venema Y. (2001) Modal logic, No. 53 in Cambridge tracts in theoretical computer science. Cambridge University Press, UK
Borgo, S. (2007). Coalitions in action logic. In IJCAI ’07: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (pp. 1822–1827). Hyderabad, India.
Broersen, J. (2003). Modal action logics for reasoning about reactive systems. Ph.D. thesis, Faculteit der Exacte Wetenschappen, Vrije Universiteit Amsterdam.
Dégremont, C., & Kurzen, L. (2009). Modal logics for preferences and cooperation: Expressivity and complexity. In: KRAMAS 2008: Proceedings of the Workshop on Knowledge Representation for Agents and Multi-Agent Systems. (to appear).
Gerbrandy, J., & Sauro, L. (2007). Plans in cooperation logic: A modular approach. In Proceedings of the IJCAI Workshop on Nonmontonic Reasoning, Action and Change (NRAC 2007). Hyderabad, India.
Kurzen, L. (2007). Logics for cooperation, actions and preferences. Master’s thesis, Universiteit van Amsterdam, the Netherlands.
Lutz C., Sattler U. (2001) The complexity of reasoning with boolean modal logics. In: Wolter F., Wansing H., Rijke M., Zakharyaschev M. (eds) Advances in modal logics (Vol. 3). CSLI Publications, Stanford
Lutz, C., Sattler, U., & Wolter, F. (2001). Modal logics and the two-variable fragment. In Annual Conference of the European Association for Computer Science Logic CSL’01. Paris, France: Springer Verlag.
Osborne M.J., Rubinstein A. (1994) A course in game theory. MIT Press, Cambridge, MA
Pauly M. (2002a) A modal logic for coalitional power in games. Journal of Logic and Computation 12(1): 149–166
Pauly M. (2002b) On the complexity of coalitional reasoning. International Game Theory Review 4: 237–254
Sauro, L., Gerbrandy, J., van der Hoek, W., & Wooldridge, M. (2006). Reasoning about action and cooperation. In AAMAS ’06: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-agent Systems (pp. 185–192). Hakodate, Japan.
van Benthem, J., Roy, O., & Girard, P. (2007). Everything else being equal: A modal logic approach to ceteris paribus preferences. ILLC Prepublication Series, PP-2007-09.
van Benthem, J., van Otterloo, S., & Roy, O. (2005). Preference logic, conditionals and solution concepts in games. In H. Lagerlund, S. Lindströöm, & R. Sliwinski (Eds.), Modality matters: Twenty-five essays in honour of Krister Segerberg, Uppsala Philosophical Studies 53. University of Uppsala.
van Otterloo, S., van der Hoek, W., & Wooldridge, M. (2004). Preferences in game logics. In AAMAS ’04: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 152–159). IEEE Computer Society.
Walther, D., van der Hoek, W., & Wooldridge, M. (2007). Alternating-time temporal logic with explicit strategies. In TARK ’07: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (pp. 269–278). ACM.
Acknowledgements
The author thanks Ulle Endriss, Eric Pacuit, Luigi Sauro, Johan van Benthem, Olivier Roy and the anonymous referees for their help and their useful comments. She also thanks the participants of the Workshop on Logic and Intelligent Interaction at ESSLLI 2008. Their comments have helped to improve earlier versions. This work is supported by the Dutch Organization for Scientific Research (NWO), TACTICS project, grant number 612.000.525.
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Kurzen, L. Reasoning about cooperation, actions and preferences. Synthese 169, 223–240 (2009). https://doi.org/10.1007/s11229-009-9551-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-009-9551-7