Agent规划的形式化描述

• 作者: 曾伟 费奇
• 来源期刊: 华中科技大学学报(自然科学版)
• 学科: 地球科学
• 关键词: Agent 多Agent系统 规划 形式化方法
• 年，卷（期）: 2001,（8）
• 页码范围: 44-46
• 页数: 3页
• 分类号: N94
• 字数: 2793字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2001.08.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	费奇	华中科技大学系统工程研究所	92	1413	20.0	34.0
2	曾伟	华中科技大学系统工程研究所	42	348	9.0	17.0