两篇新研究论文探讨了认知逻辑领域的进展，该领域关注关于知识和信念的推理。第一篇论文在标准克里普克模型中引入了一种新颖的信念收缩机制，解决了现有方法需要丰富模型的局限性。第二篇论文侧重于具有分布式知识的认知逻辑的序列演算，建立了保证这些系统满足 Craig 插值定理的解析割性质。 AI
影响 认知逻辑领域的这些理论进展可以为未来在不确定性下进行推理和决策的 AI 系统提供信息。
排序理由 两篇在 arXiv 上发表的学术论文，详细介绍了逻辑领域的理论进展。
AI 生成摘要 · Google Gemini · 来自 3 个来源。 我们如何撰写摘要 →
arXiv:2606.31861v1 Announce Type: cross Abstract: Dynamic epistemic logic represents belief change via model transformations induced by epistemic events. Its standard formulation (Baltag, Moss, Solecki, 1998) provides a natural account of belief expansion through the elimination …
Distributed knowledge is a notion of group knowledge studied in multi-agent epistemic logic. Semantically, the distributed knowledge of a group is interpreted via an accessibility relation given by the intersection of the epistemic accessibility relations of the agents in that gr…
Dynamic epistemic logic represents belief change via model transformations induced by epistemic events. Its standard formulation (Baltag, Moss, Solecki, 1998) provides a natural account of belief expansion through the elimination of possibilities, but it cannot model belief contr…