用抽象世界统一建模信念变更，无需逻辑语法
An Abstract Worlds Semantic Framework for Belief Change Operators
- 以世界为基本单元定义信念收缩与修订算子
- 统一了经典与非优先的信念变更模型
- 适用于命题逻辑下的AGM、KM等各类框架
本文提出一种基于集合论的信念变更语义框架——抽象世界语义（Abstract Worlds Semantics），不依赖任何逻辑语法。受Grove（1988）工作启发，该方法将世界视为原始元素，并在其上定义世界收缩与世界修订算子。此语义框架实现了对信念变更模型的统一分析。通过定义通用算子，我们统一了经典与非优先信念变更构造。在经典命题逻辑下，该框架为AGM、KM及多重变更模型提供了同质化解释。总体而言，AWS系统化了信念变更框架与算子，简化并推广了信念集上的信念变更理论。
原文摘要 · Abstract (English)
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 operators are defined. This semantic framework enables a unified analysis of belief change models. Within this framework, we unify classical and non-prioritized belief change constructions by defining versatile operators. When classical propositional logic is considered, our framework provides a homogeneous account of AGM, KM, and Multiple Change models. In summary, AWS systematizes belief change frameworks and operators, simplifying and generalizing belief change theory over belief sets.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。