| 1 概述 | 第1-12页 |
| ·Agent系统理论 | 第7-8页 |
| ·相关的研究工作 | 第8-12页 |
| 2 基于VSK-t逻辑的Agent形式化模型 | 第12-25页 |
| ·语义框架 | 第12-14页 |
| ·VSK-t逻辑 | 第14-18页 |
| ·VSK-t逻辑的公理 | 第18-25页 |
| ·VSK-t逻辑公理 | 第18-20页 |
| ·VSK-t逻辑公理的合理性说明 | 第20-21页 |
| ·VSK-t逻辑的基本性质 | 第21-25页 |
| 3 VSK-t逻辑的可靠性、完全性和完备性 | 第25-32页 |
| 4 示例 | 第32-38页 |
| 5 结束语 | 第38-41页 |
| 参考文献 | 第41-166页 |