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

  • Paweł Garbacz
  • Piotr Kulicki
  • Marek Lechniak
  • Robert Trypuz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5803)

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.

References

  1. 1.
    Garbacz, P., Kulicki, P., Lechniak, M., Trypuz, R.: A formal model for epistemic interactions. In: Nguyen, N.T., Katarzyniak, R., Janiak, A. (eds.) Challenges in Computational Collective Intelligence. Studies in Computational Intelligence. Springer, Heidelberg (2009) (forthcoming)Google Scholar
  2. 2.
    Gerbrandy, J.D., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6, 147–169 (1997)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Gomez-Perez, A., Corcho, O., Fernandez-Lopez, M.: Ontological Engineering. Springer, London (2001)Google Scholar
  4. 4.
    Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of The Two Notions. Cornell University Press, Ithaca (1962)Google Scholar
  5. 5.
    Hintikka, J.: On the Logic of Perception. In: Models for Modalities. Reidel Publ. Comp., Dordrecht (1969)Google Scholar
  6. 6.
    McCarthy, J.: Modality, Si! Modal Logic, No! Studia Logica 59, 29–32 (1997)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Moore, R.C.: Logic and Representation. In: CSLI Lecture NotesNo 39. CSLI Publications, Center for the Study of Language and Information, Standford (1995)Google Scholar
  8. 8.
    Plaza, J.A.: Logic of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)Google Scholar
  9. 9.
    Russell, B.: On Denoting. Mind 14, 479–493 (1905)CrossRefGoogle Scholar
  10. 10.
    van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer, Heidelberg (2007)CrossRefMATHGoogle Scholar
  11. 11.
    von Wright, G.H.: An Essay in Modal Logic. North Holland, Amsterdam (1951)MATHGoogle Scholar

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