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 ``constructive'' knowledge, and we show that the new language is strictly more expressive than existing solutions, while retaining the same model checking complexity. Keywords: alternating-time logic, modal logic, strategic ability, incomplete information, multi-agent systems.
|Computational Intelligence Group @ Technical University of Clausthal|
|Human Media Interaction Group @ University of Twente|
|Computer Science Group @ University of Gdansk||Last modified 2006-05-06|