Abstract
Three key ways of updating one’s knowledge are (i) perception of states of affairs, e.g., seeing with one’s own eyes that something is the case, (ii) reception of messages, e.g., being told that something is the case, and (iii) drawing new conclusions from known facts. If one represents knowledge by means of Kripke models, the implicit assumption is that drawing conclusions is immediate. This assumption of logical omniscience is a useful abstraction. It leaves the distinction between (i) and (ii) to be accounted for. In current versions of Update Logic (Dynamic Epistemic Logic, Logic of Communication and Change) perception and message reception are not distinguished. This chapter proposes an extension of Update Logic that makes this distinction explicit. The logic deals with three kinds of updates: announcements, changes of the world, and observations about the world in the presence of witnesses. The resulting logic is shown to be complete by means of a reduction to epistemic propositional dynamic logic by a well-known method.
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
Austin, J.: Sense and Sensibilia. Oxford University Press (1962)
Balbiani, P., Gasquet, O., Schwarzentruber, F.: Knowledge Reasoning in Lineland (2010)
Baltag, A., Moss, L., and Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. Tech. Rep. SEN-R9922, CWI, Amsterdam (1999), with many updates
Bell, J.: Continuity and the logic of perception. Transcendent Philosophy 1(2), 1–7 (2000)
van Benthem, J.: Open problems in logic and games. Tech. Rep. PP-2005-06, ILLC, Amsterdam (2005)
van Benthem, J., Gerbrandy, J., Kooi, B.: Dynamic update with probabilities. Studia Logica 93, 67–96 (2009)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
Bonnay, D., Egré, P.: Inexact knowledge with introspection. Journal of Philosophical Logic 38(2), 179–228 (2009)
Clark, H., Marshall, C.: Reference diaries. Tech. rep., Stanford University (1978)
Clark, H., Marshall, C.: Definite reference and mutual knowledge. In: Joshi, A., Webber, B., Sag, I. (eds.) Elements of Discourse Understanding, pp. 10–63. Cambridge University Press (1981)
Davidson, D.: Mental events. In: Essays on Actions and Events. Oxford University Press (1982)
del Val, A., Maynard-Reid II, P., Shoham, Y.: Qualitative reasoning about perception and belief. In: IJCAI, vol. (1), pp. 508–513 (1997)
Dretske, F.: Seeing and Knowing. University of Chicago Press, Chicago (1969)
Dretske, F.: Knowledge and The Flow of Information. Bradford/MIT Press, Cambridge (1981)
Dunin-K\k{e}plicz, B., Szałas, A.: Agents in Approximate Environments. In: Eijck, J.V., Verbrugge, R. (eds.) Games, Actions, and Social Software 2011. LNCS (LNAI), vol. 7010, pp. 141–163. Springer, Heidelberg (2012)
van Eijck, J.: Guarded actions. Tech. Rep. SEN-E0425, CWI, Amsterdam (December 2004), http://repository.cwi.nl/
van Eijck, J.: DEMO — a demo of epistemic modelling. In: van Benthem, J., Gabbay, D., Löwe, B. (eds.) Interactive Logic — Proceedings of the 7th Augustus de Morgan Workshop. Texts in Logic and Games, vol. (1), pp. 305–363. Amsterdam University Press (2007)
Friedell, M.: On the structure of shared awareness. Behavioral Science 14(1), 28–39 (1969)
Gettier, E.: Is justified true belief knowledge? Analysis 23, 121–123 (1963)
Halpern, J., Moses, Y.: Knowledge and common knowledge in a distributed environment. In: Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing (PODS), pp. 50–61 (1984); A newer version appeared in the Journal of the ACM 37(3), 549–587 (1990)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. Foundations of Computing. MIT Press, Cambridge (2000)
Hoare, C.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 567–580, 583 (1969)
Kooi, B.: Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics 16(2) (2007)
Lewis, D.: Convention: A Philosophical Study. Harvard University Press (1969)
McCarthy, J.: Formalization of two puzzles involving knowledge. In: Lifschitz, V. (ed.) Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, Norwood (1990); Original manuscript dated 1978-1981
Pacuit, E., Parikh, R.: Reasoning about communication graphs. In: van Benthem, J., Gabbay, D., Löwe, B. (eds.) Interactive Logic — Proceedings of the 7th Augustus de Morgan Workshop. Texts in Logic and Games, vol. (1), pp. 135–157. Amsterdam University Press, Amsterdam (2007)
Parikh, R., Moss, L., Steinsvold, C.: Topology and epistemic logic. In: Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.) Handbook of Spatial Logics, ch. 6. Springer, Heidelberg (2007)
Plaza, J.A.: Logics 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)
Rock, I.: The Logic of Perception. MIT Press, Cambridge (1985)
Schiffer, S.: Meaning. Oxford University Press, Oxford (1972)
Shoham, Y., del Val, A.: A logic for perception and belief. Tech. Rep. CS-TR-91-1391, Stanford University (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
van Eijck, J. (2012). Perception and Change in Update Logic. In: van Eijck, J., Verbrugge, R. (eds) Games, Actions and Social Software. Lecture Notes in Computer Science, vol 7010. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29326-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-29326-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29325-2
Online ISBN: 978-3-642-29326-9
eBook Packages: Computer ScienceComputer Science (R0)