Deriving Knowledge in Multi Agents Control Systems with Imperfect Information
Jaroslav Fogel · 2005
In the paper, we discuss control problem of discrete event dynamic systems as a game controller versus environment (controlled plant). The game deals with imperfect information in which players are uncertain about the precise state of the game. Controller consists of a group of agents searching for the winning strategy in the game. The winning strategy is derived from the knowledge modeled by alternating-time epistemic logic