学位论文 > 优秀研究生学位论文题录展示

基于时序逻辑的协商公理体系多Agent系统的形式化模型

作　者: 尹红丽
导　师: 林毓材；夏幼明
学　校: 云南师范大学
专　业: 基础数学
关键词: Agent 多Agent系统时序逻辑协商形式化模型
分类号: O242.1
类　型: 硕士论文
年　份: 2004年
下　载: 137次
引　用: 6次
阅　读: 论文下载

内容摘要

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

基于时序逻辑的协商公理体系多Agent系统的形式化模型

内容摘要

全文目录

相似论文