第九章 分布式人工智能.ppt

第一节 概述 分布式人工智能系统的特色 分布式人工智能系统的主要优点 分布式人工智能 合同网 分布式车辆监控测试系统DVMT ACTOR模型 MACE系统 分布式运输调度系统DTDS-I 分布式知识处理系统DKPS 多主体系统 多主体系统 分布式问题求解 第二节 分布式问题求解 任务分担 结果共享 分布式问题求解系统分类 分布式问题求解过程 任务分解 分布式问题求解系统中协作的分类 第三节 主 体 主体的思想 主体程序设计 主体的定义 主体的特性 主体的特性 第四节 主体理论及结构 理性主体（BDI主体） BDI主体模型 BDI解释器 动作理论 规划库的形式化表示 主体结构 主体基本结构 智能主体的工作过程 主体骨架程序 主体的分类 反应主体 反应主体程序 认知主体 认知主体程序 BDI结构 复合式主体 规划模块 建模模块 通信模块 主体通信 第五节 主体通信中的主要问题 主体间的消息传递 本体论 言语行为 通信语言 KQML FIPA ACL FIPA通信动作库 FIPA通信动作库 XML—eXtensible Markup Language 可扩展标记语言 第六节 主体的协调与协作 协调 协作 协作规划 协作过程 协作模式 协作策略 计算生态学 计算生态学 生物生态模型 物种进化模型 经济模型 协商模型 面向领域的协商理论 最佳平衡 集中式协商方法 开放环境多智能体协作方法 开放环境多智能体协作方法 交互协议 FIPA 英国拍卖协议 AgentCities General Development Process 多主体系统设计过程 UML中的表示法(抽象语法) OMG发布的UML定义规范中，模型的抽象语法是通过类图表示的各结构成分之间的关系给出的。 UML中的表示法(静态语义) 模型结构成分之间的约束（即静态语义）是通过OCL语言描述的规则表示的。 例如：Actor只能与UseCase、Subsystem和Class发生关联，并且关联是二元的。此约束表示如下： self.associations - forAll (a | a.connection - size = 2 and a.allConnections - exists(r | r.type.oclIsKindOf(Actor)) and a.allConnections - exists(r | r.type.oclIsKindOf(UseCase) or r.type.oclIsKindOf(Subsystem) or r.type.oclIsKindOf(Class) ) ) AUMP AUML扩展UML来描述多主体系统 在AUML中，我们引入了四种面向主体的图来描述一个多主体系统： 本体图：定义用来描述世界状态用到的实体以及它们之间的关系。 主体系统结构图：描述多主体系统的结构。 协议图：描述主体之间的交互协议。 角色图：描述主体在交互中扮演的角色。 AUMP的表示法(属性图) AUML的图形模型都是属性图。属性图是带属性的多重有向图。 属性图的形式化定义如下： AttributeGraph=(V, E, s, d, ?) s,d：E?V ?：(E∪V)?(A?U) 其中，V是节点集合，E是边的集合，s,d是边到节点的函数，分别表示边的起点和终点。 ?是边和节点到属性描述的函数，属性描述是属性名称到属性值的函数，A表示属性名称集合，U表示属性值集合。 AUMP的表示法(Meta表示法) 描述程序设计语言抽象语法的Meta表示法由两部分组成： (1)构造的有限集合。 (2)产生式的有限集合，每个产生式和一个构造对应。 聚集产生式：表示一个构造有固定数目的成分。 例Conditional = test:Boolean_expression; thenbranch: Command; elsebranch:Command; 选择产生式：表示一个构造可以选择几种类型。 例Command = S