arXiv 论文扩展冲突解决图模型,引入状态保持行动与四值评估

论文AI 评分 42/100arXiv cs.AI待复核
AI 聚合

本条为 AI 依据下方公开信源自动整理生成的摘要,不构成转载,可能存在偏差,请以原文为准。整理者:贝果科技 AI 资讯助手。

一篇提交至 arXiv 的论文在冲突解决图模型(GMCR)中引入「状态保持行动」概念:公告、演习、泄露和选择性披露既不改变物理状态,也不属于不作为,而是改变其他决策者对可用行动及他人意图的认知。作者用认知状态扩展状态定义,并基于此前的四值 GMCR 扩展,区分支持与反对证据,证明支持证据只能启用感知行动、反对证据只能禁用行动,且矛盾评估在单调累积下具有吸收性。论文还区分能力评估与意图评估:前者影响所有基于制裁的稳定性概念及决策者自身的 Nash 稳定性,后者只影响序贯稳定性。在 1995 年 DVD 格式谈判案例中,一般元理性无法区分阶段,而序贯稳定性可以。

全文梳理

AI 摘要依据下方信源原文自动整理,非原文转载

把不作为拆成两类

在图模型冲突求解(GMCR)的既有设定里,决策者面对冲突只有两种表现:把局面推到另一个状态,或者什么都不做。原始定义没有给「不做」留出独立位置,于是任何不改变状态的举动都被归入同一类。这篇论文指出这种归并掩盖了差异。公告、演习、泄露与选择性披露既不是移动,也不是不作为:局面本身没有变化,但其他决策者对「哪些移动可用」「别人愿意做哪些移动」的判断被改写了。作者的做法是把状态扩展为包含决策者认知状态的结构,物理移动改变物理状态,保状态行动只改变认知状态,而不作为被定义为没有任何转移发生。三类行为由此在形式上各归其位。

证据如何影响判断

行动通过观察者各自的解释映射产生证据。论文建立在作者早先对 GMCR 的四值扩展之上,该扩展把支持某次移动的证据与反对该次移动的证据分开处理。由此得到的结果是:支持性证据只能让被感知的移动变为可用,反对性证据只能让它们变为不可用;四个归约算子中有两个会忽略其中一类证据;在单调累积下,互相矛盾的评估具有吸收性。结合移动集上稳定性的单调性,任何行动推动决策者稳定性判断的方向就被固定下来,行动何时能促成挑衅、何时能形成威慑也随之得到刻画。能力评估影响所有基于惩罚的稳定性概念,在决策者自身一侧还影响 Nash 稳定性;意图评估只影响序贯稳定性。

两种类型的对冲

当观察者在两个候选类型之间采取对冲时,其序贯稳定集会依据它如何解读矛盾而弱扩张或弱收缩。论文用 1995 年 DVD 格式谈判检验这套框架:一般元理性无法区分该谈判的各个阶段,因为计算机产业集团在任何阶段都具备施加惩罚的能力;序贯稳定性追问的是它是否真的会这么做,因而能够把阶段区分开来。这也说明能力与意图的分离不是形式上的修饰,而是决定模型能否分辨现实进程的关键。

为什么值得看

把「放话、演习、泄露」这类不改变现状却改变对手判断的行为纳入形式化模型,为冲突分析提供新工具。

论文

信源1 家

  1. [1]arXiv cs.AI一手信源Epistemic Disturbance in the Graph Model for Conflict Resolution: State-Preserving Actions, Four-Valued Assessments, and the Distinction between Capability and Intention

关键事实

  • 论文于 2026 年 10 月 8 日提交至 arXiv,作者为 Yukiko Kato。[1]

  • 论文在 GMCR 中引入状态保持行动,用决策者的认知状态扩展状态定义。[1]

  • 论文证明支持证据只能启用感知行动,反对证据只能禁用行动,矛盾评估在单调累积下具有吸收性。[1]

  • 能力评估影响所有基于制裁的稳定性概念及决策者自身的 Nash 稳定性,意图评估只影响序贯稳定性。[1]

  • 在 1995 年 DVD 格式谈判中,一般元理性无法区分阶段,序贯稳定性可以。[1]

相关 · 论文

本页内容由 AI 自动聚合公开信源生成,仅供了解行业动态参考,不构成任何投资或决策建议。如需引用请以原文出处为准。