Strategic ability under uncertainty

Jamroga, Wojciech; van der Hoek, Wiebe

Modal logics of strategic ability form one of the fields where logic and game theory can successfully meet. This paper reports research in progress on ATOL, a logic designed to capture strategic properties of agents under incomplete information. The notation and terminology, chosen originally for ATOL, were rather unfortunate. Moreover, ATOL needs a large number of modal operators in order to express properties of agents. We rewrite the syntax and semantics of ATOL, using an easier-to-read notation, and more natural terminology. More importantly, we propose an alternative takeʺ on ATOL, in which simple cooperation modalities can be combined with epistemic operators into sufficiently expressive formulae. This new version of ATOL is no less expressive than the older version, while retaining the same complexity of model checking.

Vorschau

Zitieren

Zitierform:

Jamroga, Wojciech / van der Hoek, Wiebe: Strategic ability under uncertainty. 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