研究人员引入了抽象世界语义（AWS），一个不假设任何逻辑语法的、新的基于集合论的信念变更框架。该方法将世界视为基本元素，在其上定义收缩和修正算子，以统一各种信念变更模型。AWS 旨在通过提供对不同模型（包括 AGM、KM 和 Multiple Change）应用于经典命题逻辑时的同质化解释，来简化和推广信念变更理论。 AI
影响 引入了一个新颖的信念变更理论框架，有可能简化和统一人工智能研究中现有的模型。
排序理由 该集群包含一篇详细介绍新理论框架的学术论文。
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
arXiv:2606.02163v1 Announce Type: new Abstract: This article proposes a set-theoretic framework for belief change, called Abstract Worlds Semantics, in which no logical syntax is assumed. Inspired by Grove's (1988) results, our approach treats worlds as primitive elements, over w…
This article proposes a set-theoretic framework for belief change, called Abstract Worlds Semantics, in which no logical syntax is assumed. Inspired by Grove's (1988) results, our approach treats worlds as primitive elements, over which world contraction and world revision operat…