| 摘要 | 第1-7页 |
| ABSTRACT | 第7-12页 |
| 第一章 绪论 | 第12-19页 |
| ·智能agent | 第12-13页 |
| ·行动推理 | 第13-17页 |
| ·STRIPS系统 | 第14页 |
| ·情景演算 | 第14页 |
| ·事件演算 | 第14页 |
| ·流演算 | 第14-15页 |
| ·Petri网表示行动推理 | 第15-17页 |
| ·论文主要研究内容 | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 第二章 Petri网介绍 | 第19-26页 |
| ·Petri网概述 | 第19-20页 |
| ·Petri网系统 | 第20-21页 |
| ·网系统分类 | 第21-22页 |
| ·Petri网基本分析技术 | 第22-24页 |
| ·覆盖树和覆盖图 | 第23-24页 |
| ·基于不变量分析 | 第24页 |
| ·Petri网的基本性质 | 第24-25页 |
| ·可达性 | 第24-25页 |
| ·有界性 | 第25页 |
| ·活性 | 第25页 |
| ·本章小结 | 第25-26页 |
| 第三章 基于CPNSRAA网的单agent行动推理 | 第26-40页 |
| ·有色网简介 | 第26-28页 |
| ·CPNSRAA网的定义 | 第28-29页 |
| ·基于CPNSRAA网的状态 | 第29页 |
| ·基于CPNSRAA网的行动 | 第29-32页 |
| ·基于CPNSRAA网的动作间的复合关系 | 第32-36页 |
| ·顺序 | 第32页 |
| ·循环 | 第32-33页 |
| ·条件 | 第33页 |
| ·异步并发 | 第33-34页 |
| ·冲突 | 第34页 |
| ·条件、异步并发情形2以及冲突的区别 | 第34-35页 |
| ·真并发 | 第35页 |
| ·中断 | 第35-36页 |
| ·单agent行动推理的CPNSRAA网系统生成方法 | 第36-38页 |
| ·动作序列生成方法 | 第38-39页 |
| ·本章小节 | 第39-40页 |
| 第四章 基于CPNMRAA网的多agent行动推理 | 第40-47页 |
| ·多agent系统 | 第40页 |
| ·邮箱通信 | 第40页 |
| ·CPNMRAA网的定义 | 第40-41页 |
| ·基于CPNMRAA网的邮箱通信方式的多agent系统模型 | 第41-42页 |
| ·基于CPNMRAA网的agent | 第42-44页 |
| ·视觉 | 第42页 |
| ·信念 | 第42-43页 |
| ·普通动作和影响 | 第43页 |
| ·通信 | 第43-44页 |
| ·基于CPNMRAA网的环境 | 第44-45页 |
| ·环境对普通动作的处理和反应 | 第44页 |
| ·同步 | 第44-45页 |
| ·通信处理 | 第45页 |
| ·本章小节 | 第45-47页 |
| 第五章 Agent行动推理建模与分析 | 第47-60页 |
| ·办公室环境单agent行动推理实例场景描述 | 第47-50页 |
| ·办公室环境单agent行动推理的CPNSRAA网模型 | 第50-51页 |
| ·办公室环境多agent行动推理实例场景描述 | 第51-52页 |
| ·办公室环境多agent实例agent建模 | 第52-55页 |
| ·动作模块 | 第52-54页 |
| ·通信模块 | 第54-55页 |
| ·办公室环境多agent行动推理实例环境建模 | 第55-57页 |
| ·动作处理模块 | 第55-56页 |
| ·通信处理模块 | 第56-57页 |
| ·同步模块 | 第57页 |
| ·办公室环境多agent行动推理实例的CPNMRAA网模型 | 第57-59页 |
| ·本章小结 | 第59-60页 |
| 第六章 单agent行动推理的仿真 | 第60-72页 |
| ·CPN Tools介绍 | 第60-61页 |
| ·仿真工具介绍 | 第60-61页 |
| ·办公室环境单agent行动推理的仿真 | 第61-67页 |
| ·办公室环境单agent赋时行动推理的仿真 | 第67-69页 |
| ·仿真报告分析 | 第69-71页 |
| ·有界性分析 | 第69-71页 |
| ·活性分析 | 第71页 |
| ·本章小节 | 第71-72页 |
| 第七章 总结与展望 | 第72-74页 |
| ·论文总结 | 第72-73页 |
| ·论文展望 | 第73-74页 |
| 致谢 | 第74-75页 |
| 参考文献 | 第75-79页 |
| 在读期间所发表的论文 | 第79页 |
