Using Perseus system for modelling epistemic interactions

M. Kacprzak, P. Kulicki, P. Garbacz, R. Trypuz, K. Budzynska, M. Lechniak, P. Rembelski (2011): Using Perseus system for modelling epistemic interactions. In: Transactions on Computational Collective Intelligence LNCS, 5 , pp. 106–123, 2011, ISBN: 978-3-642-24015-7.

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.

BibTeX (Download)

@article{tcci2011,
title = {Using Perseus system for modelling epistemic interactions},
author = {M. Kacprzak and P. Kulicki and P. Garbacz and R. Trypuz and K. Budzynska and M. Lechniak and P. Rembelski},
editor = {Ngoc Thanh Nguyen},
url = {http://link.springer.com/chapter/10.1007%2F978-3-642-24016-4_6},
isbn = {978-3-642-24015-7},
year  = {2011},
date = {2011-01-01},
journal = {Transactions on Computational Collective Intelligence LNCS},
volume = {5},
pages = {106--123},
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 = {dynamic epistemic logic, knowledge representation, multi agent systems},
pubstate = {published},
tppubtype = {article}
}