Journal of Logic, Language and Information 15 (4) (2006)
|Abstract||A semantics is presented for belief revision in the face of common announcements to a group of agents that have beliefs about each other’s beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal-structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no effect on any other aspect of the world. This allows us to employ an AGM-style selection function to represent revision. The semantics is given a complete axiomatisation (identical to the axiomatisation found by Gerbrandy and Groeneveld for a semantics based on non-wellfounded set theory) for the special case of expansion.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Eleonora Cresto (2008). A Model for Structural Changes of Belief. Studia Logica 88 (3):431 - 451.
Mark Jago (2006). Resource-Bounded Belief Revision and Contraction. In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer.
Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229 - 275.
Renata Wassermann (1999). Resource Bounded Belief Revision. Erkenntnis 50 (2-3):429-446.
Giacomo Bonanno (2008). Belief Revision in a Temporal Framework. In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Greg Restall (1997). Ways Things Can't Be. Notre Dame Journal of Formal Logic 38 (4):583-596.
Hans Van Ditmarsch & Willem Labuschagne (2007). My Beliefs About Your Beliefs: A Case Study in Theory of Mind and Epistemic Logic. Synthese 155 (2):191 - 209.
Hans van Ditmarsch & Willem Labuschagne (2007). My Beliefs About Your Beliefs: A Case Study in Theory of Mind and Epistemic Logic. Synthese 155 (2).
John Cantwell (2005). A Formal Model of Multi-Agent Belief-Interaction. Journal of Logic, Language and Information 14 (4).
Added to index2009-01-28
Total downloads2 ( #232,501 of 549,078 )
Recent downloads (6 months)1 ( #63,317 of 549,078 )
How can I increase my downloads?