摘要
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.
出处
《华中科技大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2001年第8期44-46,共3页
Journal of Huazhong University of Science and Technology(Natural Science Edition)
基金
教育部高等学校优秀青年教师教学和科研奖励基金资助项目