Investigating agent influence and nested other-agent behaviour

Stit theory, the notion of an agent’s capacity for guaranteeing – or s-eeing t-o it – that a state of affairs arrives, provides a rich semantic framework for manipulating agent ability. However, the syntax of stit readily allows for nesting and such nested statements are not easily imbued with meaning. In this article, and in related work, we introduce and explore a partial logical characterisation of an alternative reading for stit based on a novel interpretation of agent influence that allows meaningful nested agent expressions. Keywords-Cooperative systems; Stochastic logic; Stochastic automata; Adaptive systems;