Beyond public announcement logic: an alternative approach to some AI puzzles

Authors:
Paweł Garbacz;Piotr Kulicki;Marek Lechniak;Robert Trypuz
Affiliations:
John Paul II Catholic University of Lublin, Lublin, Poland;John Paul II Catholic University of Lublin, Lublin, Poland;John Paul II Catholic University of Lublin, Lublin, Poland;John Paul II Catholic University of Lublin, Lublin, Poland
Venue:
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Year:
2009

Citing 5
Cited 2

Logic and representation

Logic and representation
Reasoning about Information Change

Journal of Logic, Language and Information
Ontological Engineering

Ontological Engineering
Dynamic Epistemic Logic

Dynamic Epistemic Logic
New Challenges in Computational Collective Intelligence

New Challenges in Computational Collective Intelligence

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
Using the perseus system for modelling epistemic interactions

Transactions on computational collective intelligence V

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using that logic. The model, using notions of situation and epistemic state as foundations, generalizes structures usually used as a semantics for epistemic logics in static and dynamic aspects. A computer program automatically solving the considered puzzle, implementing the model, is built.