Now that we have presented a theory of multi-agent knowledge in Chapter 2, a natural next step is to study how an agent’s epistemic attitude can change over time. We have in fact already seen that such changes are important: for instance in the Consecutive Numbers puzzle (Example 2.4), the information state of each agent changes as a result of an announcement by any of the agents (note that even the first announcement of a (“I don’t know the numbers” = ϕ) changes his information state: after uttering ϕ, we have that a knows that b knows that ϕ (KaKbϕ: in fact we even have KaKbKaKbϕ, etc.)).
KeywordsObject Language Belief Revision Belief Change Propositional Formula Information Change
Unable to display preview. Download preview PDF.