| 1. 概论 | 第1-10页 |
| ·多Agent系统理论 | 第6-8页 |
| ·多Agent系统的协商 | 第8-9页 |
| ·相关的研究工作 | 第9-10页 |
| 2. 基于时序逻辑的协商公理体系多Agent系统的形式化模型 | 第10-25页 |
| ·语义框架 | 第11-14页 |
| ·TN系统协商逻辑 | 第14-16页 |
| ·协商推理逻辑的语义 | 第16-20页 |
| ·协商推理逻辑的公理 | 第20-25页 |
| ·公理体系 | 第20-21页 |
| ·公理的合理性解释 | 第21-22页 |
| ·协商推理逻辑中公式的变形规则 | 第22-23页 |
| ·动作选择策略 | 第23-25页 |
| 3. 协商推理逻辑的可靠性和完全性 | 第25-34页 |
| 4. 协商和仲裁体制解决冲突 | 第34-37页 |
| ·协商解决冲突 | 第34-35页 |
| ·仲裁解决冲突 | 第35-37页 |
| 5. 示例 | 第37-44页 |
| 6. 结论 | 第44-46页 |
| 参考文献 | 第46-195页 |