Reasoning with Doxastic Attitudes in Multi-Agent Domains

In recent years, we have witnessed a blossoming of research proposals addressing thechallenges in reasoning about action and change in domains that include an agent operatingin a multi-agent setting. In particular, the recent emphasis has been on dealing with domains that involve agents reasoning not only about the state of the world but also about the knowledge andbeliefs of other agents. An open challenge is the management of conflicting and incorrectbeliefs. This paper seeks to introduce a solution to this through the use of doxastic attitudes. Built on top of the action language mA+, we extend the transition functions of an agent to include this idea of attitudes and showcase how these work in two different examples.