A logic for strategic reasoning


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 <i>counterfactual commitment</i> operator of the form <i>C<inf>i</inf>(&sigma;, &#966;)</i>, with the intended reading "if it were the case that agent <i>i</i> committed to strategy &sigma;, then &#966;". 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.

DOI: 10.1145/1082473.1082497

Extracted Key Phrases

4 Figures and Tables


Citations per Year

142 Citations

Semantic Scholar estimates that this publication has 142 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Hoek2005ALF, title={A logic for strategic reasoning}, author={Wiebe van der Hoek and Wojciech Jamroga and Michael Wooldridge}, booktitle={AAMAS}, year={2005} }