Using the Perseus system for modelling epistemic interactions

Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski

    Research output: Chapter in Book/Report/Conference proceedingChapter


    The aim of the paper is to apply the software tool Perseus to modelling epistemic interactions. We focus on the issue of agents' knowledge acquisition, using a logical puzzle in which agents increase their knowledge about the hats they wear. In the paper, first we present a model of epistemic interactions, which allows us to resolve the hats puzzle. Then, the model is used to build the problem's specification for the Perseus system. Finally, we show how the hats puzzle can be solved and analysed in a detailed way with the use of a parametric verification method executed by Perseus. © 2011 Springer-Verlag Berlin Heidelberg.
    Original languageEnglish
    Title of host publicationTransactions on Computational Collective Intelligence V
    EditorsNgoc Tranh Nguyen
    Place of PublicationBerlin
    Number of pages18
    ISBN (Electronic)9783642240164
    ISBN (Print)9783642240157
    Publication statusPublished - 2011

    Publication series

    NameLecture notes in computer science
    ISSN (Print)0302-9743


    Dive into the research topics of 'Using the Perseus system for modelling epistemic interactions'. Together they form a unique fingerprint.

    Cite this