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 language | English |
|---|---|
| Title of host publication | Agent and Multi-Agent Systems: Technologies and Applications |
| Subtitle of host publication | 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings |
| Editors | Piotr Jedrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 315-324 |
| Number of pages | 10 |
| Volume | 1 |
| ISBN (Electronic) | 9783642134807 |
| ISBN (Print) | 9783642134791 |
| DOIs | |
| Publication status | Published - 2010 |
| Event | 4th International KES Symposium on Agents and Multi-agent Systems – Technologies and Applications - Gdynia Maritime University , Gdynia, Poland Duration: 23 Jun 2010 → 25 Jun 2010 http://amsta-10.kesinternational.org/ |
Publication series
| Name | Lecture notes in computer science |
|---|---|
| Publisher | Springer |
| Volume | 6070 |
| ISSN (Print) | 0302-9743 |
Conference
| Conference | 4th International KES Symposium on Agents and Multi-agent Systems – Technologies and Applications |
|---|---|
| Abbreviated title | KES-AMSTA-2010 |
| Country/Territory | Poland |
| City | Gdynia |
| Period | 23/06/10 → 25/06/10 |
| Internet address |