A Dynamic Logic of Agency I: STIT, Capabilities and Powers

Article

Abstract

The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency (\({\mathcal{DLA}}\)). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in \({\mathcal{DLA}}\) cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic logic operators of action and (historic) necessity. We show that STIT logic can be reconstructed in \({\mathcal{DLA}}\). We then extend \({\mathcal{DLA}}\) with epistemic operators, which allows us to distinguish capability and power. We finally characterize the conditions under which agents are aware of their capabilities and powers.

Keywords

Logic of agency STIT Coalition logic Game theory 

References

  1. Ågotnes T. (2006) Action and knowledge in alternating-time temporal logic. Synthese 149(2): 377–409CrossRefGoogle Scholar
  2. Alur R., Henzinger T., Kupferman O. (2002) Alternating-time temporal logic. Journal of the ACM 49: 672–713CrossRefGoogle Scholar
  3. Ågotnes T., van der Hoek W., & Wooldridge M. (2007). Quantified coalition logic. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI’07) (pp. 1181–1186). New York: AAAI Press.Google Scholar
  4. Balbiani P., Herzig A., Troquard N. (2008) Alternative axiomatics and complexity of deliberative STIT theories. Journal of Philosophical Logic 37(4): 387–406CrossRefGoogle Scholar
  5. Barnes B. (1988) The nature of power. Polity Press, CambridgeGoogle Scholar
  6. Belnap N., Perloff M., Xu M. (2001) Facing the future: agents and choices in our indeterminist world. Oxford University Press, New YorkGoogle Scholar
  7. Blackburn P., de Rijke M., Venema Y. (2001) Modal logic. Cambridge University Press, CambridgeGoogle Scholar
  8. Borgo, S. (2007). Coalitions in action logic. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI’07) (pp. 1822–1827). New York: AAAI Press.Google Scholar
  9. Broersen J., Herzig A., Troquard N. (2006) Embedding alternating-time temporal logic in strategic STIT logic of agency. Journal of Logic and Computation 16(5): 559–578CrossRefGoogle Scholar
  10. Broersen, J., Herzig, A., & Troquard, N. (2007). Normal coalition logic and its conformant extension. In Proceedings of the Eleventh Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2007) (pp. 92–101).Google Scholar
  11. Broersen, J. (2008). A logical analysis of the interaction between ‘obligation-to-do’ and ‘knowingly doing’. In Proceedings of the Ninth International Conference on Deontic Logic in Computer Science (DEON’08) (Vol. 5076 of LNCS pp. 140–154). Berlin: Springer-Verlag.Google Scholar
  12. Castelfranchi, C. (2003). The micro–macro constitution of power. ProtoSociology, 18–19.Google Scholar
  13. Harel D., Kozen D., Tiuryn J. (2000) Dynamic logic. MIT Press, CambridgeGoogle Scholar
  14. Herzig, A., & Schwarzentruber, F. (2008). Properties of logics of individual and group agency. In C. Areces & R. Goldblatt (Eds.) Proceedings of Advances in Modal Logic (pp. 133–149). College Publications.Google Scholar
  15. Herzig, A., & Troquard, N. (2006). Knowing how to play: Uniform choices in logics of agency. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006) (pp. 209–216). New York: ACM Press.Google Scholar
  16. Horty J. F. (2001) Agency and deontic logic. Oxford University Press, OxfordCrossRefGoogle Scholar
  17. Horty J. F., Belnap N. (1995) The deliberative STIT: A study of action, omission, and obligation. Journal of Philosophical Logic 24(6): 583–644CrossRefGoogle Scholar
  18. Jamroga W., Ågotnes T. (2007) Constructive knowledge: What agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4): 423–425CrossRefGoogle Scholar
  19. Jamroga W., van der Hoek W. (2004) Agents that know how to play. Fundamenta Informaticae 63(2-3): 185–219Google Scholar
  20. Lorini, E. A dynamic logic of agency II: Deterministic DLA coalition logic, and game theory. Journal of Logic, Language and Information (in press).Google Scholar
  21. Lorini E., Herzig A. (2008) A logic of intention and attempt. Synthese 163(1): 45–77CrossRefGoogle Scholar
  22. Pauly, M. (2001). Logic for social software. PhD thesis, University of Amsterdam, The Netherlands.Google Scholar
  23. Pauly M. (2002) A modal logic for coalitional power in games. Journal of Logic and Computation 12(1): 149–166CrossRefGoogle Scholar
  24. Parikh R., Pacuit E., Cogan E. (2006) The logic of knowledge based obligation. Synthese 149(2): 311–341CrossRefGoogle Scholar
  25. Reiter R. (2001) Knowledge in action: Logical foundations for specifying and implementing dynamical systems. MIT Press, CambridgeGoogle Scholar
  26. Sahlqvist, H. (1975). Completeness and correspondence in the first and second order semantics for modal logics. In S. Kanger (Eds.) Proceedings of the 3rd Scandinavian Logic Symposium Volume 82 of Studies in Logic North-Holland.Google Scholar
  27. Schobbens, P. Y. (2004). Alternating-time logic with imperfect recall. In Electronic Notes in Theoretical Computer Science 85(2). Amsterdam: Elsevier.Google Scholar
  28. Sauro, L., Gerbrandy, J., van der Hoek, W., & Wooldridge, M. (2006). Reasoning about action and cooperation. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006) (pp. 185–192). New York: ACM Press.Google Scholar
  29. Troquard, N., van der Hoek, W., & Wooldridge, M. (2009). A logic of games and propositional control. In Proceedings of the Eight International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009) (pp. 961–968). New York: ACM Press.Google Scholar
  30. van Benthem J. (2009) In praise of strategies. In: Eijck J., Verbrugge R. (eds) Discourses on social software texts in logic and games. University Press, AmsterdamGoogle Scholar
  31. van der Hoek, W., Jamroga, W., & Wooldridge, M. (2005). A logic for strategic reasoning. In Proceedings of the Fourth International Joint Conference on Autonomous Agens and Multiagent Systems (AAMAS 2005) (pp. 157–164). New York: ACM Press.Google Scholar
  32. van der Hoek W., Wooldridge M. (2005) On the logic of cooperation and propositional control. Artificial Intelligence 64(1-2): 81–119Google Scholar
  33. van der Hoek W., Wooldridge M. (2003) Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica 75: 125–157CrossRefGoogle Scholar
  34. Weber M. (1947) The theory of social and economic organization. Oxford University Press, New YorkGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  1. 1.CNRS, Institut de recherche en informatique de ToulouseUniversité de ToulouseToulouse Cedex 9France

Personalised recommendations