arXiv:2607.28523cs.AIcs.LO2026-07

提出可选择性接受部分信念输入的新更新机制,更贴近现实认知过程。

Selective Credibility-Limited Belief Update

  • 将信念输入按源世界分解为弱化代理再进行可信度筛选
  • 定义两类良好行为的子类:保持一致性与最大化信息量
  • 统一涵盖经典信念更新模型,支持依赖来源的选择性接受

信念更新涉及代理信念随世界变化而发生改变。标准Katsuno-Mendelzon更新假设每个初始可能世界均可接收全部认知输入,而可信度受限更新则对每个源世界限制后续可信或可达的世界。但现有方法将认知输入视为不可分割整体,无法表达仅部分复合输入可实现的情形。本文提出选择性可信度受限信念更新:在每源世界中,先将认知输入转化为较弱代理,再执行可信度受限转移。我们提供了该类更新算子的语义与公理化刻画,并识别出两个良好行为的子类——保持一致性的更新算子(当原始输入一致时,其转换后输入在源世界始终可信),以及最大一致性保持算子(所选代理是原输入可信结果中信息量最大的)。最后证明该框架具有普遍性:当可信度限制恢复时即退化为可信度受限更新;当移除可信度限制且转换函数取恒等映射时,则还原为Katsuno–Mendelzon更新。结果表明该框架提供了一个统一且严格更丰富的信念更新表达,涵盖已有方法并支持源依赖的选择性接受。

原文摘要 · Abstract (English)

Belief update concerns changes in an agent's beliefs induced by changes in the underlying world. Standard Katsuno-Mendelzon update assumes that an epistemic input can be incorporated from every initially possible world, whereas credibility-limited belief update restricts, for each source world, the successor worlds regarded as credible or reachable. Nevertheless, existing credibility-limited approaches treat the epistemic input as an indivisible whole, and therefore cannot represent cases in which only part of a compound epistemic input can be realized. We introduce selective credibility-limited belief update, in which the epistemic input is transformed, relative to each source world, into a weaker proxy before the credibility-limited transition is performed. We provide semantic and axiomatic characterizations of the resulting class of update operators. We then identify two well-behaved sub-classes; namely, consistency-preserving update operators, which require every transformed epistemic input to be credible from its source world whenever the original epistemic input is consistent, and maximal consistency-preserving update operators, which additionally require the selected proxy to be maximally informative among the credible consequences of the original epistemic input. Finally, we establish the generality of the proposed framework by showing that credibility-limited belief update is recovered as a special case, while Katsuno--Mendelzon belief update emerges when credibility restrictions are removed and the transformation functions are taken to be identities. These results demonstrate that the framework provides a unified and strictly more expressive account of belief update, encompassing established approaches while supporting source-dependent selective acceptance.

信念更新逻辑推理认知建模

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。