用ATL逻辑自动生成可协作或竞争的智能体计划
Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
- 基于交替时间时态逻辑ATL自动生成智能体计划
- 在需协作达成目标的博弈场景中成功实现目标
- 适合研究多智能体系统与自主决策的读者
信念-欲望-意图（BDI）框架通过信念、欲望和意图建模智能体。计划是BDI智能体的核心，定义为达成目标所需的一系列行动序列。现有计划生成方法通常依赖大量人工干预，且主要针对单智能体系统。为此，本文提出一种基于交替时间时态逻辑（ATL）的自动化工具，可生成考虑智能体间可能合作或竞争的计划。通过一个需协作达成共享目标的示例游戏验证该工具有效性，结果表明生成计划能使智能体成功实现目标。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。