Using the perseus system for modelling epistemic interactions

Authors:
Magdalena Kacprzak;Piotr Kulicki;Robert Trypuz;Katarzyna Budzynska;Paweł Garbacz;Marek Lechniak;Paweł 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:
Transactions on computational collective intelligence V
Year:
2011

Citing 10
Cited 0

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)
Aximo: Automated Axiomatic Reasoning for Information Update

Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic Epistemic Logic

Dynamic Epistemic Logic
MCMAS: A Model Checker for the Verification of Multi-Agent Systems

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
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
Update of Probabilistic Beliefs: Implementation and Parametric Verification

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Using perseus system for modelling epistemic interactions

KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I

Quantified Score

Hi-index	0.00

Visualization

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.