| 1.基于BDI-VSK-T逻辑的Agent系统形式化模型的研究 | 第1-45页 |
| 1.简介 | 第7-9页 |
| 2.基于BDI-VSK-T逻辑的AGENT系统形式化体系结构 | 第9-32页 |
| ·语义框架 | 第9-15页 |
| ·BDI-VSK-T逻辑 | 第15-16页 |
| ·BDI-VSK-T逻辑的公理 | 第16-21页 |
| ·公理的合理性解释 | 第19-21页 |
| ·BDI-VSK-T逻辑的交互公理 | 第21-23页 |
| ·交互公理 | 第21-23页 |
| ·交互公理的合理性解释 | 第21-23页 |
| ·BDI-VSK-T逻辑的基本性质 | 第23-32页 |
| 3 BDI-VSK-T逻辑的可靠性、完全性和完备性 | 第32-38页 |
| 4 结束语 | 第38-41页 |
| 参考文献 | 第41-45页 |
| 2.Agent系统综述 | 第45-93页 |
| 1 模态逻辑 | 第49-62页 |
| ·概述 | 第49-52页 |
| ·时序逻辑 | 第52-62页 |
| ·基于命题演算的时序逻辑 | 第53-57页 |
| ·模态时序逻辑——MTL | 第53-55页 |
| ·命题线性时序逻辑——PTL | 第55-56页 |
| ·实时命题时序逻辑——TPTL | 第56-57页 |
| ·基于一阶谓词演算的时序逻辑 | 第57-60页 |
| ·一阶时序逻辑FOTL | 第57-58页 |
| ·FML | 第58-60页 |
| ·其它时序逻辑 | 第60-62页 |
| ·CTL、CTL*阳CTL~+ | 第60-61页 |
| ·动态线性时序逻辑——DLTL | 第61-62页 |
| 2 AGENT系统概况 | 第62-70页 |
| ·AGENT的含义 | 第63-66页 |
| ·Agent的基本概念及特性 | 第63-64页 |
| ·Agent的分类及能力 | 第64-66页 |
| ·Agent的分类 | 第64-65页 |
| ·Agent的能力 | 第65-66页 |
| ·AGENT研究的基本问题 | 第66-68页 |
| ·Agent理论 | 第66-67页 |
| ·Agent体系结构 | 第67-68页 |
| ·Agent的语言 | 第68页 |
| ·多AGENT系统 | 第68-70页 |
| ·多Agent系统的基本概念及特性 | 第68-69页 |
| ·多Agent系统的研究内容 | 第69-70页 |
| ·多Agent系统理论 | 第69页 |
| ·多Agent系统体系结构 | 第69-70页 |
| ·多Agent系统协商 | 第70页 |
| 3 AGENT形式化模型研究 | 第70-84页 |
| ·基于思维状态的形式化模型 | 第71-78页 |
| ·Cohen-Levesque的意图模型 | 第71-73页 |
| ·Rao和Georgeff的BDI模型结构 | 第73-77页 |
| ·其它模型 | 第77-78页 |
| ·Levesque——信念和意识 | 第77-78页 |
| ·Konolige——演绎模型 | 第78页 |
| ·John Bell——BDI模型 | 第78页 |
| ·基于多模态逻辑的形式化模型 | 第78-84页 |
| ·基于VSK逻辑的Agent形式化模型 | 第79-82页 |
| ·结合思维状态的VSKAgent形式化模型 | 第82-84页 |
| ·基于VSK-AF逻辑的多Agent系统的形式化模型 | 第84页 |
| 4 今后的研究方向 | 第84-85页 |
| 参考文献 | 第85-93页 |
| 3. A BDI-VSK-T Logic-based Formal Model of Agent System | 第93-135页 |
| 1 INTRODUCTION | 第99-102页 |
| 2.A BDI-VSK-T LOGIC-BASED FORMAL MODEL OF AGENT SYSTEM | 第102-126页 |
| ·SEMANTIC FRAME | 第102-108页 |
| ·BDI-VSK-T-TLOGIC | 第108-110页 |
| ·AXIOMS IN BDI-VSK-T-TLOGIC | 第110-115页 |
| ·Appropriateness of Axioms | 第113-115页 |
| ·INTERACTION AXIOMS IN BDI-VSK-T-TLOGIC | 第115-117页 |
| ·Appropriateness of Interaction Axioms | 第115-117页 |
| ·THE PROPERTIES OF BDI-VSK-TLOGIC | 第117-126页 |
| 3 SOUNDNESS AND COMPLETENESS OF BDI-VSK-TLOGIC | 第126-131页 |
| 4 CONCLUSION | 第131-134页 |
| 5 REFERENCE | 第134-135页 |
| 4. Agent System: A Survey | 第135-189页 |
| 1 MODAL LOGIC | 第139-157页 |
| ·INTRODUCTION | 第139-143页 |
| ·TEMPORAL LOGIC | 第143-157页 |
| ·Propositional Logic-based Temporal Logics | 第145-150页 |
| ·Modal Temporal Logic—MTL | 第145-147页 |
| ·Propositional Linear Temporal Logic—PTL | 第147-148页 |
| ·Timed Prepositional Temporal Logic—TPTL | 第148-150页 |
| ·First-order Predicate Logic-based Temporal Logics | 第150-153页 |
| ·First-order Temporal Logic—FOTL | 第150-151页 |
| ·First-order Modal Temporal Logic—FML | 第151-153页 |
| ·Other Temporal logics | 第153-157页 |
| ·CTL, CTL* and CTL~+ | 第153-156页 |
| ·Dynamic Linear Temporal Logic—DLTL | 第156-157页 |
| 2 AN INTRODUCTION OF THE AGENT SYSTEM | 第157-167页 |
| ·AGENT SYSTEM | 第157-161页 |
| ·The Basic Definition and Properties of Agent | 第157-159页 |
| ·Agent's Categories and Abilities | 第159-161页 |
| ·Agent's Categories | 第159-160页 |
| ·Agent's Abilities | 第160-161页 |
| ·THE BASIC PROBLEMS IN AGENT RESEARCH | 第161-164页 |
| ·Agent Theories | 第161-162页 |
| ·Agent Architectures | 第162-164页 |
| ·Agent Languages | 第164页 |
| ·MULTI-AGENT SYSTEM | 第164-167页 |
| ·The Basic Definitions and Properties of Multi-agent System | 第164-165页 |
| ·The Basic Problems in Multi-agent System Research | 第165-167页 |
| ·Multi-agent System Theories | 第166页 |
| ·Multi-agent System Architectures | 第166-167页 |
| ·Multi-agent System Negotiations | 第167页 |
| 3 FORMAL MODELS OFAGENT | 第167-188页 |
| ·MENTAL STATES-BASED FORMAL MODELS | 第168-178页 |
| ·Cohen and Levesque—Intention Model | 第169-171页 |
| ·Rao and Georgeff—BDI Model | 第171-177页 |
| ·Other Models | 第177-178页 |
| ·Levesque—Belief and Awareness | 第177页 |
| ·Konolige—Deductive Model | 第177-178页 |
| ·John Bell—BDI Model | 第178页 |
| ·MULTI MODAL LOGIC-BASED FORMAL MODELS | 第178-188页 |
| ·VSK Logic-based Formal Model of Agent | 第179-184页 |
| ·A VSK-BDI LOGIC-BASED FORMAL MODEL OF AGENT | 第184-186页 |
| ·VSK-AF Logic-based Formal Model of Multi-agent System | 第186页 |
| ·FUTURE DIRECTIONS | 第186-188页 |
| 4.REFERENCE | 第188-189页 |
| 致谢 | 第189页 |
