Title: On the Relationship between Playing Rationally and Knowing how to Play: A Logical Account
Authors: Wojciech Jamroga, Computational Intelligence Group, Clausthal University of Technology

Abstract:
Modal logics of strategic ability usually focus on capturing what it means for an agent to have a feasible strategy that brings about some property. While there is a general agreement on abilities in scenarios where agents have perfect information, the right semantics for ability under incomplete information is still debated upon. Epistemic Temporal Strategic Logic, an offspring of this debate, can be treated as a logic that captures properties of agents' rational play.

In this paper, we provide a semantics of ETSL that is more compact and comprehensible than the one presented in the original paper by van Otterloo and Jonker. Second, and much more importantly, we use ETSL to show that a rational player knows that he will succeed if, and only if, he knows how to play to succeed -- while the same is not true for rational coalitions of players.

Keywords: multi-agent systems, theories of agency, game-theoretical foundations, epistemic logic.

Computational Intelligence Group @ Technical University of Clausthal Home
Human Media Interaction Group @ University of Twente
Computer Science Group @ University of Gdansk Last modified 2006-05-06