A logic of probabilistic knowledge and strategy

  • Authors:

  • Xiaowei Huang;Cheng Luo

  • Affiliations:

  • University of New South Wales, Sydney, Australia;University of New South Wales, Sydney, Australia

  • Venue:
  • Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 multi-agent 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 partially-observed concurrent game structures, is proposed. The computational complexities of model checking the logic and its sublogics are solved.