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

来源 :计算机应用 | 被引量 : 2次 | 上传用户:bushishuai
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了多Agent系统的ORGSTRUC模型,定义了角色模型、角色提供的服务以及角色间 通信概念并对其形式化。首先对组织结构作出形式定义,该定义建立在角色和角色间关系的基础之 上,比从Agent层次建模具有更高的抽象度,因此更适合于系统早期的分析和设计工作。在此理论基 础上,提出了RASBTL逻辑来描述MAS在角色层面上的运行特性,考虑到组织结构在系统分析和设 计时的重要的指导和规范作用,整个形式语言有助于对多agent系统的分析和设计。
其他文献
监控系统的出现与兴旺发展,使得特定领域的IT设备/系统的运维已由传统的“被动发现问题”模式转变为“主动发现问题”模式,使得整个系统易于安装、维护,方便了C/S的二次开发。针对遥感数据综合业务平台提出一种分布式的监控系统框架,然后对该系统的设计和实现进行了探讨并得出结论。
教学的艺术不仅仅在于传授本领,还在于唤醒、鼓舞和激励。众所周知,能够促使学生学习最好的老师就是兴趣。要提高学生的学习兴趣并非一蹴而就的,需要教师和学生相互配合,共同做出
基于角色的访问控制模型RBAC(Role -BasedAccessControl)是近年来研究最多、思想最成熟的一种权限管理机制 ,而且正逐渐取代传统的访问控制模式。在分析RBAC局限性的基础上 ,提出了一种全新的基于操作的多级授权访问控制模型OBAC(Operation -BasedAccessControl) ,对它的基本原理、特点和规划步骤进行了介绍 ,并用一个开发实例说明了实现的可行性
作者旨在研究中药复方制剂中的白藜芦醇苷和大黄素在鸡体内的药代动力学。采用ZORBAX SB-C18分析柱(4.6mm×150mm,5μm),以1~20min 10:90~90:10甲醇:水为流动相,紫外检测波长为290&#
禽流感是由正粘病毒科流感病毒属A型流感病毒引起的禽类烈性传染病。世界动物卫生组织(OIE)将其列为A类动物疫病,我国将其列为一类动物疫病。近年来,我国及周边许多国家和地区暴
文中首先介绍了J2EE体系结构下EJB容器的特点和提供的服务,针对EJB的通信。利用RMI—ⅡOP协议,实现了不同容器间EJB的通信。
随着教育体制的不断改革和社会的不断进步,高中物理教学的教学质量受到越来越多人的关注,高中物理知识较为抽象,知识点相比而言较为复杂,学生对于高中物理知识的理解并不十分的充
作为一名教师,应当承担起培养创新人才的重任。每门学科都应在教学实践中努力培养学生的创新能力,思想品德学科当然也不例外。本文就在思想品德教学中学生创新能力的培养,谈几点
工作流管理系统提供了对商业过程自动化技术的支持。本文介绍了工作流管理系统产生的背景 ,探讨了工作流参考模型及其五个接口组成部分 :过程定义、工作流的客户功能、触发应
小学英语早读现状不容乐观,从老师到学校的重视程度不够,造成了目前早读低效或无效的现象。作者通过亲身实践,总结出一套行之有效的改善措施,虽不敢说能从根本上解决问题,但起码在