多Agent系统合作逻辑的研究

发布时间：2021-04-04 13:45

　　在多Agent系统理论中,为了尽可能细致的刻画Agent合理的行为能力,人们提出了合作的概念。其中,最为自然的一种合作形式就是联合,即系统中Agent个体保持和团体完全相同的价值取向。根据联合的思想,Hoek和Wooldridge提出了命题联合逻辑（CL-PC）,并使用该系统描述Agent团体的常规策略能力。具体来说,CL-PC系统使用“公式”作为现实世界中“事务”的抽象,并将Agent完成特定任务的能力刻画成改变相应公式真值的能力。以此为基础,CL-PC系统讨论了Agent团体独立于环境的决策能力,即考虑团体行动效果时不考虑其它Agent的行为。本文的工作是对CL-PC逻辑系统进行扩充,通过剥离CL-PC一系列理想化假设,逐步建立起应用范围更为广泛的合作逻辑系统。主要包括:首先,通过引入刻画控制权动态改变的机制,我们消除了CL-PC系统控制结构的静态假设,建立了DCL-PC系统,并证明了相应的完备可靠性定理。其次,以DCL-PC为基础,提出了NCL系统,该系统进一步消除了DCL-PC控制权不相冲突的理想假设,并能够描述控制权交叠的多Agent系统。相应地,我们证明了NCL系统的完备可... 

【文章来源】：南京航空航天大学江苏省 211工程院校

【文章页数】：77 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
第一章 绪论
    1.1 引言
    1.2 经典的博弈理论
    1.3 联合逻辑和ATL
        1.3.1 联合逻辑
        1.3.2 ATL
    1.4 命题联合逻辑CL-PC
    1.5 本文的研究内容及结构安排
第二章 基本概念
    2.1 模态逻辑的基本概念
        2.1.1 模态逻辑正规系统及其语义
        2.1.2 典范模型方法
    2.2 命题动态逻辑简介
        2.2.1 命题动态逻辑的语法构成
        2.2.2 命题动态逻辑的语义结构
第三章 控制权动态改变的联合逻辑DCL-PC
    3.1 DCL-PC 的语法构成
    3.2 DCL-PC 的语义结构
    3.3 DCL-PC 的公理系统
    3.4 DCL-PC 的完备性
    3.5 讨论
第四章 正规命题联合逻辑NCL
    4.1 NCL 的公理系统
    4.2 NCL 的语义结构
    4.3 NCL 的完备性
第五章 NCL 的动态逻辑扩充ENCL
    5.1 ENCL 的语法
    5.2 ENCL 的公理系统
    5.3 ENCL 的语义结构
    5.4 ENCL-的完备性
第六章 总结和讨论
    6.1 全文总结
    6.2 进一步的工作
参考文献
致谢
科研情况



本文编号：3118145