Agent规划的形式化描述

Formalization Description of Agent Plans

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

Agent′s plans are described as trees of actions, which characterize agent′s capability of actions selection. In the social environment, agent has to comply with social rules while it wants to achieve its goals or intentions. So agent′s actions can be defferentiated: achievement and maintenance. This paper adopts the first order branching temporal logic system by using modal and action operators, and provides the formal definitions of agent′s achievement actions and maintenance actions based on plans. Based on plans hybrid actions which are from achievement actions and maintenance actions are also defined.