Modal logics for communicating rule-based agents

Natasha Alechina, Mark Jago, Brian Logan

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

    14 Citations (Scopus)

    Abstract

    In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The formal models of multi-agent systems we study are transition systems where each transition corresponds to either a rule firing or an act of communication by an agent. We present a complete and sound modal logic which formalises how the beliefs of communicating rule-based agents change over time. Using a simple example, we show how this logic can be used to specify temporal properties of belief change in multi-agent systems in a precise and realistic way, and how existing modal logic techniques such as model-checking can be used to state and verify properties of agents.

    Original languageEnglish
    Title of host publicationECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy
    EditorsG. Brewka, S. Coradeschi, A. Perini, P. Traverso
    Pages322-326
    Number of pages5
    Volume141
    Publication statusPublished - 2006

    Publication series

    NameFrontiers in Artificial Intelligence and Applications
    Volume141
    ISSN (Print)09226389

    Fingerprint

    Dive into the research topics of 'Modal logics for communicating rule-based agents'. Together they form a unique fingerprint.

    Cite this