人工智能agent讲述.ppt

* (2)环境演算(ambient calculus)：环境演算受π-演算和Telescript系统设计的启发，基本模型为：环境表示抽象有界的计算场所，如主页、虚拟地址空间、对象、笔记本电脑等。计算环境嵌套组织，每个环境包括数据、计算实体(Agent)、子环境。 环境受顶级Agent控制，可按活动方式移动。 环境演算通过环境、移动以及移动授权和认证等概念从最基础的层次上刻画移动Agent的本质。 环境演算抽象刻画了名字、位置、配置、交互、移动和安全等概念。 * (3)Seal演算(Seal calculus)：Seal演算是一种同步高阶分布进程演算，可以视为是具有层次性位置移动特征和资源访问控制的π-演算。 该演算的设计目的是表达与推理分布式系统的安全特性和移动特性。 Seal演算的移动模型包含消息传递、远程计算、进程迁移等方式，而且可以刻画应用程序和硬件的移动。 * 演算包含一个层次保护模型，每层通过仲裁(指在低层执行的可观察动作由高层作检查和控制)保证管理域的安全。 另外根据操作条件的变化，安全策略动态地嵌入演算，以适应环境的需求。 Seal演算抽象刻画了名字、位置、进程、交互、移动、安全等概念。 * (4)移动Unity(mobile unity)：移动Unity是时序逻辑的扩展。移动Unity是基于Unity的非确定、公平交替并发模型，通过引入新的程序抽象扩充Unity的表示注解，来刻画移动计算的本质特征。 针对新程序抽象扩展了Unity证明逻辑，用于推理移动Agent系统的特性。 它能够描述和推理松耦合且环境依赖的分布式系统，直接刻画系统重新配置与断连操作。 其最显著的特点是能进行移动Agent系统的规范说明、性质检验。 抽象刻画了位置、交互、移动、配置和共享等概念。 * (5)Actor模型(Actor model)：Actor模型是基于异步消息传递的分布式处理模型。其中Actor是独立的并发进程，通过异步消息传递同其他Actor交互。 一群并发的Actor组成Actor系统。Actor有邮件标识、独立执行线程和存储(收发)消息的邮件队列。 Actor基本原语有send(发送消息到其他Actor)，newactor(用来指定行为动态生成新的actor)，ready(捕捉局部状态变化，释放该Actor等待接收另外消息)。 * 扩充Actor模型还引入了一种特殊的资源模型——经济模型来刻画开放分布式系统的资源分配和使用。 经济模型中使用了通用货币的概念，资源的分配和使用以通用货币为单位来衡量。 该模型认为：Actor占用的处理器时间、内存、硬盘、通道和网络带宽等都是要付费的资源。 * 综合比较： 环境演算和Seal演算比较充分地体现了移动Agent特征的理论模型，但用它们推理Agent系统的复杂性质比较困难。 Actor模型是对象并发计算模型，因而能很好地体现Agent系统的封装性和自主性。 移动Unity，在对移动Agent进行描述和推理方面要比其他模型充分。 * 其他模型： Linda是用进程代数形式化了的Linda，有多个分布元组空间，每个元组空间有局部同步管理。 移动Petri Net通过允许场所名以标记(token)形式出现在场所中来扩充场所/转换网，支持表示进程间通信通道配置的改变。 Po1is是基于多元组空间的一种协作语言，提供定义、研究和控制移动实体的机制，用于描述和分析移动Agent系统的体系结构。 WAVE是一种在分布、开放环境中用移动代码技术进行信息处理的模型，WAVE提供一种基于空间匹配技术的语言并引入了分布式知识网络(DKN)概念。 * 8.移动Agent的协作模型(coordination models) 移动Agent在执行任务的过程中经常要和其他实体进行协作，最常见的协作对象是MAE中的服务Agent及其他移动Agent。 Agent之间的协作技术已被广泛、深入地研究，各国的研究者提出了许多关于协作的理论、模型和语言，这些理论和模型已被广泛地应用到包括移动Agent系统在内的许多应用系统中。 * Cabri按照空间耦合(spatially coupled)和时态耦合(temporally coupled)的标准把当前移动Agent的协作模型分为四类： 直接协作模型(direct)、 基于黑板的协作模型(blackboard-based)、 面向会见的协作模型(meeting-oriented) 类Linda模型(Linda-like)。 * 表2-4移动Agent协作模型分类 ? 时态（temporal）