| 摘要 | 第1-5页 |
| Abstract | 第5-14页 |
| 第1章 绪论 | 第14-26页 |
| ·研究背景与动机 | 第14-17页 |
| ·Agent技术与多Agent系统 | 第14-15页 |
| ·多Agent系统的"负叠加效用"和"可信危机"问题 | 第15-16页 |
| ·规范多Agent系统的研究意义 | 第16-17页 |
| ·研究现状和存在的问题 | 第17-23页 |
| ·规范和规范多Agent系统的基本概念 | 第18-19页 |
| ·NMAS领域的主要模型和研究方法 | 第19-21页 |
| ·存在的问题和挑战 | 第21-23页 |
| ·研究目标和内容 | 第23-26页 |
| 第2章 研究基础与相关理论 | 第26-41页 |
| ·面向服务的计算 | 第26-28页 |
| ·基本概念和特点 | 第26-27页 |
| ·实现平台 | 第27-28页 |
| ·规范表示的逻辑基础 | 第28-34页 |
| ·基本模态逻辑 | 第28-30页 |
| ·道义逻辑 | 第30-31页 |
| ·时态逻辑 | 第31-33页 |
| ·输入输出逻辑 | 第33-34页 |
| ·Agent、组织与MAS系统 | 第34-37页 |
| ·BDI模型 | 第34-35页 |
| ·语言行为理论 | 第35-36页 |
| ·虚拟组织 | 第36-37页 |
| ·贝叶斯决策网络 | 第37-40页 |
| ·贝叶斯网络 | 第37-39页 |
| ·贝叶斯决策网络 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第3章 规范调控的自治服务协同体系结构NASCA | 第41-61页 |
| ·NASCA体系结构的总体结构 | 第41-48页 |
| ·组织框架层 | 第42-44页 |
| ·VO协作层 | 第44-46页 |
| ·规范主体层 | 第46-47页 |
| ·元数据支持层 | 第47-48页 |
| ·基于NASCA体系结构的Agent社区和VO协作 | 第48-54页 |
| ·Agent社区的基本元素 | 第48-50页 |
| ·加入Agent社区:注册过程 | 第50-51页 |
| ·能力发布、寻求与中介:选择VO成员 | 第51-52页 |
| ·协商与合同制订 | 第52-53页 |
| ·协作执行与柔性演化 | 第53-54页 |
| ·VO协作结束后的工作 | 第54页 |
| ·NASCA体系结构的"规范纵层":规范模型体系 | 第54-60页 |
| ·组织规范模型 | 第54-56页 |
| ·规范实施模型 | 第56-57页 |
| ·规范推理与决策模型 | 第57-58页 |
| ·协作协商模型 | 第58-59页 |
| ·各个模型的相互关系 | 第59-60页 |
| ·本章小结 | 第60-61页 |
| 第4章 基于可操作性规范逻辑ONL的组织规范模型 | 第61-95页 |
| ·可操作性规范逻辑ONL及其扩展ONL+ | 第61-78页 |
| ·ONL逻辑与规范表示 | 第61-62页 |
| ·基于概念的领域适用表示 | 第62-66页 |
| ·动作谓词语句:消息、消息模式和消息序列 | 第66-68页 |
| ·可操作性规范逻辑ONL | 第68-75页 |
| ·建构型规范C-Norm的表示 | 第75-77页 |
| ·ONL的扩展逻辑ONL+ | 第77-78页 |
| ·基于E机构分层继承体系的组织规范模型ONM | 第78-94页 |
| ·ONM模型定义及性质 | 第78-80页 |
| ·服务分类模型 | 第80-84页 |
| ·E机构定义 | 第84-89页 |
| ·E机构的继承关系 | 第89-92页 |
| ·ONM模型对Agent行为的制约作用 | 第92-94页 |
| ·本章小结 | 第94-95页 |
| 第5章 违规判定与处罚:规范实施模型NEM | 第95-121页 |
| ·NEM模型的组成 | 第95-99页 |
| ·适用E机构判定 | 第99-101页 |
| ·NEM模型的违规判定机制 | 第101-115页 |
| ·OSL+表达式真值的判定 | 第101-106页 |
| ·动态违规判定机制 | 第106-112页 |
| ·静态违规判定机制 | 第112-115页 |
| ·基于迭代规范处罚模型的处罚判定与处罚实施 | 第115-119页 |
| ·迭代规范处罚模型IMNP | 第115-116页 |
| ·处罚判定机制 | 第116-117页 |
| ·处罚实施过程 | 第117-119页 |
| ·本章小结 | 第119-121页 |
| 第6章 基于可信概率的不确定性规范推理与决策模型 | 第121-135页 |
| ·NRDM模型及其组成部分 | 第121-123页 |
| ·基于历史行为记录的守规可信度计算 | 第123-129页 |
| ·守规可信度及其计算 | 第123-126页 |
| ·置信度和条件放松 | 第126-128页 |
| ·第一阶段过程 | 第128-129页 |
| ·面向VO的可信度迭代计算 | 第129-131页 |
| ·贝叶斯决策网络阶段 | 第131-134页 |
| ·本章小结 | 第134-135页 |
| 第7章 基于实例的分析与验证 | 第135-156页 |
| ·实例简介—IC设计服务协同例 | 第135-137页 |
| ·基于ONM模型的实例规范定义 | 第137-142页 |
| ·实例的服务分类体系 | 第137-138页 |
| ·实例的ONM模型定义 | 第138-142页 |
| ·基于NRDM模型的推理和决策实例分析 | 第142-147页 |
| ·计算A_ICDesignPvd的守规可信度 | 第143页 |
| ·计算me值及修正守规可信度值 | 第143-144页 |
| ·基于BDN网络的推理决策过程 | 第144-147页 |
| ·规范实施过程实例分析 | 第147-151页 |
| ·本章小结 | 第151-156页 |
| 第8章 结论与展望 | 第156-159页 |
| ·论文的主要工作和创新点 | 第156-157页 |
| ·未来工作展望 | 第157-159页 |
| 参考文献 | 第159-165页 |
| 攻读博士学位期间主要的研究成果 | 第165-166页 |
| 致谢 | 第166页 |