|
|||||
|
|
| Agent系统的一种面向角色的一阶分支时态逻辑 | |
| 引用本文： | 李曙光,张延西,闫琪.Agent系统的一种面向角色的一阶分支时态逻辑[J].计算机应用,2004,24(Z2):183-185. |
| 作者姓名： | 李曙光 张延西 闫琪 |
| 作者单位： | 1. 总政办公厅,自动化工作站,北京,100342 2. 国防科技大学,计算机学院,湖南,长沙,410073 |
| 摘 要： | 介绍了多Agent系统的ORGSTRUC模型,定义了角色模型、角色提供的服务以及角色间通信概念并对其形式化.首先对组织结构作出形式定义,该定义建立在角色和角色间关系的基础之上,比从Agent层次建模具有更高的抽象度,因此更适合于系统早期的分析和设计工作.在此理论基础上,提出了RASBTL逻辑来描述MAS在角色层面上的运行特性,考虑到组织结构在系统分析和设计时的重要的指导和规范作用,整个形式语言有助于对多agent系统的分析和设计. |
| 关 键 词： | Agent 多Agent系统 组织结构 角色 时态逻辑 |
| 文章编号： | 1001-9081(2004)12Z-0183-03 |
| 修稿时间： | 2004年2月15日 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |