Search papers, labs, and topics across Lattice.
This paper introduces the Abstract Worlds Semantics (AWS), a set-theoretic framework for belief change that operates without assuming any logical syntax. By treating worlds as primitive elements, the authors define world contraction and revision operators that unify various belief change models, including AGM, KM, and Multiple Change frameworks. The key result is that AWS simplifies and generalizes belief change theory, providing a cohesive analysis of both classical and non-prioritized belief change constructions.
A unified framework for belief change that transcends classical logic, offering a more versatile and simplified approach to understanding belief dynamics.
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.
