Where Common Knowledge Cannot Be Formed, Common Belief Can -- Planning with Multi-Agent Belief Using Group Justified Perspectives

Guang Hu,Tim Miller,Nir Lipovetzky
2024-12-11
Abstract:Epistemic planning is the sub-field of AI planning that focuses on changing knowledge and belief. It is important in both multi-agent domains where agents need to have knowledge/belief regarding the environment, but also the beliefs of other agents, including nested beliefs. When modeling knowledge in multi-agent settings, many models face an exponential growth challenge in terms of nested depth. A contemporary method, known as Planning with Perspectives (PWP), addresses these challenges through the use of perspectives and set operations for knowledge. The JP model defines that an agent's belief is justified if and only if the agent has seen evidence that this belief was true in the past and has not seen evidence to suggest that this has changed. The current paper extends the JP model to handle \emph{group belief}, including distributed belief and common belief. We call this the Group Justified Perspective (GJP) model. Using experimental problems crafted by adapting well-known benchmarks to a group setting, we show the efficiency and expressiveness of our GJP model at handling planning problems that cannot be handled by other epistemic planning tools.
Artificial Intelligence
What problem does this paper attempt to address?
This paper attempts to address the challenges of modeling common belief in multi - agent systems, especially how to effectively handle distributed belief and common belief in multi - agent environments. Traditional methods face the problem of exponential growth when dealing with nested beliefs, which makes the calculation very complex and difficult to implement. This paper extends the previous single - agent belief model by introducing the "Group Justified Perspective (GJP)" to deal with group belief problems. ### Main problems of the paper 1. **Exponential growth problem**: - In multi - agent environments, when it comes to nested beliefs, many existing models will encounter the problem that the state space increases exponentially with the increase of the nesting depth. This makes the computational complexity increase significantly, limiting the practical application of the models. 2. **Modeling of common belief and distributed belief**: - Common belief means that all agents not only believe in a certain proposition, but also believe that other agents believe in this proposition as well, and this belief can be nested infinitely. Distributed belief refers to combining the beliefs of all agents into a single overall belief. - Existing methods have limitations in dealing with these concepts and cannot efficiently handle complex multi - agent belief problems. ### Solutions - **Group Justified Perspective (GJP) model**: - This model defines uniform belief, distributed belief, and common belief by introducing a group - perspective function. Specifically: - **Uniform Belief**: All agents believe in a certain proposition. It is achieved by taking the union of the individual belief perspectives of all agents. - **Distributed Belief**: Combine the beliefs of all agents to form a consistent group belief. Ensure consistency by considering the most recent observations of each agent. - **Common Belief**: By calculating the fixed point of the group perspective, the problem of infinite nesting is avoided, thus achieving effective modeling of common belief. ### Example illustration The paper demonstrates the effectiveness of the GJP model through a specific example: - **Example problem**: There are two agents \( a \) and \( b \), and they need to generate a plan so that they form a common belief about \( n < 3 \). - **Solution**: Through a series of actions (such as `peek(a)`, `return(a)`, `subtract`, `peek(b)`), the two agents observe the value of \( n \) respectively and form a common belief based on their memories, even if they never observe \( n \) simultaneously. ### Conclusion By introducing the GJP model, the paper solves the difficult problems of modeling common belief and distributed belief in multi - agent environments, especially avoiding the exponential growth problem. The experimental results show that this model has high efficiency and expressiveness in dealing with complex multi - agent belief problems.