Using Perseus system for modelling epistemic interactions

M. Kacprzak, P. Kulicki, R. Trypuz, K. Budzynska, P. Garbacz, M. Lechniak, P. Rembelski: Using Perseus system for modelling epistemic interactions. In: P. Jedrzejowicz N. T. Nhuyen, Howlett; Jain, (Ed.): Agent and Multi-Agent Systems: Technologies and Applications, 4th International Symposium, KES-AMSTA 2010, Part I, pp. 205–216, Springer, 2010, ISBN: 978-3-642-13479-1.

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.

BibTeX (Download)

@inproceedings{amsta2010,
title = {Using Perseus system for modelling epistemic interactions},
author = {M. Kacprzak and P. Kulicki and R. Trypuz and K. Budzynska and P. Garbacz and M. Lechniak and P. Rembelski},
editor = {P. Jedrzejowicz, N. T. Nhuyen, R. J. Howlett and L. C. Jain},
url = {http://link.springer.com/chapter/10.1007%2F978-3-642-13480-7_33},
isbn = {978-3-642-13479-1},
year  = {2010},
date = {2010-01-01},
booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, 4th International Symposium, KES-AMSTA 2010, Part I},
volume = {6070},
pages = {205--216},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
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.},
keywords = {abilities, epistemic interactions, multi agent systems},
pubstate = {published},
tppubtype = {inproceedings}
}