Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
This work addresses the need for automated plan generation in multi-agent BDI systems, offering a tool that reduces manual effort, though it appears incremental as it extends existing logic-based methods to a new context.
The paper tackled the problem of manually generating plans for Belief-Desire-Intention (BDI) agents, which was previously focused on single-agent systems, by developing a tool that automatically generates BDI plans using Alternating-Time Temporal Logic (ATL) to accommodate competition or cooperation between agents, and demonstrated its effectiveness by generating plans for an illustrative game where agents successfully achieved a shared goal.
Belief-Desire-Intention (BDI) is a framework for modelling agents based on their beliefs, desires, and intentions. Plans are a central component of BDI agents, and define sequences of actions that an agent must undertake to achieve a certain goal. Existing approaches to plan generation often require significant manual effort, and are mainly focused on single-agent systems. As a result, in this work, we have developed a tool that automatically generates BDI plans using Alternating-Time Temporal Logic (ATL). By using ATL, the plans generated accommodate for possible competition or cooperation between the agents in the system. We demonstrate the effectiveness of the tool by generating plans for an illustrative game that requires agent collaboration to achieve a shared goal. We show that the generated plans allow the agents to successfully attain this goal.