Chapter

Transactions on Computational Collective Intelligence V

Volume 6910 of the series Lecture Notes in Computer Science pp 106-123

Using the Perseus System for Modelling Epistemic Interactions

  • Magdalena KacprzakAffiliated withPolish-Japanese Institute of Information Technology
  • , Piotr KulickiAffiliated withJohn Paul II Catholic University of Lublin
  • , Robert TrypuzAffiliated withJohn Paul II Catholic University of Lublin
  • , Katarzyna BudzynskaAffiliated withCardinal Stefan Wyszynski University in Warsaw
  • , Paweł GarbaczAffiliated withJohn Paul II Catholic University of Lublin
  • , Marek LechniakAffiliated withJohn Paul II Catholic University of Lublin
  • , Paweł RembelskiAffiliated withPolish-Japanese Institute of Information Technology

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.

Keywords

knowledge representation dynamic epistemic logic multi agent systems