arXiv cs.AI· Hoang-Loc Cao, Truong Thanh Hung Nguyen, Phuc Truong Loc Nguyen, Vo Thanh Khang Nguyen, Phuc Ho, Hung Nguyen, Duc Pham, Long Tran-Thanh, Hung Cao·· 4 小时前AI 评分29
多智能体辩论中的证据依赖公理化框架：复制还是佐证
Replication or Corroboration? An Axiomatic Framework for Evidential Dependence in Multi-Agent Debate
AI 导读
一篇 arXiv 论文提出公理化框架，区分多智能体辩论中匹配报告的两种成因：智能体重复同一证据（复制）与各自提供独立证据根（佐证）。论文证明根复制不变性（RRI）等价于阈值均匀的复制免疫，并提出谱系商（lineage quotient）去除措辞、身份与出现次数影响、保留独立证据根，还将其推广到 QBAF 并在 DF-QuAD 下给出闭式响应模数。
正文 · 原文
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.
| Subjects: | Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO) |
| Cite as: | arXiv:2610.36151 [cs.MA] |
| (or arXiv:2610.36151v1 [cs.MA] for this version) | |
| https://doi.org/10.48550/arXiv.2610.36151 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Truong Thanh Hung Nguyen [view email]
[v1]
Mon, 26 Oct 2026 18:53:17 UTC (92 KB)
来源：arXiv cs.AI · arxiv.org