Belief contraction without recovery
@article{Hansson1991BeliefCW,
title={Belief contraction without recovery},
author={Sven Ove Hansson},
journal={Studia Logica},
year={1991},
volume={50},
pages={251-260}
}The postulate of recovery is commonly regarded to be the intuitively least compelling of the six basic Gärdenfors postulates for belief contraction. We replace recovery by the seemingly much weaker postulate of core-retainment, which ensures that if x is excluded from K when p is contracted, then x plays some role for the fact that K implies p. Surprisingly enough, core-retainment together with four of the other Gärdenfors postulates implies recovery for logically closed belief sets. Reasonable…
137 Citations
Recovery and Epistemic Residue
- PhilosophyJ. Log. Lang. Inf.
- 1999
It is concluded that recovery is defensible as a by-product of a formalization that is idealized in the sense of being simplified for the sake of clarity.
Maximal and perimaximal contraction
- EconomicsSynthese
- 2012
It is shown that partial meet contraction is exactly characterized by adding to one of these constructions the condition that all logically closed subsets of the belief set can be obtained as the outcome of a single (multiple) contraction.
Pseudo-contractions in belief revision
- Philosophy
- 2016
This work has proposed a new pseudo-contraction operation, studied its properties and characterized it, and found connections between this operator and some other pseudo-contractions.
Iterated Belief Change and the Recovery Axiom
- Computer Science, EconomicsJ. Philos. Log.
- 2008
It is shown that intuitions underlying the controversial (C2) postulate are captured by the recovery axiom and the authors' recovery-like postulates, which makes iterated revision possible and renders explicit the connection between iterated belief change and the axiom of recovery.
Iterated revision and the axiom of recovery: a unified treatment via epistemic states
- EconomicsNMR
- 2002
This work presents additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions, and provides a representation theorem that connects the semantic conditions the authors impose on iterated revision and the additional syntactical properties mentioned.
Repertoire Contraction
- BiologyJ. Log. Lang. Inf.
- 2013
In this first investigation of repertoire contraction, postulates for various variants of the operation are introduced and a close connection is shown to hold between repertoire contraction and specified meet contraction.
Between Belief Bases and Belief Sets: Partial Meet Contraction
- MathematicsDARe@IJCAI
- 2015
The present work investigates the consequences of using two different consequence operators for each of these desiderata: the classic Cn to compute success and a second weaker operator to compute the closure.
Reversing the Levi identity
- PhilosophyJ. Philos. Log.
- 1993
The AGM (Alchourrón-GÄrdenfors-Makinson) model of belief change is extended to cover changes on sets of beliefs that arenot closed under logical consequence (belief bases). Three major types of…
A General Family of Preferential Belief Removal Operators
- Computer ScienceJ. Philos. Log.
- 2012
This paper generalise the structure of Booth et al. ( 2010) to allow incomparabilities between worlds, and axiomatise the resulting class of belief removal functions, and shows that it includes an important family of removal functions based on finite prioritised belief bases.
Horn Contraction via Epistemic Entrenchment
- PhilosophyJELIA
- 2010
This paper proposes a Horn contraction that is based on the Epistemic Entrenchment (EE) construction of AGM contraction, and makes use of a Horn approximation technique called Horn strengthening, which identifies the characterising postulates for the Horn contraction.
References
SHOWING 1-7 OF 7 REFERENCES
On the status of the postulate of recovery in the logic of theory change
- PhilosophyJ. Philos. Log.
- 1987
We discuss the rather special status of the postulate of "recovery" among the six basic postulates for theory contraction as formulated and studied by Alchourr6n, Gdirdenfors and the author. Our…
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
- MathematicsJ. Symb. Log.
- 1985
The authors investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated, and basic properties of these functions are established.
On the logic of theory change: Safe contraction
- EconomicsStud Logica
- 1985
A notion of “safe contraction” of a set of propositions is defined, it is shown that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and its properties are studied both in general and under various natural constraints.
Investigations into a Theory of Knowledge Base Revision
- Computer ScienceAAAI
- 1988
This paper formulates some desirable principles of knowledge revision, and investigates a new theory of revision that realizes these principles, and illustrates its application through examples and compare it with several other approaches.
Multiple contraction. A further case against Gärdenfors' principle of recovery
- Mathematics, Computer ScienceThe Logic of Theory Change
- 1989