使用交替时间时序逻辑（ATL）为信念-欲望-意图（BDI）智能体生成计划

信念-欲望-意图（BDI）是一种基于智能体信念、欲望和意图来建模智能体的框架。计划是BDI智能体的核心组成部分，定义了智能体为实现某一目标必须采取的行动序列。现有计划生成方法通常需要大量人工努力，且主要聚焦于单智能体系统。因此，在这项工作中，我们开发了一个使用交替时间时序逻辑（ATL）自动生成BDI计划的工具。通过使用ATL，生成的计划能够适应系统中智能体之间可能的竞争或合作。我们通过为一个需要智能体协作以实现共享目标的说明性游戏生成计划来证明该工具的有效性。我们表明生成的计划使智能体能够成功达成该目标。