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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Garbacz, P., Kulicki, P., Lechniak, M., & Trypuz, R. (2009). Beyond public announcement logic: An alternative approach to some AI puzzles. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5803 LNAI, pp. 379–386). https://doi.org/10.1007/978-3-642-04617-9_48
Mendeley helps you to discover research relevant for your work.