| 基于BDI的协商公理体系多Agent系统模型 | 第1-45页 |
| 摘要 | 第4-6页 |
| 1.概论 | 第6-10页 |
| ·多Agent系统理论 | 第6-7页 |
| ·多Agent系统的协商 | 第7-8页 |
| ·相关的研究工作 | 第8-10页 |
| 2.基于BDI的协商公理体系多Agent系统模型 | 第10-24页 |
| ·语义框架 | 第10-13页 |
| ·MN系统协商逻辑 | 第13-15页 |
| ·协商推理逻辑的语义 | 第15-19页 |
| ·协商推理逻辑的公理 | 第19-24页 |
| ·公理体系 | 第19-20页 |
| ·公理的合理性解释 | 第20-22页 |
| ·动作选择策略 | 第22页 |
| ·协商推理逻辑中公式的变形规则 | 第22-24页 |
| 3.协商推理逻辑的可靠性与完全性 | 第24-31页 |
| 4.协商和仲裁体制解决冲突 | 第31-33页 |
| ·协商解决冲突 | 第31-32页 |
| ·仲裁解决冲突 | 第32-33页 |
| 5.示例 | 第33-39页 |
| 6.结论 | 第39-40页 |
| 参考文献 | 第40-45页 |
| Multi-Agent System Model Based on Negotiation Axiom System of BDI | 第45-81页 |
| Abstract | 第45-47页 |
| 1.Introduce | 第47-51页 |
| ·Theory of Multi-Agent System | 第47-49页 |
| ·Negotiation of MAS | 第49页 |
| ·Related research work | 第49-51页 |
| 2. MAS Model Based on Negotiation Axiom System of BDI | 第51-65页 |
| ·Semantic frame | 第51-55页 |
| ·Negotiztion Logic in MN System | 第55-57页 |
| ·The Semantic of Negotiation Logic | 第57-60页 |
| ·Axiomatics of LMN | 第60-65页 |
| ·Axiomatics | 第60-61页 |
| ·Appropriateness of Axioms | 第61-63页 |
| ·Strategies of Selecting Action | 第63-64页 |
| ·The Transmutation Rule of Formulas in Negotiation Logic | 第64-65页 |
| 3 Soundness and Completeness of Negotiation Logic | 第65-72页 |
| 4.Negotiation and Arbitrage Mechnism of Conflicts Resolving | 第72-74页 |
| ·Negotiation Mechanism of Conflicts Resolving | 第72-73页 |
| ·Arbitrage Mechanism of Conflicts Resolving | 第73-74页 |
| 5.Case of MN System | 第74-80页 |
| 6. Summarize | 第80-81页 |
| Agent和多Agent系统研究综述 | 第81-130页 |
| 摘要 | 第81-83页 |
| 1.Agent系统概况 | 第83-88页 |
| ·Agent系统的基本概念及特性 | 第83-85页 |
| ·Agent系统研究的基本问题 | 第85-88页 |
| ·Agent理论 | 第85页 |
| ·Agent体系结构 | 第85-87页 |
| ·Agent语言 | 第87-88页 |
| 2.多Agent系统概况 | 第88-97页 |
| ·多Agent系统的基本概念及特性 | 第88-89页 |
| ·多Agent系统研究的主要内容 | 第89-97页 |
| ·多Agent系统的理论 | 第89页 |
| ·多Agent系统的体系结构 | 第89-90页 |
| ·多Agent系统的协商 | 第90-91页 |
| ·多Agent系统的规划 | 第91页 |
| ·多Agent系统的协调与协作 | 第91-93页 |
| ·多Agent系统的通信 | 第93-96页 |
| ·多Agent系统的学习 | 第96-97页 |
| 3.多Agent系统形式化模型 | 第97-113页 |
| ·模态逻辑 | 第97-99页 |
| ·认知逻辑 | 第99页 |
| ·基于思维状态的形式化模型 | 第99-109页 |
| ·Cohen-Levesque的意图模型 | 第100-103页 |
| ·Rao和Georgeff的BDI模型 | 第103-108页 |
| ·其它模型 | 第108-109页 |
| ·基于多模态逻辑的形式化模型 | 第109-113页 |
| ·基于VSK逻辑的Agent形式化模型 | 第109-112页 |
| ·基于VSK-AF逻辑的多Agent系统的形式化模型 | 第112-113页 |
| 4.多Agent系统协商 | 第113-121页 |
| ·多Agent系统的协商方法 | 第114-118页 |
| ·面向任务领域的协商 | 第114-115页 |
| ·面向价值领域的协商 | 第115-116页 |
| ·基于辩论的协商 | 第116页 |
| ·启发式协商 | 第116-117页 |
| ·基于意图的协商方法 | 第117-118页 |
| ·多Agent系统的协商模型 | 第118页 |
| ·基于能力与思维的协商模型 | 第118-119页 |
| ·基于时序逻辑的协商模型 | 第119页 |
| ·协商模型中的不足及改进 | 第119-121页 |
| 参考文献 | 第121-130页 |
| A Survey of Agent and Multi-Agent System | 第130-172页 |
| Abstract | 第130-132页 |
| 1. An Introduction of the Agent System | 第132-137页 |
| ·The Basic Definition and Properties of Agent System | 第132-133页 |
| ·The Basic Problems in Agent System Research | 第133-137页 |
| ·Agent Theories | 第134-135页 |
| ·Agent Architecture | 第135-136页 |
| ·Agent Language | 第136-137页 |
| 2. An Introduction of the Multi-Agent System | 第137-147页 |
| ·The Basic Concepts and Properties of Multi-Agent System | 第137-138页 |
| ·The Basic Problems in MAS Research | 第138-147页 |
| ·System Theories of MAS | 第138-139页 |
| ·Multi-agent System Architectures | 第139页 |
| ·Negotiation of MAS | 第139-140页 |
| ·Planning of MAS | 第140-141页 |
| ·Coordinate and Cooperation of MAS | 第141-142页 |
| ·Communication of MAS | 第142-145页 |
| ·Learning of MAS | 第145-147页 |
| 3. Formalisms Model of MAS | 第147-164页 |
| ·Modal Logic | 第147-149页 |
| ·Congnize Logic | 第149页 |
| ·Formal Model Base on Mental States | 第149-160页 |
| ·Cohen-Levesque------Intention Model | 第150-153页 |
| ·Rao and Georgeff------BDI model | 第153-158页 |
| ·Other Model | 第158-160页 |
| ·Multi Modal Logic-based Formal Models | 第160-164页 |
| ·VSK Logic-based Formal Model Agent | 第160-163页 |
| ·VSK-AF Logic-based Formal Model Multi-Agent | 第163-164页 |
| 4.Negotiation in MAS | 第164-172页 |
| ·Negotiation Technique in MAS | 第164-169页 |
| ·Negotiation in Task-Oriented Domains | 第164-166页 |
| ·Negotiation in Worth-Oriented Domains | 第166页 |
| ·Negotiation Based-argumentation | 第166-167页 |
| ·Heuristic Approaches | 第167-168页 |
| ·Intention-Based Negotiation Approaches | 第168-169页 |
| ·Multi-Agent Negotiation Model | 第169-172页 |
| ·Based on Capability and Thought Negotiation Model | 第169-170页 |
| ·Based on Temporal Logic Negotiation Model | 第170-171页 |
| ·Defects of Negotiation and Improving | 第171-172页 |
