Agent规划的形式化描述

被引：6

作者：

曾伟

费奇

机构：

[1] 华中科技大学系统工程研究所

来源：

华中科技大学学报 | 2001年 / 08期

关键词：

Agent; 多Agent系统; 规划; 形式化方法;

D O I：

10.13245/j.hust.2001.08.016

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：44 / 46

页数：3