Reasoning about cooperation, actions and preferences
pp. 223-240
Résumé
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.
Détails de la publication
Publié dans:
Ågotnes Thomas, van Benthem Johan, Pacuit Eric (2009) Knowledge, rationality & action. Synthese 169 (2).
Pages: 223-240
DOI: 10.1007/s11229-009-9551-7
Citation complète:
Kurzen Lena, 2009, Reasoning about cooperation, actions and preferences. Synthese 169 (2), Knowledge, rationality & action, 223-240. https://doi.org/10.1007/s11229-009-9551-7.