Loading...
Please wait, while we are loading the content...
Similar Documents
Reasoning about Mutual-belief among Multiple Cooperative Agents
| Content Provider | Semantic Scholar |
|---|---|
| Author | Jiao, Wenpin |
| Copyright Year | 2001 |
| Abstract | 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. |
| File Format | PDF HTM / HTML |
| DOI | 10.1142/9789812811042_0015 |
| Alternate Webpage(s) | http://sei.pku.edu.cn/~jwp/publications/2001/iat114.pdf |
| Alternate Webpage(s) | https://doi.org/10.1142/9789812811042_0015 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
