Model checking of persuasion in multi-agent systems

Katarzyna Budzynska, Magdalena Kacprzak

    Research output: Contribution to journalArticle

    2 Citations (Scopus)

    Abstract

    The paper presents the method of model checking applied to verification of persuasive inter-agent communication. The model checker Perseus is designed on the basis of a logic of actions and graded beliefs AG n introduced by Budzynska and Kacprzak. The software tool makes it possible to semantically verify satisfaction of AG n formulas which describe different properties of a multi-agent system in a given model, and to perform parametric verification that enables searching for answers to questions about these properties.
    Original languageEnglish
    Pages (from-to)99-122
    Number of pages24
    JournalStudies in Logic, Grammar and Rhetoric
    Volume23
    Issue number36
    Publication statusPublished - 2011

    Fingerprint Dive into the research topics of 'Model checking of persuasion in multi-agent systems'. Together they form a unique fingerprint.

  • Cite this