Jul, 2016

利用模糊性进行多智能体共识

HTML
PDF
TL;DR本文提出了使用Kleene的三值逻辑作为表达代理人信念模糊性的手段的共识建模框架，通过利用中间真值来允许代理人采取更为模糊的概念解释，以减弱其信念并降低不一致性水平，从而达成共识。通过模拟实验，证明将此操作应用于从一个拥有最初不同意见的人口中随机选择的代理人（受到一定一致性阈值的约束）可以使共识收敛于更精确的共享信念的较小集合，并且当代理人的选择取决于他们信念的回报时，该系统会收敛于平均回报更高的信念。
发现论文，激发创造
  • 不确定语言与信仰差异

    提出一种可以模拟信息存在多重解释的多智体模态逻辑框架，通过不同语义捕获不同情况下智体对于信息二义性的设想，并论证Aumann定理在存在二义性时不成立，探究了假设公共优先（即没有二义性）和假设共同初始信念（即共享初始信念）之间的权衡。

    Mar, 2012

  • 共识信念的图形表达

    该论文研究了基于有限状态机的条件独立协议所建立的图模型，旨在探讨如何有效表示多个Agent集体主观信念的共识信念，发现 LogOP 可以有效维护普遍存在的马尔可夫独立性，因而可以用于构建共识性的Markov网络模型。

    Jan, 2013

  • 迭代信念库修正：一种动态认知逻辑方法

    研究AGM信念修正，通过构造优先量图实现对iterated信念修正理论的很好的特征化，并提出在动态认识逻辑中的信念变化运算符的一种新的句法表示。

    Feb, 2019

  • ASP中的多智体认知规划建模

    本文介绍了一种基于声明式编程技术的多智能体认知情境下的推理问题的解决方案，即PLATO（基于ePistemic多智能体Answer Program解决方案），利用自定义认知状态表征和ASP求解器的效率，在从文献中收集的基准测试中取得了有竞争力的性能结果，并为其正确性开发了形式验证。

    Aug, 2020

  • 一种针对冲突和不确定证据的信念模型——连接Dempster-Shafer理论和证据拓扑

    本论文提出了一种新的模型，结合了Dempster-Shafer Theory和Evidence的拓扑模型，可以根据不同标准计算代理的（可能）不同的信念程度，并解决了计算这些程度的问题的#P-complete问题。

    Jun, 2023

  • 多智体信仰的PAC语义学习性

    此文介绍了使用多智能体认知逻辑演示PAC学习的技术基础，涉及逻辑和弱推理，以提供强大的模型理论框架来回答查询，并研究了该算法的正确性、样本复杂性以及其能够高效的情况，利用表述定理将模态推理纳入命题推理中。

    Jun, 2023

  • 将信心聚合为信念：不可能结果的议程条件

    本文旨在研究如何将单个概率信念合理地聚合为集体二元信念，采用议程理论方法推广了此前的研究成果，得出了使“寡头统治”成立的议程条件，还研究了附加了匿名性和完备性一致性后的易证无解和不可避免结果。

    Jul, 2023

  • 多智能体仅信仰的基于基础的模型检验（长篇）

    我们提出了一种新的关于多智能体仅信任利用信任基础的语言的语义，并展示了如何将其用于自动检查该语言及其具有私有信念扩展运算符的动态扩展的公式。我们提供了一个依赖于QBF和另一种专用算法的PSPACE模型检查算法，并提出了基于QBF的算法的实现和一个具体实例的计算时间的一些实验结果。

    Jul, 2023

  • 调和：圆桌会议通过多样LLMs达成共识提升推理能力

    通过多轮讨论、学习说服他人并采用加权投票机制，ReConcile 提出了一种多模型多智能体框架，以改进大型语言模型的推理能力，并达到更好的共识。

    Sep, 2023

  • 多模态和多主体系统遇上合理性：一项调查

    本文旨在调查多模态和多代理系统是否在理性方面取得进展，通过概述最新的研究成果、鉴别单代理和单模态系统相对于理性的进步以及讨论开放性问题和未来方向。

    Jun, 2024