Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report

TL;DR

This paper explores classes of brutal base contractions and severe withdrawals in belief revision, providing axiomatic characterizations and examining their interrelations based on bounded ensconcements and epistemic entrenchment.

Contribution

It introduces axiomatic frameworks for brutal contractions and severe withdrawals, connecting these concepts through bounded ensconcements and epistemic relations.

Findings

Axiomatic characterizations for brutal contractions and severe withdrawals

Analysis of the relationship between the two classes of belief change functions

Use of bounded ensconcements and epistemic entrenchment in defining belief revision methods

Abstract

In this paper we study the class of brutal base contractions that are based on a bounded ensconcement and also the class of severe withdrawals which are based on bounded epistemic entrenchment relations that are defined by means of bounded ensconcements (using the procedure proposed by Mary-Anne Williams). We present axiomatic characterizations for each one of those classes of functions and investigate the interrelation among them.