Journal of Logic, Language and Information

, Volume 18, Issue 1, pp 55–77 | Cite as

A Logic of Strategic Ability Under Bounded Memory

Article

Abstract

We study the logic of strategic ability of coalitions of agents with bounded memory by introducing Alternating-time Temporal Logic with Bounded Memory (ATLBM), a variant of Alternating-time Temporal Logic (ATL). ATLBM accounts for two main consequences of the assumption that agents have bounded memory. First, an agent can only remember a strategy that specifies actions in a bounded number of different circumstances. While the ATL-formula \({\langle\!\langle{C}\rangle\!\rangle\square\varphi}\) means that coalition C has a joint strategy which will make φ true forever, the ATLBM-formula \({\langle\!\langle{C}\rangle\!\rangle^n\square\varphi}\) means that C has a joint strategy which for each agent in C specifies what to do in no more than n different circumstances and which will make φ true forever. Second, an agent has bounded recall—a strategy can only take the last m states of the system into account. We use the logic to study the interaction between strategic ability, bounded number of decisions, bounded recall and incomplete information. We discuss the logical properties and expressiveness of ATLBM, and its relationship to ATL. We show that ATLBM can express properties of strategic ability under bounded memory which cannot be expressed in ATL.

Keywords

Alternatingtime temporal logic Multi-agent systems Resource-bounded reasoning Strategic ability 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ågotnes, T. (2004). A logic of finite syntactic epistemic states. Ph.D. thesis, Department of Informatics, University of Bergen.Google Scholar
  2. Ågotnes T., Goranko V., Jamroga W. (2007) Alternating-time temporal logics with irrevocable strategies. In: Samet D.(eds) Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI). Belgium, Brussels, pp 15–24CrossRefGoogle Scholar
  3. Alur R., Henzinger T.A., Kupferman O. (2002) Alternating-time temporal logic. Journal of the ACM 49(5): 672–713CrossRefGoogle Scholar
  4. Belnap N., Perloff M. (1990) Seeing to it that: A canonical form for agentives. In: Kyburg H.E., Loui R.P., Carlson G.N.(eds) Knowledge representation and defeasible reasoning. Kluwer, Boston, pp 167–190Google Scholar
  5. Belnap N.D., Perloff M., Xu M. (2001) Facing the future: Agents and choices in our indeterminist world. Oxford University Press, USAGoogle Scholar
  6. Emerson E.A. (1990) Temporal and modal logic. In: van Leeuwen J.(eds) Handbook of theoretical computer science Volume B: Formal models and semantics. Elsevier Science Publishers B.V., Amsterdam, The Netherlands, pp 996–1072Google Scholar
  7. Goranko V., van Drimmelen G. (2006) Complete axiomatization and decidability of alternating-time temporal logic. Theoretical Computer Science 353(1–3): 93–117CrossRefGoogle Scholar
  8. Herzig, A., & Troquard, N. (2006). Knowing how to play: Uniform choices in logics of agency. In G. Weiss & P. Stone (Eds.), AAMAS’06: 5th International Joint Conference on Autonomous Agents and Multi Agent Systems (pp. 209–216). Hakodate, Japan, May 8–12, 2006.Google Scholar
  9. Jamroga W., Ågotnes T. (2007) Constructive knowledge: What agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4): 423–475CrossRefGoogle Scholar
  10. Jamroga W., van der Hoek W. (2004) Agents that know how to play. Fundamenta Informaticae 63(2–3): 185–219Google Scholar
  11. Jonker, G. (2003). Feasible strategies in alternating-time temporal epistemic logic. Master’s thesis, University of Utrech, The Netherlands.Google Scholar
  12. Pauly M. (2002) A modal logic for coalitional power in games. Journal of Logic and Computation 12(1): 149–166CrossRefGoogle Scholar
  13. Schobbens P.-Y. (2004) Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science 85(2): 82–93CrossRefGoogle Scholar
  14. 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
  15. Wooldridge, M., & van der Hoek, W. (2002). Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. In Proceedings of the 5th International Conference on Coordination Models and Languages (p. 4).Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2008

Authors and Affiliations

  1. 1.Department of Computer EngineeringBergen University CollegeBergenNorway
  2. 2.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK

Personalised recommendations