A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)

Michael Thielscher, Tran Cao Son

We investigate the belief revision problem in epistemic planning, i.e., what will be the beliefs of all agents in a multi-agent system after an agent gains the belief in some state…