| 致 谢 | 第1-4页 |
| 基于VSK-AF逻辑的多Agent系统的形式化模型 | 第4-44页 |
| 中文摘要 | 第4页 |
| 中文关键词 | 第4-6页 |
| 1．概论 | 第6-10页 |
| ·多Agent系统的理论研究 | 第7-8页 |
| ·与Agent相关的研究工作 | 第8-10页 |
| 2.基于VSK-AF逻辑的多Agent系统的形式化模型 | 第10-25页 |
| ·语义框架 | 第10-13页 |
| ·多Agent VSK-AF逻辑 | 第13-15页 |
| ·多Agent VSK-AF逻辑的公理 | 第15-19页 |
| ·公理的合理性解释 | 第18-19页 |
| ·多Agent VSK-AF逻辑中的交互公理 | 第19-25页 |
| ·表1中的公理的合理性解释 | 第19-25页 |
| 3. VSK-AF逻辑的可靠性、完全性和完备性 | 第25-29页 |
| 4. LVSK-AF逻辑的示例 | 第29-36页 |
| ·示例1 | 第29-35页 |
| ·示例2 | 第35-36页 |
| 5. VSK-AF系统的特点 | 第36-40页 |
| 参考文献 | 第40-44页 |
| A VSK-AF Logic－Based Formal Model of Multi－Agent System | 第44-86页 |
| 英文摘要 | 第44页 |
| 英文关键词 | 第44-46页 |
| 1.Introduction | 第46-50页 |
| 2.A VSK-AF Logic-Based Formal Model of Multi-Agent System | 第50-66页 |
| 3.Soundness and Completeness of VSK-AF logic | 第66-70页 |
| 4. Cases of VSK-AF logic | 第70-78页 |
| 5.Properties of VSK-AF system | 第78-82页 |
| Reference | 第82-86页 |
| 多Agent系统综述 | 第86-136页 |
| 中文摘要 | 第86-88页 |
| 1.Agent系统 | 第88-96页 |
| ·Agent的基本概念及其特性 | 第88-89页 |
| ·Agent技术在人工智能中的地位 | 第89-93页 |
| ·Agents的示例 | 第93页 |
| ·智能Agent和Agents | 第93-94页 |
| ·Agent系统和对象 | 第94-95页 |
| ·Agent系统和专家系统 | 第95-96页 |
| ·人机交互界面 | 第96页 |
| ·今后的研究方向及课题 | 第96页 |
| 2.多Agents系统 | 第96-107页 |
| ·多Agent的基本概念及其特性 | 第96-98页 |
| ·多Agent系统是提出及早期应用 | 第98-100页 |
| ·早期模型Actors | 第98-99页 |
| ·网络协议合同 | 第99页 |
| ·早期应用 | 第99-100页 |
| ·多Agent系统的理论 | 第100-101页 |
| ·多Agent系统的体系结构 | 第101页 |
| ·多Agent系统的协商 | 第101-103页 |
| ·合作MAS的交互 | 第103-104页 |
| ·自感兴趣多Agent交互 | 第104-105页 |
| ·今后的研究方向及课题 | 第105-107页 |
| 3. Agent技术应用 | 第107-111页 |
| ·关键领域和典型系统 | 第107-111页 |
| ·工业应用 | 第107-109页 |
| ·商业应用 | 第109-110页 |
| ·娱乐应用 | 第110页 |
| ·医疗应用 | 第110-111页 |
| ·今后的研究方向 | 第111页 |
| 4. Agent理论 | 第111-124页 |
| ·基本可计算理论 | 第111-112页 |
| ·Agent的形式化模型的研究 | 第112-114页 |
| ·基于VSK-AF逻辑的多Agent系统的形式化模型 | 第114-124页 |
| ·语义框架 | 第114-117页 |
| ·多Agent VSK-AF逻辑 | 第117-124页 |
| ·结论 | 第124页 |
| 5. 结束语 | 第124-126页 |
| 参考文献 | 第126-136页 |
| Multi－Agent System：A Survey | 第136-190页 |
| 英文摘要 | 第136-138页 |
| 1.Agent systems | 第138-148页 |
| 2.Multi-Agent Systems | 第148-160页 |
| 3.Applications of agent technology | 第160-166页 |
| 4.Agents theory | 第166-180页 |
| 5.Concluding Remarks | 第180-181页 |
| References | 第181-190页 |
