| 1. 结合思维状态的VSK-Agent形式化模型 | 第1-46页 |
| 1 概论 | 第6-10页 |
| 1．1 Agent理论的研究内容 | 第6-8页 |
| 1．2 相关的研究内容 | 第8-10页 |
| 2 基于VSK-BDI逻辑的Agent形式化模型 | 第10-25页 |
| 2．1 语义框架 | 第10-12页 |
| 2．2 VSK-BDI逻辑 | 第12-14页 |
| 2．3 VSK-BDI逻辑的公理 | 第14-17页 |
| 2．3．1 公理的合理性解释 | 第16-17页 |
| 2．4 VSK-BDI逻辑的交互公理 | 第17-20页 |
| 2．4．1 交互公理的合理性解释 | 第18-20页 |
| 2．5 VSK-BDI逻辑的基本性质 | 第20-25页 |
| 3 VSK-BDI逻辑的可靠性、完全性和完备性 | 第25-31页 |
| 4 示例 | 第31-38页 |
| 5 结束语 | 第38-41页 |
| 参考文献 | 第41-46页 |
| 2. A Formal model of VSK-Agent system combined with mental states | 第46-88页 |
| 1 Introduction | 第50-55页 |
| ·The Basic Problems in Agent Research | 第50-52页 |
| ·Related Work | 第52-55页 |
| 2 A VSK-BDI Logic-Based Formal Model of Agent | 第55-71页 |
| ·Semantic frame | 第55-57页 |
| ·VSK-BDI logic | 第57-60页 |
| ·Axioms in VSK-BDI logic | 第60-63页 |
| ·Appropriateness of Axioms | 第62-63页 |
| ·Interaction Axioms in VSK-BDI logic | 第63-66页 |
| ·Appropriateness of Interaction Axioms | 第63-66页 |
| ·The properties of VSK-BDI logic | 第66-71页 |
| 3 Soundness and Completeness of VSK-BDI logic | 第71-77页 |
| 4 Case of VSK-BDI logic | 第77-84页 |
| 5 Conclusion | 第84-88页 |
| 3.Agent系统综述 | 第88-132页 |
| 1 Agent系统 | 第92-103页 |
| 1．1 Agent的概念及其研究内容 | 第92-97页 |
| 1．1．1 Agent的概念及特性 | 第92-95页 |
| 1．1．2 Agent的研究内容 | 第95-97页 |
| 1．2 多Agent系统 | 第97-101页 |
| 1．2．1 多Agent系统的概念及特性 | 第97-99页 |
| 1．2．2 多Agent系统的研究内容 | 第99-101页 |
| 1．3 今后的研究方向 | 第101-103页 |
| 2 基于思维状态的Agent形式化模型 | 第103-118页 |
| 2．1 Agent思维状态模型的研究内容 | 第103-104页 |
| 2．2 Agent思维状态模型 | 第104-118页 |
| 2．2．1 Cohen-Levesque的意图模型 | 第105-109页 |
| 2．2．2 Rao和Georgeff的BDI模型结构 | 第109-113页 |
| 2．2．3 Konolige和Pollack——BDI模型 | 第113-114页 |
| 2．2．4 John Bell——BDI模型 | 第114页 |
| 2．2．5 Gaspar和Coelho——BDI模型 | 第114页 |
| 2．2．6 Levesque——信念和知道 | 第114页 |
| 2．2．7 Konolige——演绎模型 | 第114-115页 |
| 2．2．8 元语言和语法形式 | 第115页 |
| 2．2．9 Moore——知识与行为 | 第115页 |
| 2．2．10 Dongha——承诺模型 | 第115页 |
| 2．2．11 Wooldridge——MYWORLD模型 | 第115-116页 |
| 2．2．12 Singh | 第116页 |
| 2．2．13 Cavedon Padham | 第116页 |
| 2．2．14 BDI理论的缺陷以及改进 | 第116-118页 |
| 3 基于多模态逻辑的Agent形式化模型 | 第118-123页 |
| 3．1 基于VSK逻辑的Agent系统的形式化模型 | 第118-121页 |
| 3．2 基于VSK-AF逻辑的多Agent系统的形式化模型 | 第121-122页 |
| 3．3 基于VSK-t逻辑的Agent系统的形式化模型 | 第122-123页 |
| 参考文献 | 第123-132页 |
| 4. Agent System:A Survev | 第132-169页 |
| 1 Agent System | 第136-147页 |
| ·Concepts and Basic Problems of Agent | 第136-141页 |
| ·The Concept and Properties of Agent | 第136-138页 |
| ·The Basic Problems in Agent research | 第138-141页 |
| ·Multi-Agent System | 第141-144页 |
| ·The concepts and Properties of Multi-Agent System | 第141-142页 |
| ·The Basic Problems in MAS research | 第142-144页 |
| ·Future Directions | 第144-147页 |
| 2 Formal Model of Agent Base on Mental States | 第147-164页 |
| ·The Problems in Mental States reasearch | 第147-148页 |
| ·The Mental States Modeles of Agent | 第148-164页 |
| ·Cohen and Levesque—Intention Model | 第149-153页 |
| ·Rao and Georgeff—Structure of BDI Model | 第153-158页 |
| ·Konolige and Pollack—BDI Model | 第158-159页 |
| ·John Bell—BDI Model | 第159页 |
| ·Gaspar and Coelho—BDI Model | 第159-160页 |
| ·Levesque—Belief and Awareness | 第160页 |
| ·Konolige—Deductive Model | 第160页 |
| ·Meta-languages and Syntactic Modalities | 第160-161页 |
| ·Moore—Knowledge and Action | 第161页 |
| ·Dongha—Commitment Model | 第161页 |
| ·Wooldridge—MYWORLD Model | 第161页 |
| ·Singh | 第161-162页 |
| ·Cavedon Padham | 第162页 |
| ·Limitations of BDI and Improvement | 第162-164页 |
| 3 Formal Model of Agent Based on Multi-Modal Logic | 第164-169页 |
| ·VSK Logic-based formal model of Agent system | 第165-168页 |
| ·VSK-AF Logic—based formal model of multi-agent system | 第168页 |
| ·VSK-t Logic-based formal model of agent system | 第168-169页 |
