| 摘要 | 第1-12页 |
| Abstract | 第12-15页 |
| 第一章 绪论 | 第15-37页 |
| ·研究背景与意义 | 第15-18页 |
| ·研究背景与问题提出 | 第15-18页 |
| ·研究意义 | 第18页 |
| ·国内外研究现状 | 第18-34页 |
| ·辩论理论与辩证证明理论研究 | 第19-26页 |
| ·面向 agent 辩论的对话博弈研究 | 第26-31页 |
| ·辩论与多 agent 系统 | 第31-34页 |
| ·本文主要工作及创新点 | 第34-36页 |
| ·论文组织结构 | 第36-37页 |
| 第二章 一种面向首选语义的论据博弈模型 MAGPS | 第37-65页 |
| ·研究动机 | 第37-39页 |
| ·面向首选语义的论据博弈模型 MAGPS | 第39-52页 |
| ·MAGPS 模型构建 | 第39-50页 |
| ·MAGPS 的性质 | 第50-52页 |
| ·临界因子与临界对策的计算 | 第52-57页 |
| ·临界因子计算 | 第52-54页 |
| ·临界对策计算 | 第54-57页 |
| ·与相关工作的比较 | 第57-64页 |
| ·相关工作 | 第58-60页 |
| ·实例比较 | 第60-62页 |
| ·仿真实验比较 | 第62-64页 |
| ·本章小结 | 第64-65页 |
| 第三章 基于 MAGPS 的多 agent 协同辩证推理方法 | 第65-95页 |
| ·问题描述 | 第65-67页 |
| ·基于 MAGPS 的多 agent 协同辩证推理方法 | 第67-75页 |
| ·多 agent 协同辩证推理框架 | 第67-69页 |
| ·基于 MAGPS 的多 agent 协同辩证推理过程 | 第69-72页 |
| ·多 agent 协同辩证推理的控制策略 | 第72-75页 |
| ·面向多 agent 协同辩证推理的多方对话博弈协议 ProMDR | 第75-90页 |
| ·多方对话博弈协议概述 | 第75-80页 |
| ·ProMDR 的设计与实现 | 第80-85页 |
| ·ProMDR 的多 agent 对话协议 | 第85-90页 |
| ·多 agent 协同辩证推理的实验结果分析 | 第90-94页 |
| ·多 agent 协同辩证推理过程 | 第90-91页 |
| ·实验与结果分析 | 第91-94页 |
| ·本章小结 | 第94-95页 |
| 第四章 辩论框架实例化及攻击论据动态构建方法 | 第95-117页 |
| ·辩论框架的实例化及其逻辑基础 | 第95-104页 |
| ·辩论的逻辑 | 第95-99页 |
| ·论据结构与攻击关系 | 第99-103页 |
| ·实例化的分布式辩论框架 | 第103-104页 |
| ·攻击论据的动态构建方法 | 第104-114页 |
| ·目标论据解析 | 第105-106页 |
| ·基于 ABox 一致性推理的攻击关系挖掘 | 第106-112页 |
| ·攻击论据构造 | 第112-114页 |
| ·攻击论据动态构建过程与分析 | 第114-116页 |
| ·攻击论据动态构建过程 | 第114-115页 |
| ·算法有效性与完备性分析 | 第115-116页 |
| ·本章小结 | 第116-117页 |
| 第五章 多 agent 辩证推理原型系统设计与实现 | 第117-133页 |
| ·MASDR 设计与实现 | 第117-126页 |
| ·MASDR 概述 | 第117-119页 |
| ·MASDR 主要功能和特色 | 第119-120页 |
| ·MASDR 系统运行环境 | 第120-121页 |
| ·MASDR 主要功能部件设计实现 | 第121-126页 |
| ·应用案例与结果分析 | 第126-132页 |
| ·案例描述与分析 | 第126-128页 |
| ·运行 MASDR 对案例进行分析 | 第128-132页 |
| ·本章小结 | 第132-133页 |
| 第六章 结论与展望 | 第133-136页 |
| ·论文总结 | 第133-134页 |
| ·未来研究工作展望 | 第134-136页 |
| 致谢 | 第136-138页 |
| 参考文献 | 第138-149页 |
| 作者在学期间取得的学术成果 | 第149-151页 |
| 附录A 缩略语表 | 第151-153页 |
| 附录B ProMDR 原语的公理语义 | 第153-158页 |
| 附录C 辩证推理树的设计与实现 | 第158-160页 |
| 附录D MASDR 原型系统构建手册 | 第160-163页 |
| 附录E 共享领域本体 | 第163-168页 |
