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

arXiv:2605.02249v1 Announce Type: new Abstract: 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 property. Based on the standard representation in epistemic planning...