Synthese 68 (1):185 - 186 (1986)
|Abstract||The paper surveys some recent work on formal aspects of the logic of theory change. It begins with a general discussion of the intuitive processes of contraction and revision of a theory, and of differing strategies for their formal study. Specific work is then described, notably Gärdenfors' postulates for contraction and revision, maxichoice contraction and revision functions and the condition of orderliness, partial meet contraction and revision functions and the condition of relationality, and finally the operations of safe contraction and revision. Verifications and proofs are omitted, with references given to the literature but definitions and principal results are presented with rigour along with discussion of their significance|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Ivan José Varzinczak (2010). On Action Theory Change. Journal of Artificial Intelligence Research 37 (1):189-246.
Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema (2000). Infobase Change: A First Approximation. Journal of Logic, Language and Information 9 (3):353-377.
Sven Ove Hansson (2009). Replacement—a Sheffer Stroke for Belief Change. Journal of Philosophical Logic 38 (2):127 - 149.
Eduardo L. Fermé (1998). On the Logic of Theory Change: Contraction Without Recovery. Journal of Logic, Language and Information 7 (2):127-137.
Carlos E. Alchourrón & David Makinson (1986). Maps Between Some Different Kinds of Contraction Function: The Finite Case. Studia Logica 45 (2):187 - 198.
Mark Jago (2006). Resource-Bounded Belief Revision and Contraction. In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer.
Abhaya C. Nayak (1994). Foundational Belief Change. Journal of Philosophical Logic 23 (5):495 - 533.
Carlos E. Alchourrón & David Makinson (1985). On the Logic of Theory Change: Safe Contraction. Studia Logica 44 (4):405 - 422.
Carlos E. Alchourrón, Peter Gärdenfors & David Makinson (1985). On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50 (2):510-530.
David Makinson (1985). How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change. Synthese 62 (3):347 - 363.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads3 ( #203,804 of 556,807 )
Recent downloads (6 months)0
How can I increase my downloads?