The Realizability of Revision and Contraction Operators in Epistemic Spaces

2024/07/30 by Kai Sauerwald, Sauerwald, Kai, Matthias Thimm +1 · 2 citations
Computer Science · Mathematics · #03B42 #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.4 #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.2407.20918

openalex publication_date 2024/07/30 · openalex created_date 2024/08/01 · openalex updated_date 2026/07/28

Abstract

This paper studies the realizability of belief revision and belief contraction operators in epistemic spaces. We observe that AGM revision and AGM contraction operators for epistemic spaces are only realizable in precisely determined epistemic spaces. We define the class of linear change operators, a special kind of maxichoice operator. When AGM revision, respectively, AGM contraction, is realizable, linear change operators are a canonical realization.

Cited by

• Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback
• On Definite Iterated Belief Revision with Belief Algebras

Related

• Credibility-Limited Revision for Epistemic Spaces
• Actions and Belief Revision : A Computational Approach
• Belief Revision, Minimal Change and Relaxation: A General Framework\n based on Satisfaction Systems, and Applications to Description Logics
• On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
• Extending the Harper Identity to Iterated Belief Change