A probabilistic logic for resource-bounded multi-agent systems

    Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

    3 Citations (Scopus)

    Abstract

    Resource-bounded alternating-time temporal logic (RB-ATL), an extension of Coalition Logic (CL) and Alternating-time Temporal Logic (ATL), allows reasoning about resource requirements of coalitions in concurrent systems. However, many real-world systems are inherently probabilistic as well as resource-bounded, and there is no straightforward way of reasoning about their unpredictable behaviours. In this paper, we propose a logic for reasoning about coalitional power under resource constraints in the probabilistic setting. We extend RB-ATL with probabilistic reasoning and provide a standard algorithm for the model-checking problem of the resulting logic Probabilistic Resource-Bounded ATL (pRB-ATL).
    Original languageEnglish
    Title of host publicationProceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19)
    EditorsSarit Kraus
    PublisherAAAI Press / International Joint Conferences on Artificial Intelligence
    Pages521-527
    Number of pages7
    ISBN (Electronic)978-0-9992411-4-1
    Publication statusPublished - 5 Oct 2019
    Event28th International Joint Conference on Artificial Intelligence - Macao, China
    Duration: 10 Aug 201916 Aug 2019
    Conference number: 28th
    https://ijcai19.org/

    Conference

    Conference28th International Joint Conference on Artificial Intelligence
    Abbreviated titleIJCAI-19
    Country/TerritoryChina
    CityMacao
    Period10/08/1916/08/19
    Internet address

    Fingerprint

    Dive into the research topics of 'A probabilistic logic for resource-bounded multi-agent systems'. Together they form a unique fingerprint.

    Cite this