Using STIT theory to talk about strategies

Jan Broersen (1) , Andreas Herzig (2, 3)

1 Universiteit Utrecht / Utrecht University [Utrecht]
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique

This chapter gives an overview of logical theories of ‘seeing-to-it-that’, commonly abbreviated stit, and focusses on the notion of ‘strategy’ as used in their semantics. The chapter covers both ‘one-step’ strategies (i.e., atomic actions) and long-term strategies and explains how they give semantics to different stit languages. Furthermore, the chapter discusses how extensions with epistemic operators can be used to clarify the problem of uniform strategies. Finally, it is shown how strategic stit theories disambiguate some seemingly paradoxical observations recently made in the context of logics of strategic ability (ATL).

Mots clés: logic of action; STIT; seeing-to-it-that; strategy; logics of agency; extensive form games; theory of action; processes and strategies

Domaines: Informatique [cs]

Jan Broersen, Andreas Herzig. Using STIT theory to talk about strategies. van Benthem, Johan; Ghosh, Sujata; Verbrugge, Rineke. Models of Strategic Reasoning: Logics, Games, and Communities, 8972, Springer, pp.137--173, 2015, Lecture Notes in Computer Science book series (LNCS), 978-3-662-48539-2. ⟨10.1007/978-3-662-48540-8_5⟩. ⟨hal-03190192⟩