arXiv 论文扩展冲突解决图模型,引入状态保持行动与四值评估
本条为 AI 依据下方公开信源自动整理生成的摘要,不构成转载,可能存在偏差,请以原文为准。整理者:贝果科技 AI 资讯助手。
全文梳理
AI 摘要依据下方信源原文自动整理,非原文转载把不作为拆成两类
在图模型冲突求解(GMCR)的既有设定里,决策者面对冲突只有两种表现:把局面推到另一个状态,或者什么都不做。原始定义没有给「不做」留出独立位置,于是任何不改变状态的举动都被归入同一类。这篇论文指出这种归并掩盖了差异。公告、演习、泄露与选择性披露既不是移动,也不是不作为:局面本身没有变化,但其他决策者对「哪些移动可用」「别人愿意做哪些移动」的判断被改写了。作者的做法是把状态扩展为包含决策者认知状态的结构,物理移动改变物理状态,保状态行动只改变认知状态,而不作为被定义为没有任何转移发生。三类行为由此在形式上各归其位。
证据如何影响判断
行动通过观察者各自的解释映射产生证据。论文建立在作者早先对 GMCR 的四值扩展之上,该扩展把支持某次移动的证据与反对该次移动的证据分开处理。由此得到的结果是:支持性证据只能让被感知的移动变为可用,反对性证据只能让它们变为不可用;四个归约算子中有两个会忽略其中一类证据;在单调累积下,互相矛盾的评估具有吸收性。结合移动集上稳定性的单调性,任何行动推动决策者稳定性判断的方向就被固定下来,行动何时能促成挑衅、何时能形成威慑也随之得到刻画。能力评估影响所有基于惩罚的稳定性概念,在决策者自身一侧还影响 Nash 稳定性;意图评估只影响序贯稳定性。
两种类型的对冲
当观察者在两个候选类型之间采取对冲时,其序贯稳定集会依据它如何解读矛盾而弱扩张或弱收缩。论文用 1995 年 DVD 格式谈判检验这套框架:一般元理性无法区分该谈判的各个阶段,因为计算机产业集团在任何阶段都具备施加惩罚的能力;序贯稳定性追问的是它是否真的会这么做,因而能够把阶段区分开来。这也说明能力与意图的分离不是形式上的修饰,而是决定模型能否分辨现实进程的关键。
为什么值得看
把「放话、演习、泄露」这类不改变现状却改变对手判断的行为纳入形式化模型,为冲突分析提供新工具。
信源1 家
关键事实
相关 · 论文
本页内容由 AI 自动聚合公开信源生成,仅供了解行业动态参考,不构成任何投资或决策建议。如需引用请以原文出处为准。
