| 【中文题名】 | 基于情景演算的多Agent合作模型的研究 |
| 【英文题名】 | Research of Multi-Agent Cooperation Model Based on Situation Calculus |
| 【学科专业】 | 计算机应用技术 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2007-10-9 |
| 【中关键词】 | MAS,情景演算,ConGolog,自治agent模型,请求服务合作模型, |
| 【英关键词】 | MAS,Situation Calculus,ConGolog,Autonomy Agent Model,Request/Server Cooperation Model, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>计算技术、计算机技术>计算机的应用>计算机网络>一般性问题 |
| 【论文摘要】 |
多Agent系统是当前人工智能研究的一个热点。其中，关于知识表示、动作推理、通信和协作是当前很多专家学者的研究焦点，虽然取得了很多成果，但仍存在不少问题，主要是基础理论研究与实现技术之间的重大脱节。多伦多大学认知机器人小组基于情景演算理论，将agent的研究从理论推向了实际。
基于多伦多大学机器人研究小组对情景演算的研究工作，本文对情景演算及其应用(Golog、ConGolog语言)进行研究，建立了一个基于情景演算理论的可以很好地刻画agent的心智状态，自主行动推理、通信交互等特性的多agent请求／服务合作模型。本文的主要研究工作和创新成果有：
(1)针对MAS环境的动态、不确定性，多agent行动的并发性以及agent行动推理的自主性，本文采用情景演算理论来形式化MAS的推理机制，使用具有并发特性的ConGolog语言来描述agent自主的行动推理；
(2)实现了基于情景演算理论的自治agent模型(MMSC)，并形式化该模型的心智状态，将信念定义为agent在不完全可知环境下所“知道的”知识，通过Prolog知识库，感知动作和情景演算的归约机制(Regression)... |
| 【论文题纲】 |
|
摘要 |
6-7 |
|
ABSTRACT |
7-10 |
|
第一章 绪论 |
10-15 |
|
1.1 MAS的产生、发展及应用 |
10-11 |
|
1.2 MAS的关键技术 |
11-13 |
|
1.2.1 Agent及Agent语言 |
11 |
|
1.2.2 系统环境 |
11-12 |
|
1.2.3 行动推理 |
12 |
|
1.2.4 通信 |
12 |
|
1.2.5 协作 |
12-13 |
|
1.2.6 MAS的形式化 |
13 |
|
1.3 MAS国内外的发展趋势 |
13 |
|
1.4 本文研究的主要内容 |
13-14 |
|
1.5 本文的结构安排 |
14-15 |
|
第二章 动态MAS的形式化—情景演算 |
15-24 |
|
2.1 情景演算的直观描述 |
15-16 |
|
2.2 基本的情景演算 |
16-19 |
|
2.2.1 情景演算语言 |
16-17 |
|
2.2.2 基本行动公理 |
17-19 |
|
2.2.3 基本行动理论 |
19 |
|
2.3 行动推理计算机制—归约(REGRESSION) |
19-23 |
|
2.3.1 简单归约 |
20-22 |
|
2.3.2 带有函数流的归约 |
22-23 |
|
2.4 小结 |
23-24 |
|
第三章 基于情景演算的面向AGENT的编程语言 |
24-38 |
|
3.1 GOLOG语言 |
24-28 |
|
3.1.1 语法及语义 |
24-25 |
|
3.1.2 Golog解释器 |
25-26 |
|
3.1.3 Golog应用 |
26-28 |
|
3.2 CONGOLOG语言 |
28-36 |
|
3.2.1 ConGolog语义 |
29-32 |
|
3.2.2 扩展的语言结构 |
32-33 |
|
3.2.3 ConGolog解释器 |
33-34 |
|
3.2.4 ConGolog应用 |
34-36 |
|
3.3 小结 |
36-38 |
|
第四章 基于情景演算的自治AGENT模型的研究 |
38-51 |
|
4.1 情景演算的知识表示 |
38-39 |
|
4.2 AAMSC AGENT的心智状态 |
39-44 |
|
4.2.1 信念 |
40-42 |
|
4.2.2 意图 |
42-43 |
|
4.2.3 信念、意图的约束 |
43-44 |
|
4.3 AAMAS心智状态的实现 |
44-50 |
|
4.3.1 信念的实现 |
44-47 |
|
4.3.2 AAMSC中Agent的应用 |
47-50 |
|
4.4 小结 |
50-51 |
|
第五章 基于情景演算的MAS的请求/服务合作模型 |
51-62 |
|
5.1 通信 |
51-55 |
|
5.1.1 通信的概述 |
51-52 |
|
5.1.2 通信动作 |
52-55 |
|
5.2 协作 |
55-57 |
|
5.2.1 请求/服务合作模型 |
55-56 |
|
5.2.2 请求/服务合作模型的语义 |
56-57 |
|
5.3 多AGENT合作系统一送咖啡实例 |
57-61 |
|
5.4 小结 |
61-62 |
|
第六章 总结与展望 |
62-64 |
|
6.1 总结 |
62 |
|
6.2 展望 |
62-64 |
|
附录1 |
64-68 |
|
参考文献 |
68-72 |
|
致谢 |
72-73 |
|
发表文章 |
73 |
|
| 【DOI】 | LunWen.ID:2.2008.388949 |
