First-order belief revision
| Abstract | We present a model for first-order belief revision that is characterized by an underlying relevance-like relation and a background proof system. The model is extremely general in order to allow for a wide variety in these characterizing parameters. It allows some weakenings of beliefs which were initially implicit to become explicit and survive the revision process. The effects of revision are localized to the part of the theory that is influenced by the the new information. Iterated revision in this model is handled trivially since the revision operator is constructive by definition. The usage of deductively limited proof systems permits an inconsistency tolerant model. The notion of a part of a theory capable of being influenced by new information (designed to accomodate the specific character of first-order languages) is shown to satisfy some intuitive and desirable properties. We show that for particular parametrizations, standard revision schemes can be embedded into our paradigm. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesHans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229 - 275.
Eduardo L. Fermé & Sven Ove Hansson (1999). Selective Revision. Studia Logica 63 (3):331-342.
Giacomo Bonanno (2008). Belief Revision in a Temporal Framework. In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Craig Boutilier (1996). Iterated Revision and Minimal Change of Conditional Beliefs. Journal of Philosophical Logic 25 (3):263 - 305.
Marcelo Alejandro Falappa, Alejandro Javier García, Gabriele Kern-Isberner & Guillermo Ricardo Simari (2013). Stratified Belief Bases Revision with Argumentative Inference. Journal of Philosophical Logic 42 (1):161-193.
Brian Hill (2008). Towards a “Sophisticated” Model of Belief Dynamics. Part II: Belief Revision. Studia Logica 89 (3):291 - 323.
Frank E. Ritter, Josef F. Krems & Martin R. K. Baumann (2011). Learning From Examples Does Not Prevent Order Effects in Belief Revision. Thinking and Reasoning 16 (2):98-130.
Frank E. Ritter, Josef F. Krems & Martin R. K. Baumann (2011). Learning From Examples Does Not Prevent Order Effects in Belief Revision. Thinking and Reasoning 16 (2):98-130.
Peter Gardenfors (1990). Belief Revision and Relevance. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:349 - 365.
Edwin D. Mares (2002). A Paraconsistent Theory of Belief Revision. Erkenntnis 56 (2):229 - 246.
Hans Rott (2012). Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision. Journal of Philosophical Logic 41 (1):173-200.
Robert Stalnaker (2009). Iterated Belief Revision. Erkenntnis 70 (2):189 - 209.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads4 ( #178,675 of 549,075 )Recent downloads (6 months)1 ( #63,317 of 549,075 )How can I increase my downloads? |
My notes
Discussion
