Constructive knowledge

Jamroga, Wojciech; Ågotnes, Thomas

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 Temporal Logic, strategic ability, incomplete information, epistemic logic.

Vorschau

Zitieren

Zitierform:

Jamroga, Wojciech / Ågotnes, Thomas: Constructive knowledge. Clausthal-Zellerfeld 2005. Institut für Informatik.

Zugriffsstatistik

Gesamt:
Volltextzugriffe:
Metadatenansicht:
12 Monate:
Volltextzugriffe:
Metadatenansicht:

Grafik öffnen

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export