Perception in Update Logic
Jan van Eijck · 2006
Three key ways of updating one’s knowledge are (i) perception of states of affairs, (ii) reception of messages, (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. We will look at what is needed to distinguish them. ‘I see nobody on the road, ’ said Alice. ‘I only wish I had such eyes, ’ the King remarked in a fretful tone. ‘To be able to see Nobody! And at that distance too!’