×

Alternating-time logic with imperfect recall. (English) Zbl 1270.68287

van der Hoek, Wiebe (ed.) et al., LCMAS 2003. Proceedings of the first workshop on logic and communication in multi-agent systems, Eindhoven, The Netherlands, June 29, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 85, No. 2, 82-93 (2004).
Summary: We study here a variant of the alternating-time temporal logic (ATL) where each agent has a given memory. We show that it is an interesting compromise, rather realistic but with a reasonable complexity. In contrast, most models with perfect recall and imperfect information have an undecidable model-checking problem.
For the entire collection see [Zbl 1271.68064].

MSC:

68T27 Logic in artificial intelligence
03B44 Temporal logic
68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
68Q60 Specification and verification (program logics, model checking, etc.)
68T42 Agent technology and artificial intelligence
PDFBibTeX XMLCite
Full Text: Link