On Obligations and Abilities

W.J. Jamroga, W. van der Hoek, M. Wooldridge

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

    9 Citations (Scopus)

    Abstract

    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 (DEON'04)
    EditorsA. Lomuscio, D. Nute
    Place of PublicationBerlin
    PublisherSpringer
    Pages165-181
    Number of pages17
    ISBN (Print)3-540-22111-5
    DOIs
    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
    Number3065
    Volume3065
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference7th International Workshop on Deontic Logic in Computer Science, DEON 2004
    Abbreviated titleDEON
    CountryPortugal
    CityMadeira
    Period26/05/0428/05/04

    Keywords

    • EWI-6756
    • IR-63391
    • METIS-221207
    • HMI-IA: Intelligent Agents

    Fingerprint Dive into the research topics of 'On Obligations and Abilities'. Together they form a unique fingerprint.

    Cite this