Using perseus system for modelling epistemic interactions

Authors:
Magdalena Kacprzak;Piotr Kulicki;Robert Trypuz;Katarzyna Budzynska;Pawel Garbacz;Marek Lechniak;Pawel Rembelski
Affiliations:
Polish-Japanese Institute of Information Technology, Warsaw, Poland;John Paul II Catholic University of Lublin, Poland;John Paul II Catholic University of Lublin, Poland;Cardinal Stefan Wyszynski University in Warsaw, Poland;John Paul II Catholic University of Lublin, Poland;John Paul II Catholic University of Lublin, Poland;Polish-Japanese Institute of Information Technology, Warsaw, Poland
Venue:
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Year:
2010

Citing 6
Cited 1

Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
Reasoning About Knowledge

Reasoning About Knowledge
A Logic for Reasoning about Persuasion

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Dynamic Epistemic Logic

Dynamic Epistemic Logic
Perseus. Software for Analyzing Persuasion Process

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Beyond public announcement logic: an alternative approach to some AI puzzles

KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence

Using the perseus system for modelling epistemic interactions

Transactions on computational collective intelligence V

Quantified Score

Hi-index	0.01

Visualization

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.