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

李曙光; 张延西; 闫琪

首页> 中文期刊> 《计算机应用》 >Agent系统的一种面向角色的一阶分支时态逻辑

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机应用》 |2004年第z2期|183-185|共3页
作者
李曙光; 张延西; 闫琪;
展开▼
作者单位

总政办公厅;

中国人民解放军国防科技大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Agent; 多Agent系统; 组织结构; 角色; 时态逻辑;

相似文献

中文文献
外文文献
专利

1. Agent系统的一种面向角色的一阶分支时态逻辑 [J] . 李曙光 ,张延西 ,闫琪 . 计算机应用 . 2004,第B12期
2. 一种基于时态逻辑的有限状态系统验证方法 [J] . 杜慧敏 ,杨红丽 ,高德远 . 西北工业大学学报 . 2000,第001期
3. 面向移动agent的逻辑分布网络管理与控制系统 [J] . 张丽翠 ,范亚芹 ,金成植 . 吉林大学学报（信息科学版） . 2004,第006期
4. 面向检测监控系统的一种多Agent系统研究 [J] . 张军 ,孙宇 ,范亚新 . 南京理工大学学报（自然科学版） . 1999,第005期
5. 一种面向海事分支机构的船舶安全管理信息系统的设计 [J] . 翁跃宗 . 中国航海 . 2004,第004期
6. 一种基于时态描述逻辑的工资智能决策支持系统的实现 [C] . 吴凌坤 ,汤庸 ,汤娜 . 第二十三届中国数据库学术会议（NDBC2006） . 2006
7. 面向实时系统的实时区域时态逻辑：RRTL [A] . 董护斌 . 2002

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

摘要

著录项

相似文献

相关主题

期刊订阅