ABSTRACT
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of other participants in the scenario, and, in particular, how the agent's choice of strategy will affect the choices of others. We present CATL, a logic that is intended to facilitate such reasoning. CATL is an extension of Alternating-time Temporal Logic (ATL), which supports reasoning about the abilities of agents and their coalitions in game-like multi-agent systems. CATL extends ATL with a ternary counterfactual commitment operator of the form Ci(σ, ϕ), with the intended reading "if it were the case that agent i committed to strategy σ, then ϕ". By using this operator in combination with the ability operators of ATL, it is possible to reason about the implications of different possible choices by agents. We illustrate the approach by showing how CATL may be used to express properties of games such as Nash equilibrium and Pareto efficiency. We also show that the model checking problem for CATL is tractable, and hence that efficient implementations of strategic reasoners based on CATL are feasible.
- R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. In Proceedings of FOCS, pages 100--109, 1997. Google ScholarDigital Library
- R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49(5):672--713, September 2002. Google ScholarDigital Library
- A. Baltag. A logic for suspicious players. Bulletin of Economic Research, 54(1):1--46, 2002.Google ScholarCross Ref
- J. van Benthem. Games in dynamic epistemic logic. Bulletin of Economic Research, 53(4):219--248, 2001. Proceedings of LOFT-4.Google ScholarCross Ref
- J. van Benthem. Extensive games as process models. Journal of Logic, Language, and Information, 11(3):289--313, 2002. Google ScholarDigital Library
- A. L. Blum and M. L. Furst. Fast planning through graph analysis. Artificial Intelligence, 90:281--300, 1997. Google ScholarDigital Library
- G. Bonanno. Branching time logic, perfect information games and backward induction. Games and Economic Behavior, 36(1):57--73, July 2001.Google ScholarCross Ref
- G. van Drimmelen. Satisfiability in alternating-time temporal logic. In Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003), pages 208--217, Ottawa, Canada, 2003. Google ScholarDigital Library
- E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, pages 996--1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990. Google ScholarDigital Library
- R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995. Google ScholarDigital Library
- V. Goranko and W. Jamroga. Comparing semantics of logics for multi-agent systems. Synthese, 139(2):241--280, 2004.Google ScholarCross Ref
- D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press: Cambridge, MA, 2000. Google ScholarDigital Library
- P. Harrenstein, W. van der Hoek, J.-J Meyer, and C. Witteveen. On modal logic interpretations for games. In Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI-2002), pages 28--32, Lyon, France, 2002.Google Scholar
- W. van der Hoek, M. Roberts, and M. Wooldridge. Social laws in alternating time: Effectiveness, feasibility and synthesis. Synthese, 2005.Google Scholar
- W. Jamroga, W. van der Hoek, and M. Wooldridge. Intentions and strategies in game-like scenarios. Technical Report IfI-05-08, Clausthal University of Technology, 2005.Google ScholarDigital Library
- N. R. Jennings. Commitments and conventions: The foundation of coordination in multi-agent systems. The Knowledge Engineering Review, 8(3):223--250, 1993.Google ScholarCross Ref
- D. Lewis. Counterfactuals. Blackwells: Oxford, 1973.Google Scholar
- M. J. Osborne and A. Rubinstein. A Course in Game Theory. The MIT Press: Cambridge, MA, 1994.Google Scholar
- M. Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1):149--166, 2002.Google ScholarCross Ref
- A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 473--484, 1991.Google ScholarDigital Library
- P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004.Google Scholar
- R. Stalnaker. Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy, 12:133--163, 1996.Google ScholarCross Ref
- S. van Otterloo, W. van der Hoek, and M. Wooldridge. Preferences in game logics. In Proceedings of AAMAS-04, 2004. Google ScholarDigital Library
- M. Wooldridge. Reasoning about Rational Agents. The MIT Press: Cambridge, MA, 2000.Google Scholar
Index Terms
- A logic for strategic reasoning
Recommendations
Reasoning about coalitional games
We develop, investigate, and compare two logic-based knowledge representation formalisms for reasoning about coalitional games. The main constructs of Coalitional Game Logic (cgl) are expressions for representing the ability of coalitions, which may be ...
On the semantics of Strategy Logic
We define and study a slight variation on the semantics of Strategy Logic: while in the classical semantics, all strategies are shifted during the evaluation of temporal modalities, we propose to only shift the strategies that have been assigned to a ...
Reasoning about reasons behind preferences using modal logic
Preferences play a crucial role in the theory of rationality, and therefore also to computational social choice and artificial intelligence. In formal models it is usually assumed that preferences are primitive objects, and little concern is devoted to ...
Comments