Reasoning about Mutual-belief among Multiple Cooperative Agents


Believing mutually is an important premise to ensure that cooperation among multiple agents goes smoothly. However, mutual belief among agents is always considered for granted. In this paper, we adapt a method based on the position-exchange principle to reason about mutual belief among agents. To reason about mutual belief formally, we first use a process algebra approach, the pi-calculus, to formalize cooperation plans and agents, and then bind the position-exchange principle into the inference rules. By reasoning about mutual belief among agents, we can judge whether cooperation among agents can go on rationally or not.

1 Figure or Table

Cite this paper

@inproceedings{Jiao2003ReasoningAM, title={Reasoning about Mutual-belief among Multiple Cooperative Agents}, author={Wenpin Jiao}, year={2003} }