On strategic reasoning in games with
resource bounded players
Abstract.
Logical analyses of games typically consider players' strategies as
atomic objects and the reasoning is about existence of strategies,
rather than about strategies themselves. This works well with the
underlying assumption that players are rational and possess
unbounded computational ability. However, in many practical
situations these are rather strong assumptions to make.
We suggest that any prescriptive theory which provides advice
to players need to view strategies as partially defined objects
built in some compositional fashion rather than viewing them as
atomic functions. We propose a syntactic framework to specify
strategies in a compositional manner and look at how logical
reasoning in games can be performed using this framework.
Relevant Papers.
- Johan van Benthem, Decisions, actions and games:
a logical perspective, in Proc. ICLA 2009, Chennai,
LNAI 5378, 1-22, 2009.
- Rohit Parikh, The logic of games and its
applications, Annals of Discrete Mathematics,
24:111-140, 1985.
- R. Ramanujam and Sunil Simon, Dynamic logic on games
with structured strategies, Proc. KR-08, Sydney,
49-58, 2008.