Belief Revision

Part of the Studies In Epistemology, Logic, Methodology, And Philosophy Of Science book series (SYLI, volume 337)

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.)).


Object Language Belief Revision Belief Change Propositional Formula Information Change 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2008

Personalised recommendations