Notre Dame Journal of Formal Logic 36 (1):120-133 (1995)
Alchourrón, Gärdenfors and Makinson have developed and investigated a set of rationality postulates which appear to capture much of what is required of any rational system of theory revision. This set of postulates describes a class of revision functions, however it does not provide a constructive way of defining such a function. There are two principal constructions of revision functions, namely an epistemic entrenchment and a system of spheres. We refer to their approach as the AGM paradigm. We provide a new constructive modeling for a revision function based on a nice preorder on models, and furthermore we give explicit conditions under which a nice preorder on models, an epistemic entrenchment, and a system of spheres yield the same revision function. Moreover, we provide an identity which captures the relationship between revision functions and update operators (as defined by Katsuno and Mendelzon)
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Epistemic Entrenchment-Based Multiple Contractions.Eduardo Fermé & Maurício D. L. Reis - 2013 - Review of Symbolic Logic 6 (3):460-487.
Similar books and articles
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Constructive Empiricism and the Closure Problem.Guillaume Rochefort-Maranda - 2011 - Erkenntnis 75 (1):61-65.
On the Constructive Dedekind Reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
Constructive Versus Ontological Construals of Cantorian Ordinals.Wolfram Hinzen - 2003 - History and Philosophy of Logic 24 (1):45-63.
On Constructive Functions Ranging Over Propositions.H. Luckhardt - 1980 - Studia Logica 39 (4):371 - 374.
In Defense of a Constructive, Information-Based Approach to Decision Theory.M. R. Yilmaz - 1997 - Theory and Decision 43 (1):21-44.
Meta-Modeling as a Strategy for Constructive Change.Steven M. Rosen - 1981 - Man-Environment Systems 11 (4):150-160.
Constructive Empiricism and the Problem of Aboutness.Elliott Sober - 1985 - British Journal for the Philosophy of Science 36 (1):11-18.
Added to index2010-08-24
Total downloads63 ( #78,517 of 2,116,966 )
Recent downloads (6 months)1 ( #395,074 of 2,116,966 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.