Agent系统的一种面向角色的一阶分支时态逻辑

介绍了多Agent系统的ORGSTRUC模型,定义了角色模型、角色提供的服务以及角色间通信概念并对其形式化.首先对组织结构作出形式定义,该定义建立在角色和角色间关系的基础之上,比从Agent层次建模具有更高的抽象度,因此更适合于系统早期的分析和设计工作.在此理论基础上,提出了RASBTL逻辑来描述MAS在角色层面上的运行特性,考虑到组织结构在系统分析和设计时的重要的指导和规范作用,整个形式语言有助于对多agent系统的分析和设计.