Graduate studies at Western
Journal of Philosophical Logic 38 (2):127 - 149 (2009)
|Abstract||By replacement is meant an operation that replaces one sentence by another in a belief set. Replacement can be used as a kind of Sheffer stroke for belief change, since contraction, revision, and expansion can all be defined in terms of it. Replacement can also be defined either in terms of contraction or in terms of revision. Close connections are shown to hold between axioms for replacement and axioms for contraction and revision. Partial meet replacement is axiomatically characterized. It is shown that this operation can have outcomes that are not obtainable through either partial meet contraction or partial meet revision.|
|Keywords||Replacement Sheffer stroke Belief revision AGM model Revision Contraction|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
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.
Sven Ove Hansson (1993). Reversing the Levi Identity. Journal of Philosophical Logic 22 (6):637 - 669.
Sven Ove Hansson (1993). Theory Contraction and Base Contraction Unified. Journal of Symbolic Logic 58 (2):602-625.
Abhaya C. Nayak (1994). Foundational Belief Change. Journal of Philosophical Logic 23 (5):495 - 533.
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.
Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema (2000). Infobase Change: A First Approximation. [REVIEW] Journal of Logic, Language and Information 9 (3):353-377.
Sven Ove Hansson (1993). Changes of Disjunctively Closed Bases. Journal of Logic, Language and Information 2 (4):255-284.
Richard Booth & Eva Richter (2005). On Revising Fuzzy Belief Bases. Studia Logica 80 (1):29 - 61.
Sven Ove Hansson (2008). Specified Meet Contraction. Erkenntnis 69 (1):31 - 54.
Sven Ove Hansson (1994). Kernel Contraction. Journal of Symbolic Logic 59 (3):845-859.
Added to index2009-02-07
Total downloads9 ( #122,430 of 722,946 )
Recent downloads (6 months)1 ( #61,087 of 722,946 )
How can I increase my downloads?