Reasoning about knowledge
Reasoning about Information Change
Journal of Logic, Language and Information
On the modal logic of theory change
Proceedings of the Workshop on The Logic of Theory Change
The logic of public announcements, common knowledge, and private suspicions
The logic of public announcements, common knowledge, and private suspicions
On a linear framework for belief dynamics in multi-agent environments
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
On a linear framework for belief dynamics in multi-agent environments
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Agent Interaction via Message-Based Belief Communication
International Journal of Agent Technologies and Systems
| Hi-index | 0.00 |
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.