多Agent联盟规范系统研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-35页 |
| ·引言 | 第8-10页 |
| ·关于联盟策略能力的推理 | 第10-19页 |
| ·行动建模 | 第10-13页 |
| ·交互时态逻辑ATL | 第13-16页 |
| ·合作逻辑类 | 第16-19页 |
| ·社会法则的研究现状 | 第19-31页 |
| ·社会法则的表示 | 第19-25页 |
| ·规范系统的有效性、可行性与合成 | 第25-27页 |
| ·最优化概念 | 第27-30页 |
| ·社会法则中的规范系统的其它研究 | 第30-31页 |
| ·从规范系统到联盟规范系统 | 第31-33页 |
| ·语义模型更新 | 第32页 |
| ·联盟规范系统的提出 | 第32-33页 |
| ·本文工作 | 第33-34页 |
| ·本文组织结构 | 第34-35页 |
| 第二章 联盟规范系统的形式化 | 第35-56页 |
| ·联盟规范系统 | 第35-40页 |
| ·联盟规范系统的定义 | 第35-36页 |
| ·联盟规范系统与规范系统 | 第36-40页 |
| ·协同交互时态逻辑Co-ATL | 第40-47页 |
| ·Co-ATL的语法和语义 | 第40-44页 |
| ·Co-ATL模型检测 | 第44-46页 |
| ·Co-ATL与ATL的关系 | 第46-47页 |
| ·联盟规范能力的界定 | 第47-54页 |
| ·规范能力的定义 | 第48-50页 |
| ·界定的可靠性和完备性 | 第50-53页 |
| ·相关推论 | 第53-54页 |
| ·本章小结 | 第54-56页 |
| 第三章 关于联盟规范系统的计算复杂性 | 第56-69页 |
| ·规范目标及有效性 | 第56-57页 |
| ·基本计算问题 | 第57-61页 |
| ·联盟规范系统的有效性检测问题 | 第58页 |
| ·联盟规范系统的可行性检测问题 | 第58-61页 |
| ·联盟规范系统的合成问题 | 第61页 |
| ·联盟规范系统的最优化概念 | 第61-68页 |
| ·最小联盟规范系统 | 第61-63页 |
| ·紧凑联盟规范系统 | 第63-66页 |
| ·最大效用联盟规范系统 | 第66-68页 |
| ·本章小结 | 第68-69页 |
| 第四章 扩展状态空间的联盟规范系统 | 第69-81页 |
| ·联盟承诺 | 第69-73页 |
| ·基本定义 | 第69-72页 |
| ·与联盟规范系统及规范系统的关系 | 第72-73页 |
| ·联盟承诺的规范能力 | 第73-77页 |
| ·规范能力限度的界定 | 第73-76页 |
| ·规范能力限度的比较 | 第76-77页 |
| ·联盟承诺的计算复杂性 | 第77-80页 |
| ·有效性问题 | 第78-79页 |
| ·存在性问题 | 第79页 |
| ·合成问题 | 第79-80页 |
| ·本章小结 | 第80-81页 |
| 第五章 联盟规范系统合成算法 | 第81-90页 |
| ·基于模型检测的联盟规划 | 第81页 |
| ·联盟规划算法 | 第81-87页 |
| ·目标前馈 | 第81-84页 |
| ·算法描述 | 第84-87页 |
| ·算法复杂度、正确性和完备性 | 第87-88页 |
| ·对规划算法的改进 | 第88-89页 |
| ·本章小结 | 第89-90页 |
| 第六章 结论与展望 | 第90-94页 |
| ·结论 | 第90-91页 |
| ·展望 | 第91-94页 |
| 参考文献 | 第94-101页 |
| 致谢 | 第101-102页 |
| 附录 | 第102-104页 |
