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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Gerbrandy, J.D., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6, 147–169 (1997)
Gomez-Perez, A., Corcho, O., Fernandez-Lopez, M.: Ontological Engineering. Springer, London (2001)
Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of The Two Notions. Cornell University Press, Ithaca (1962)
Hintikka, J.: On the Logic of Perception. In: Models for Modalities. Reidel Publ. Comp., Dordrecht (1969)
McCarthy, J.: Modality, Si! Modal Logic, No! Studia Logica 59, 29–32 (1997)
Moore, R.C.: Logic and Representation. In: CSLI Lecture NotesNo 39. CSLI Publications, Center for the Study of Language and Information, Standford (1995)
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)
Russell, B.: On Denoting. Mind 14, 479–493 (1905)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer, Heidelberg (2007)
von Wright, G.H.: An Essay in Modal Logic. North Holland, Amsterdam (1951)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-642-04617-9_48
Download citation
DOI: https://doi.org/10.1007/978-3-642-04617-9_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04616-2
Online ISBN: 978-3-642-04617-9
eBook Packages: Computer ScienceComputer Science (R0)