A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
REASONING ABOUT MUTUAL-BELIEF AMONG MULTIPLE COOPERATIVE AGENTS
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
doi:10.1142/9789812811042_0015
fatcat:gh4pzw3df5cebddpmrwnvmr334