【摘 要】
：
随着智能Agent和多Agent 系统向前迅猛的发展,为建立现有系统和提供一个并驾齐驱的最新发展的基础,维持的一个一致的世界视点是越来越重要了.使用形式化概念可以对给定的复杂
论文部分内容阅读
随着智能Agent和多Agent 系统向前迅猛的发展,为建立现有系统和提供一个并驾齐驱的最新发展的基础,维持的一个一致的世界视点是越来越重要了.使用形式化概念可以对给定的复杂系统和术语进行直接和无二义性的描述,因此基于系统的Agent的形式化规约已经成为了设计软件Agent的一种方法.遵循这种趋势,该文中首先给出思考型Agent的抽象模型,然后根据思考型Agent的典型代表BDI Agent的抽象模型提出一种形式化框架来建立软件Agents.框架不仅提供了一个清晰的概念基础,而且允许在我们对特定系统和理论的描述进行求精.描述Agent软件成分和描述Agent行为的内部处理形式上则使用B规约语言说明,它是一种具有很强的数学基础的软件工程工具.它既方便描述抽象的,公理风格的,又方便描述具体的,操作风格的软件系统.就我们的看来,它是很适合用来提供一个概念的形式化模型,并且能顺利实现从需求说明到编写程序的转换.
其他文献
该文就网络的瓶颈问题分别从SSP和邻接局(包括SCP和与E-Cube相连的端局)发生过负荷时,E-Cube程控交换机在版本FSR216.3中对大话务量的控制方法及改进.智能网技术是改变传统的
兵器光电仿真系统由红外目标／场景产生子系统，探测／跟踪模拟子系统，运动模拟平台，仿真分析／评估子系统，仿真控制与形象化显示子系统构成。这些子系统通过计算机网络连接起来，运行时需
机器人视觉伺服问题是国内外当前研究的热点问题之一。由于它涉及到机器人、计算机视觉、控制理论等多学科内容，目前无论是在理论上还是在应用方面仍然存在很多难题，如特征选择
该文分析了传统电子银行业务系统身份认证中存在的安全隐患和可能带来的重大安全问题.为了解决这一问题,该文提出了一个安全模型,根据安全模型我们设计出了一个基于令牌的安
本文在分析目前该领域研究状况的前提下，结合数据安全和密码学的相关技术，提出了一系列算法和策略，尤其是针对FGS可扩展压缩视频流的具体特点。设计的目标是满足目前的网络多媒
该文在国内外相关研究的基础上,重点探讨了多代理协同体系结构、协同控制策略、协同设计的方法,并基于AutoCAD实现了一个协同设计系统.该论文的主要研究工作有以下几个部分:
该论文首先分析了NO.7信令如何与IP网进行互通,其次对信令网关作了详细的论述.然后,论文对设计的信令网关仿真器作了详尽的分析与解释,包括SIGTRAN协议栈、硬件配置等.SCTP是
该文是基于应用在战役后勤指挥作业车组中的综合业务信息系统的具体要求未讨论的.系统要求满足训战一致,平战结合的要求,需要整合大量的数据,因此需要解决数据一体化的问题.
随着LOD等项目的发展、各大商业公司的推动,语义网上的RDF数据爆发式增长,人们迫切需要可以提供高效存储、查询RDF数据服务的SPARQL执行引擎。于此同时,传统关系数据库经过近
软件能力成熟度模型(CMM)是美国卡内基梅隆大学软件工程研究所开发的一种用于评价软件承包商能力并帮助其改善质量的方法,它提供了一个评估软件开发过程的管理以及工程能力的