Agents that Know How to Play

Wojciech Jamroga, Wiebe van der Hoek

    Research output: Contribution to journalArticleAcademicpeer-review

    185 Citations (Scopus)
    1 Downloads (Pure)


    We look at ways to enrich Alternating-time Temporal Logic (ATL) - a logic for specification and verification of multi-agent systems - with a notion of knowledge. Starting point of our study is a recent proposal for a system called Alternating-time Temporal Epistemic Logic (ATEL). We show that, assuming that agents act under uncertainty in some states of the system, the notion of allowable strategy should be defined with some caution. Moreover, we demonstrate a subtle difference between an agent knowing that he has a suitable strategy and knowing the strategy itself. We also point out that the agents should be assumed similar epistemic capabilities in the semantics of both strategic and epistemic operators. Trying to implement these ideas, we propose two different modifications of ATEL. The first one, dubbed Alternating-time Temporal Observational Logic (ATOL), is a logic for agents with bounded recall of the past. With the second, ATEL-R*, we present a framework to reason about both perfect and imperfect recall, in which we also incorporate operators for reasoning about the past. We identify some feasible subsystems of this expressive system.
    Original languageEnglish
    Pages (from-to)185-219
    Number of pages35
    JournalFundamenta informaticae
    Issue number2-3
    Publication statusPublished - 2004


    • HMI-IA: Intelligent Agents


    Dive into the research topics of 'Agents that Know How to Play'. Together they form a unique fingerprint.

    Cite this