Translator Disclaimer
Winter 1995 Constructive Modelings for Theory Change
Pavlos Peppas, Mary-Anne Williams
Notre Dame J. Formal Logic 36(1): 120-133 (Winter 1995). DOI: 10.1305/ndjfl/1040308831


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).


Download Citation

Pavlos Peppas. Mary-Anne Williams. "Constructive Modelings for Theory Change." Notre Dame J. Formal Logic 36 (1) 120 - 133, Winter 1995.


Published: Winter 1995
First available in Project Euclid: 19 December 2002

zbMATH: 0844.03017
MathSciNet: MR1359110
Digital Object Identifier: 10.1305/ndjfl/1040308831

Primary: 03B60
Secondary: 03C90, 68T27

Rights: Copyright © 1995 University of Notre Dame


Vol.36 • No. 1 • Winter 1995
Back to Top