规范约束的Agent可信协同模型与机制研究

第1章  绪  论
  1.1  课题提出与研究意义
  1.2  研究现状与存在问题
    1.2.1  研究现状
    1.2.2  存在问题
    1.2.3  解决办法
  1.3  本书主要研究内容
第2章  基础理论、技术和前期工作
  2.1  基本模态逻辑
    2.1.1  模态算子
    2.1.2  道义逻辑
    2.1.3  时态逻辑
  2.2  动态逻辑
    2.2.1  动态逻辑语法
    2.2.2  动态逻辑语义模型
    2.2.3  动态逻辑语义
    2.2.4  分析与总结
  2.3  三纬三层的系统构架
  2.4  虚拟社区层
    2.4.1  本体
    2.4.2  e机构
  2.5  可信
    2.5.1  vo模型(应用型
    2.5.2  规范实施(促进型
  2.6  理性agent层
  2.7  前期工作的缺陷
  2.8  本章小结
第3章  e机构模型
  3.1  emlhyb机构
    3.1.1  层次
    3.1.2  emlhyb定义
  3.2  动态e机构模型
    3.2.1  静态e机构模型
    3.2.2  动态e机构模型
    3.2.3  e机构动态模型调控机理
    3.2.4  动态e机构举例
  3.3  e机构运行协议
    3.3.1  e机构运行协议语言lrunpro
    3.3.2  多agent运行模型
    3.3.3  多agent运行模型涉及的概念
    3.3.4  评论
  3.4  本章小结
第4章  供应链上规范实施事前机制
  4.1  多e机构系统供应链
  4.2  基于规范的n纬空间下的服务匹配
    4.2.1  引言
    4.2.2  系统概念和体系结构
    4.2.3  匹配过程和例子
 4.3  本章小结
第5章  drqshctagent支持的vo及其演化
  5.1  引言
  5.2  drqshctagent模型及形式化定义
    5.2.1  agent能力c、签订的合同t和合同履行历史h 
    5.2.2  处方r、服务合成q、共享信息s和分配方案选择机制d
    5.2.3  drqshctagent模型定义
  5.3  drqshctagent的协作机制(模型指导下的vo组建过程
  5.4  实例与实验分析
    5.4.1  实例分析
    5.4.2  实验和结果分析
  5.5  相关比较
  5.6  评论
  5.7  drqshctagent支持下的v0演化机制drqshctenv 
    5.7.1  vo中某个(某些)二方协同合同执行异常
    5.7.2  vo中后续二方协同(合同)的演化
    5.7.3  评论 
  5.8  本章小结
  附件  第三方推荐信任检验框架 
第6章  实例分析
  6.1  多实例层e机构 
    6.1.1  模拟春运旅客购票进站e机构
  6.2  e机构carrel(器官移植)
    6.2.1  e机构carrel中的角色 
    6.2.2  e机构carrel中的多方交互 
    6.2.3  e机构carrel中的多方交互定义
    6.2.4  e机构c.arrel中的多实例层交互
  6.3  e机构之间的服务调用 173
  6.4  动态e机构——交通十字路口e机构
  6.5  本章小结 
第7章  结论与展望
  7.1  本书工作总结
  7.2  未来工作展望
参考文献
后  记