Tableau-based decision procedures for logics of strategic ability in multi-agent systems

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We develop an incremental tableau-based decision procedures for the Alternating-time temporal logic ATL and some of its variants. While running within the theoretically established complexity upper bound, we claim that our tableau is practically more efficient in the average case than other decision procedures for ATL known so far. Besides, the ease of its adaptation to variants of ATL demonstrates the flexibility of the proposed procedure.
To appear in ACM Transactions on Computational Logic. 48 pages

Keywords

Logic in Computer Science, Artificial Intelligence, Multiagent Systems, F.4.1; I.2.3; I.2.4; I.2.11

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/168547

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0803.2306
 http://arxiv.org/abs/0803.2306

Collections

arXiv