Dynamic Logic for Multi-agent (Mis) Communication

This paper proposes a logical formalization of agents´ beliefs which admits an agent´s misinterpretation of the other agents´ actions to her. Most of the previous logical studies on dynamic changes of knowledge and belief often assume that agents are idealistic or logical omniscient in the sense that they will not make a mistake in reasoning and in reacting to the other agent´s action. However, our human agents are often lazy and also sometimes make a mistake in these aspects. Our logical framework for agents´ beliefs focuses on two actions of command and permission, but allows agents to make a mistake in interpreting an action from one of the other agents. Moreover, we also propose two dynamic operators capturing the process of changing an agent´s interpretation of the other agents´ command and permission. Finally, we applied our formal tool to describe types of agent in virtual football game. Technical contributions of this paper are to provide sound and complete axiomatizations of all of three logics of belief with agent communication allowing misinterpretations.