Using 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 proceedingConference contribution

    1 Citation (Scopus)

    Abstract

    The aim of the paper is to apply the software tool Perseus to modelling of epistemic interactions. We focus on the issue of agents' knowledge acquisition, using a logical puzzle in which agents increase their knowledge about hats they wear. In the paper, first we present a model of epistemic interactions, which allows 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 resolved and analysed in a detailed way with the use of a parametric verification method executed by the tool Perseus. © 2010 Springer-Verlag.
    Original languageEnglish
    Title of host publicationAgent and Multi-Agent Systems: Technologies and Applications
    Subtitle of host publication4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings
    EditorsPiotr Jedrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain
    Place of PublicationBerlin
    PublisherSpringer
    Pages315-324
    Number of pages10
    Volume1
    ISBN (Electronic)9783642134807
    ISBN (Print)9783642134791
    DOIs
    Publication statusPublished - 2010
    Event4th International KES Symposium on Agents and Multi-agent Systems – Technologies and Applications - Gdynia Maritime University , Gdynia, Poland
    Duration: 23 Jun 201025 Jun 2010
    http://amsta-10.kesinternational.org/

    Publication series

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

    Conference

    Conference4th International KES Symposium on Agents and Multi-agent Systems – Technologies and Applications
    Abbreviated titleKES-AMSTA-2010
    CountryPoland
    CityGdynia
    Period23/06/1025/06/10
    Internet address

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

  • Cite this

    Kacprzak, M., Kulicki, P., Trypuz, R., Budzynska, K., Garbacz, P., Lechniak, M., & Rembelski, P. (2010). Using Perseus system for modelling epistemic interactions. In P. Jedrzejowicz, N. T. Nguyen, R. J. Howlett, & L. C. Jain (Eds.), Agent and Multi-Agent Systems: Technologies and Applications: 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings (Vol. 1, pp. 315-324). (Lecture notes in computer science; Vol. 6070). Springer . https://doi.org/10.1007/978-3-642-13480-7_33