Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles

  • Paweł Garbacz
  • Piotr Kulicki
  • Marek Lechniak
  • Robert Trypuz
Conference paper

DOI: 10.1007/978-3-642-04617-9_48

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5803)
Cite this paper as:
Garbacz P., Kulicki P., Lechniak M., Trypuz R. (2009) Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles. In: Mertsching B., Hund M., Aziz Z. (eds) KI 2009: Advances in Artificial Intelligence. KI 2009. Lecture Notes in Computer Science, vol 5803. Springer, Berlin, Heidelberg

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.

Keywords

knowledge representation dynamic epistemic logic multi-agent systems Prolog 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Paweł Garbacz
    • 1
  • Piotr Kulicki
    • 1
  • Marek Lechniak
    • 1
  • Robert Trypuz
    • 1
  1. 1.John Paul II Catholic University of LublinLublinPoland

Personalised recommendations