| 【中文题名】 | 基于时序逻辑的协商公理体系多Agent系统的形式化模型 |
| 【英文题名】 | Multi-Agent System Formal Model Based on Negotiation Axiom System of Temporal Logic |
| 【学科专业】 | 基础数学 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2004-10-19 |
| 【中关键词】 | Agent,多Agent系统,时序逻辑,协商,形式化模型, |
| 【英关键词】 | Agent,Multi-Agent System,temporal logic,negotiation,formal model, |
| 【分类导航】 | 数理科学和化学>数学>计算数学>数学模拟、近似计算>数学模拟> |
| 【论文摘要】 | Agent和多Agent系统是分布式人工智能一个重要的研究领域。协商是多Agent系统中保证Agents间能够有效交互的最普遍、最主要的形式。
本文用形式化方法构建了基于时序逻辑的协商公理体系多Agent系统模型，它是一种对多Agent系统进行交互推理的形式化模型。该模型描述了在多Agent系统中时间、Agent的能力和权力在动作选择、协商过程中的作用，以及权力在整个过程中随时间的变化和Agent执行行为不受时间的约束，它提供了对多Agent中Agent行为的说明和约束。
本文首先描述了该系统的语义框架，给出了时序结构、行为、环境、Agent、协商、和TN系统的形式化定义。系统的语义是基于可达关系的可能世界语义模型。其次基于时序逻辑给出了协商推理逻辑的公理体系，并对其合理性进行了充分的阐述。同时证明了它的有效性、协商推理逻辑的可靠性、完全性、完备性和无矛盾性。然后讨论了冲突解决协商体制。最后通过具体的案例分析进一步解释了多Agent系统中Agent如何通过协商消解冲突，并提出了今后的一些研究工作。 |
| 【论文题纲】 |
|
1. 概论 |
6-10 |
|
1.1 多Agent系统理论 |
6-8 |
|
1.2 多Agent系统的协商 |
8-9 |
|
1.3 相关的研究工作 |
9-10 |
|
2. 基于时序逻辑的协商公理体系多Agent系统的形式化模型 |
10-25 |
|
2.1 语义框架 |
11-14 |
|
2.2 TN系统协商逻辑 |
14-16 |
|
2.3 协商推理逻辑的语义 |
16-20 |
|
2.4 协商推理逻辑的公理 |
20-25 |
|
2.4.1 公理体系 |
20-21 |
|
2.4.2 公理的合理性解释 |
21-22 |
|
2.4.3 协商推理逻辑中公式的变形规则 |
22-23 |
|
2.4.4 动作选择策略 |
23-25 |
|
3. 协商推理逻辑的可靠性和完全性 |
25-34 |
|
4. 协商和仲裁体制解决冲突 |
34-37 |
|
4.1 协商解决冲突 |
34-35 |
|
4.2 仲裁解决冲突 |
35-37 |
|
5. 示例 |
37-44 |
|
6. 结论 |
44-46 |
|
参考文献 |
46-195 |
|
| 【DOI】 | LunWen.ID:2.2008.15094 |
