KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

The Realizability of Revision and Contraction Operators in Epistemic Spaces

  1. Kai Sauerwald(FernUniversität in Hagen)
  2. Matthias Thimm(FernUniversität in Hagen)

Keywords

  1. Belief change-General

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, which are a special kind of maxichoice operators. When AGM revision, respectively, AGM contraction, is realizable, linear change operators are a canonical realization.