Agent规划的形式化描述

Agent的规划描述为动作树的抽象结构 ,刻画了Agent对其行为的选择、组合能力 .将Agent的动作划分为实现型动作和维护型动作两种类型 ,以描述处于一定社会环境之中的Agent ,一方面要实现某个目标或意图 ,另一方面要遵循社会规范的约束 .采用扩充了模态算子和动作算子的一阶分枝时序逻辑 。