基于流演算的多Agent通信动作及协作的研究与应用
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 绪论 | 第11-19页 |
| ·Agent和MAS概述 | 第11-12页 |
| ·形式化表示方法 | 第12-16页 |
| ·STRIPS | 第13页 |
| ·情景演算 | 第13-14页 |
| ·事件演算 | 第14-16页 |
| ·流演算 | 第16页 |
| ·论文研究的主要内容 | 第16-17页 |
| ·论文的组织结构 | 第17-18页 |
| ·小结 | 第18-19页 |
| 第二章 动态MAS的形式化一流演算 | 第19-29页 |
| ·流演算的基本概念 | 第19-20页 |
| ·流和状态 | 第19-20页 |
| ·动作和情景 | 第20页 |
| ·流演算的公理系统 | 第20-25页 |
| ·流演算的基本公理∑_(state) | 第21页 |
| ·惟一名公理 | 第21-22页 |
| ·初始状态公理 | 第22页 |
| ·前提条件公理 | 第22-23页 |
| ·状态更新公理 | 第23-24页 |
| ·领域约束 | 第24-25页 |
| ·知识 | 第25-27页 |
| ·产生知识的动作 | 第25页 |
| ·知识表示 | 第25-26页 |
| ·知识更新公理(包括感知) | 第26-27页 |
| ·行为推理计算机制—前推 | 第27页 |
| ·小结 | 第27-29页 |
| 第三章 流演算的实现语言FLUX | 第29-38页 |
| ·引言 | 第29-30页 |
| ·约束处理规则 | 第30-31页 |
| ·FLUX程序的基本框架 | 第31-37页 |
| ·FLUX的约束求解器 | 第31-34页 |
| ·基本FLUX语言 | 第34-35页 |
| ·领域描述的FLUX表示 | 第35-37页 |
| ·FLUX知识推理 | 第37页 |
| ·小结 | 第37-38页 |
| 第四章 GoFlux和ConFlux | 第38-47页 |
| ·GoFlux | 第38-42页 |
| ·语言构造算子 | 第38-39页 |
| ·语义 | 第39-42页 |
| ·ConFlux | 第42-46页 |
| ·扩展的语言构造算子 | 第42页 |
| ·扩展的语言构造算子的语义 | 第42-44页 |
| ·ConFlux解释器 | 第44-46页 |
| ·小结 | 第46-47页 |
| 第五章 其它Agent的知识和通信 | 第47-61页 |
| ·引言 | 第47页 |
| ·其它Agent的知识 | 第47-48页 |
| ·通信 | 第48-55页 |
| ·通信概述 | 第48页 |
| ·通信动作 | 第48-54页 |
| ·交互协议 | 第54-55页 |
| ·协作 | 第55-59页 |
| ·请求/服务协作模型 | 第55-56页 |
| ·过程定义 | 第56-59页 |
| ·知识更新公理(包括感知和通信动作) | 第59-60页 |
| ·小结 | 第60-61页 |
| 第六章 基于流演算的智能日程安排实例分析 | 第61-74页 |
| ·实例的形式化 | 第61-63页 |
| ·基本流和动作 | 第61页 |
| ·前提条件公理和知识更新公理 | 第61-63页 |
| ·初始状态 | 第63页 |
| ·实例的ConFlux表示 | 第63-64页 |
| ·日程安排部分 | 第64-73页 |
| ·私人日程的安排 | 第65-67页 |
| ·组日程的安排 | 第67-73页 |
| ·小结 | 第73-74页 |
| 第七章 总结与展望 | 第74-76页 |
| ·总结 | 第74页 |
| ·展望 | 第74-76页 |
| 参考文献 | 第76-81页 |
| 致谢 | 第81-82页 |
| 硕士在读期间发表的文章 | 第82页 |
