A Logic of Probabilistic Knowledge and Strategy

The ability of reasoning about knowledge and strategy is key to the autonomy of an intelligent system of multiple players. In this paper, we study the logic of knowledge and strategy in stochastic multiagent systems, where the system's behaviour is determined by both the behaviour of the players and by some random elements. Players have incomplete information about the system and do not have memory. A logic PATEL * , whose semantics is based on partiallyobserved concurrent game structures, is proposed. The computational complexities of model checking the logic and its sublogics are solved.