Title: Constructive Knowledge: What Agents Can Achieve under Imperfect Information
Authors: Wojciech Jamroga, Computational Intelligence Group, Clausthal University of Technology
   Thomas Ågotnes, Department of Computer Engineering, Bergen University College, Norway

We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than changing the semantic structures, we generalize the usual interpretation of formulae in single states to sets of states. We also propose a new epistemic operator for “practical” or “constructive” knowledge, and we show that the new logic (which we call Constructive Strategic Logic) is strictly more expressive than most existing solutions, while it retains the same model checking complexity. Finally, we study properties of constructive knowledge and other operators in this non-standard semantics.

Keywords: Alternating-time Temporal Logic, strategic ability, imperfect information, epistemic logic.

Computational Intelligence Group @ Technical University of Clausthal Home
Human Media Interaction Group @ University of Twente
Computer Science Group @ University of Gdansk Last modified 2007-05-22