REASONING ABOUT MUTUAL-BELIEF AMONG MULTIPLE COOPERATIVE AGENTS

WENPIN JIAO
2001 Intelligent Agent Technology  
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
more » ... rules. By reasoning about mutual belief among agents, we can judge whether cooperation among agents can go on rationally or not.
doi:10.1142/9789812811042_0015 fatcat:gh4pzw3df5cebddpmrwnvmr334