Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

236306

Reasoning about cooperation, actions and preferences

Lena Kurzen

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.