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

Abstract:
We propose a non-standard semantics for Alternating-time Temporal Logic with incomplete information, for which no commonly accepted semantics has been proposed yet. In our semantics, formulae are interpreted over sets of states rather than single states. We also propose a new epistemic operator for “practical” or “constructive” knowledge, and we show that the new language is strictly more expressive than existing solutions, while it retains the same model checking complexity. Finally, we study properties of constructive knowledge and other operators in a non-standard semantics like this. Keywords: alternating-time logic, modal logic, strategic ability, incomplete information, multi-agent systems.

Computational Intelligence Group @ Technical University of Clausthal Home
Human Media Interaction Group @ University of Twente
Computer Science Group @ University of Gdansk Last modified 2005-11-04