跳到正文
返回论文列表
cs.MA提交于 已译

复制还是佐证?多智能体辩论中证据依赖的公理框架

Replication or Corroboration? An Axiomatic Framework for Evidential Dependence in Multi-Agent Debate

Hoang-Loc Cao · Truong Thanh Hung Nguyen · Phuc Truong Loc Nguyen · Vo Thanh Khang Nguyen · Phuc Ho · Hung Nguyen · et al.

中文摘要

在多智能体辩论中,匹配的报告可能源于证据的重复(replication)或独立证据根对同一主张的佐证(corroboration)。简单计数报告次数会赋予中继或改写额外权重,而合并内容则会误删真实佐证。论文将此形式化为获取新证据成本高但复制成本低的判断博弈。证明根复制不变性(RRI)等价于阈值均匀复制免疫,在此条件下,仅复制的偏差无法改变裁决,且正成本复制被严格占优。若观察接口无法区分副本与新根,则无法同时忽略副本并对新根做出响应。引入谱系商(lineage quotient)以保留不同根的同时去除措辞与身份差异。在轨道连通域上,这是满足复制不变性的最粗表示。进一步将该构造提升至定量双极论证框架(QBAFs),刻画严格新根响应,并在 DF-QuAD 下证明其沿符号一致路径的传播,推导紧密闭式响应模数。对 28,224 个直接星型配置、2,052 个多层 DAG 及 277 个 AVeriTeC 衍生配置的穷举审计,验证了在给定划分下复制与佐证的预测分离。

关键要点

  1. 01指出多智能体辩论中区分证据复制与独立佐证的关键难题,现有计数或合并方法均存在缺陷。
  2. 02形式化为判断博弈,证明根复制不变性(RRI)等价于阈值均匀复制免疫,使正成本复制被严格占优。
  3. 03提出谱系商(lineage quotient)作为最粗表示,在去除冗余的同时保留不同证据根的独立性。
  4. 04将构造提升至定量双极论证框架(QBAFs),证明严格新根响应沿符号一致路径传播并推导闭式响应模数。
  5. 05通过 28,224 个星型配置、2,052 个多层 DAG 及 277 个 AVeriTeC 配置的穷举审计,验证了理论预测的分离效果。

解读

尚无解读。

原始英文摘要

arXiv:2610.36151v1 Announce Type: cross Abstract: In multi-agent debates, matching reports can arise for two different reasons: agents may repeat the same evidence (replication), or they may provide separate evidential roots that support the same claim (corroboration). A judge must distinguish these two cases. Counting report occurrences gives extra weight to relays, paraphrases, alias resubmissions, and excerpt splits, while merging all matching content avoids this only by also removing genuine corroboration. We formalize this tension as a minimal judgment game in which acquiring new evidence is costly, but replication is cheap. We show that root replication invariance (RRI) is exactly threshold-uniform replication immunity. Under RRI, replication-only deviations cannot change the verdict, and positive-cost replication is strictly dominated, whereas occurrence-sensitive and content-keyed judges admit profitable deviations. We also establish an information boundary: if a judge's observation interface cannot distinguish a replica from a matched fresh root, no judge can both ignore the replica and respond strictly to the fresh root. To preserve this distinction, we introduce the lineage quotient, which removes wording, identity, occurrence multiplicity, and arbitrary root names while keeping distinct roots separate. On orbit-connected domains, it is the coarsest representation sufficient for every deterministic judge invariant to replication and root-label renaming. We further lift this construction to quantitative bipolar argumentation frameworks (QBAFs), characterize strict fresh-root response, prove its propagation along sign-consistent paths under DF-QuAD, and derive a tight closed-form response modulus. Exhaustive audits over 28,224 direct-star profiles, 2,052 multi-layer DAGs, with matched interventions on 277 AVeriTeC-derived profiles, show the predicted separation between replication and corroboration under a supplied partition.

同方向论文 · cs.MA

查看全部 →

反向发现 · 这篇论文相关的工具与提示词

去交叉发现 →

关联提示词 · 2

智能体github.com/f/awesome-chatgpt-prompts·外部收录·

Personal Knowledge & Narrative Tool

Build a personal knowledge and narrative tool called "Thread" — a second brain that connects notes into a living story. Core features: - Note capture: fast input with title, body, tags, date, and an optional "life chapter" label (user-defi…

智能体github.com/f/awesome-chatgpt-prompts·外部收录·

AI Agent Security Evaluation Checklist

Act as an AI Security and Compliance Expert. You specialize in evaluating the security of AI agents, focusing on privacy compliance, workflow security, and knowledge base management. Your task is to create a comprehensive security evaluati…