On Obligations and Abilities

Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    10 Citations (Scopus)


    In this paper, we combine deontic logic with Alternating-time Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilities of agents. The way both frameworks are combined is technically straightforward: we add deontic accessibility relations to ATL models (concurrent game structures), and deontic operators to the language of ATL (an additional operator $\mathcal{UP}$ is proposed for ldquounconditionally permittedrdquo properties, similar to the ldquoall I knowrdquo operator from epistemic logic). Our presentation is rather informal: we focus on examples of how obligations (interpreted as requirements) can be confronted with ways of satisfying them by actors of the game. Though some formal results are presented, the paper should not be regarded as a definite statement on how logics of obligation and strategic ability must be combined; instead, it is intended for stimulating discussion about such kinds of reasoning, and the models that can underpin it. Keywords: deontic logic, alternating-time logic, multi-agent systems.
    Original languageEnglish
    Title of host publicationDeontic Logic in Computer Science
    Subtitle of host publication7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
    EditorsAlessio Lomuscio, Donald Nute
    Place of PublicationBerlin
    Number of pages17
    ISBN (Electronic)978-3-540-25927-5
    ISBN (Print)978-3-540-22111-1
    Publication statusPublished - 2004
    Event7th International Workshop on Deontic Logic in Computer Science, DEON 2004 - Madeira, Portugal
    Duration: 26 May 200428 May 2004
    Conference number: 7

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference7th International Workshop on Deontic Logic in Computer Science, DEON 2004
    Abbreviated titleDEON


    • HMI-IA: Intelligent Agents

    Cite this