致 谢 | 第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页 |