Constructive knowledge: what agents can achieve under imperfect information
- 1 January 2007
- journal article
- Published by Taylor & Francis Ltd in Journal of Applied Non-Classical Logics
- Vol. 17 (4)
- https://doi.org/10.3166/jancl.17.423-475
Abstract
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
This publication has 14 references indexed in Scilit:
- Embedding Alternating-time Temporal Logic in Strategic Logic of AgencyJournal of Logic and Computation, 2006
- Action and Knowledge in Alternating-Time Temporal LogicSynthese, 2006
- Comparing Semantics of Logics eor Multi-Agent SystemsSynthese, 2004
- Alternating-time temporal logicJournal of the ACM, 2002
- A Modal Logic for Coalitional Power in GamesJournal of Logic and Computation, 2002
- Dynamic LogicPublished by MIT Press ,2000
- Alternating-time Temporal LogicLecture Notes in Computer Science, 1998
- Temporal and Modal LogicPublished by Elsevier BV ,1990
- Seeing to it that: a canonical form for agentivesTheoria, 1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986