Knowing How to Play: Uniform Choices in Logics of Agency
Résumé
Reasoning about capabilities, strategies and knowledge is important in the analysis of multiagent systems. Alternating-time Temporal Epistemic Logic (\textsfATEL) was designed with this aim. Nevertheless, the original interpretation of the language suffered from some counterintuitive properties. These are due to the fact that the strategies the agent applies in worlds that he cannot distinguish may not be uniform, in the sense that the same action is applied in all indistinguishable worlds. Several refinements of the original \textsfATEL semantics were proposed since then. In this paper we argue that the \textsfSTIT framework can easily account for uniform strategies. \textsfSTIT is a logic of agency that has been proposed in the 90ies in the domain of philosophy of action. It is the logic of constructions of the form ``agent a sees to it that \varphi''. To support our claim, we first present a straightforward solution in \textsfSTIT logic augmented by a modal operator of knowledge. Then we offer a simplification, by introducing a modal logic of knowledge-based uniform agency, for \emphone-step strategies, alias choices.