基于合作博弈对多主体系统中联盟形成的逻辑研究-逻辑学专业论文.docxVIP

目 目 录 中文摘要 I ABSTRACT ．III 第l章绪论 l 1．1研究背景及意义 1 1．2研究现状 2 1．2．1基于逻辑对博弈研究的现状 ．3 1．2．2以合作博弈为模型对多主体系统中联盟形成问题的研究现状 4 1．3研究目标和研究内容 ．．5 第2章基本概念和基础理论 ．9 2．1引言 ．9 2．2稳定性 ．10 2．3联盟形式的分类 ．．13 2．3．1可转移支付联盟博弈(TU博弈) ．．13 2．3．2不可转移支付联盟 ．．16 2．4理性，有效性和社会福利 17 2．5本章小结 ．．19 第3章多主体系统中联盟形成的问题分析 21 3．1引言 21 3．2联盟结构生成算法 2l 3．2．1动态程序算法DP 24 3．2．2 anytime算法 30 3．3联盟结构最优，单个联盟收益最大化及收益分配问题的关系分析．．34 3．4本章小结 ．．36 第4章对多主体系统中联盟的逻辑刻画 ．39 4．1引言 39 4．2特征函数联盟博弈的逻辑刻画 ．．40 45 4 7 5 O 5 1 5 1 5 3 5 6 中文摘要|ll——————I,曼皇量曼曼舅舅 中文摘要 |ll——————I,曼皇量曼曼舅舅 基于合作博弈对多主体系统中联盟形成的逻辑研究 逻辑学专业博士研究生 蒋军利 指导教师唐晓嘉教授 中文摘要 逻辑学是一门形式化很强的学科，它强有力的推理能力和表达能力为博弈论 提供了形式化的理论分析工具；而合作博弈论所描述的情景为多主体联盟系统的 研究提供了良好的研究模型；合作博弈论作为研究冲突．合作条件下最优决策问题 的理论，在经济、军事、政治与计算机科学中有着广泛的应用。博弈论和逻辑学 在计算机科学中一个非常显著的应用领域就是多主体系统的研发。将博弈理论与 动态认知逻辑二者结合起来并进行深入细致的研究，对于多主体系统互动理论的 研究、开发多主体系统软件必将有着重要的理论意义。同时，高效便捷的多主体 系统的研发应用将为社会和经济的和谐发展提供有力的技术支持。 本文在探讨理性、有效性、社会福利和系统稳定性等基本概念和理论的基础 上，围绕多主体系统中联盟形成的三个关键环节展开了系统的逻辑分析。通过对 这三个关键环节的分析，我们看到目前世界上最先进的联盟结构生成算法所普遍 存在的问题之一就是空间复杂度太大。同时，在对三个环节关系问题的讨论中， 我们谈到联盟收益分配问题是影响最优联盟结构稳定的一个关键问题。而在关于 联盟博弈解算法问题的讨论中，计算的时间复杂度问题严重影响了联盟博弈问题 的解决。在文中，我们通过对联盟内部结构的逻辑刻画和联盟值与边际贡献关系 的逻辑分析，运用一组逻辑规则对各类传统联盟博弈进行重新的刻画。在完成对 联盟博弈的这种逻辑刻画之后，重新回到对联盟博弈生成算法和联盟博弈解计算 问题的讨论上，上述遇到的复杂度问题在一定程度上得到了有效的解决。 具体说来，文章主要分为以下四部分： 第二章对基本概念和基础理论梳理分析的基础上，第三章围绕联盟形成问题 中的三个子问题展开分析。这三个子问题一直是制约多主体联盟系统发展和应用 的瓶颈问题，长期以来，由于缺乏有力的理论分析工具而未得到很好的解决。对 两南大学博十学位论文联盟形成问题中这三个子问题以及它们关系的分析，能够使我们对联盟结构形成 两南大学博十学位论文 联盟形成问题中这三个子问题以及它们关系的分析，能够使我们对联盟结构形成 所面临的问题有更清楚的认识和把握。第四章，从逻辑的角度分析联盟的逻辑结 构，讨论各种类型联盟博弈可能的逻辑刻画。并讨论这种逻辑刻画方式对联盟结 构生成算法和博弈求解的影响；在对联盟博弈逻辑刻画的研究基础上，第五章， 研究博弈解的计算问题。系统的收益能否公平合理地在合作主体间分配是系统能 否持续稳定运行的关键。对这个问题的逻辑分析，无疑会为多主体合作系统的开 发和应用奠定理论基础。 本文旨在合作博弈理论框架下，运用相关的研究成果对多主体系统中联盟形 成进行系统的逻辑研究，以期为多主体合作系统的开发和应用奠定理论基础。力 求为将合作形成问题处理成计算机可快速模拟和处理的多主体系统程序打下坚实 的逻辑基础：进一步推动联盟形成问题的的形式化研究，为促进逻辑学、博弈论 和人工智能等学科的交叉发展做贡献。 关键词： 多主体系统逻辑合作博弈联盟形式 Ⅱ AbstractResearch Abstract Research of Coalition Formation in Multi--Agent System B ased on Coalitional Game Theory and Logic Logic Ph．D Candidate Junli Jiang Supervisor Prof．Tang Xiaojia Abstract Becaus