Hiding and revealing information in Boolean Games

Imperfect information is essential for modelling and reasoning about MAS which describe realistic systems or interactions. In this paper, we start from Boolean Games - an already established framework for capturing strategic behaviour in MAS, and introduce a new method for describing uncertainty. We illustrate situations in which the standard approach for imperfect information is problematic, and show how our proposal can deal with such situations. We also equip agents with the ability of formulating goals which express others' knowledge on the game outcome, and discuss how this is different from existing work.