We present a model for ﬁrst-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 inﬂuenced by the the new information. Iterated revision in this model is handled trivially since the revision operator is constructive by deﬁnition. The usage of deductively limited proof systems permits an inconsistency tolerant model. The notion of a part of a theory capable of being inﬂuenced by new information (designed to accomodate the speciﬁc character of ﬁrst-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||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Prolegomena to Dynamic Logic for Belief Revision.P. Van Ditmarsch Hans - 2005 - Synthese 147 (2):229-275.
Belief Revision in a Temporal Framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Iterated Revision and Minimal Change of Conditional Beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.
Stratified Belief Bases Revision with Argumentative Inference.Marcelo Alejandro Falappa, Alejandro Javier García, Gabriele Kern-Isberner & Guillermo Ricardo Simari - 2013 - Journal of Philosophical Logic 42 (1):161-193.
Learning From Examples Does Not Prevent Order Effects in Belief Revision.Frank E. Ritter, Josef F. Krems & Martin R. K. Baumann - 2010 - Thinking and Reasoning 16 (2):98-130.
Belief Revision and Relevance.Peter Gardenfors - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:349 - 365.
Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision.Hans Rott - 2012 - Journal of Philosophical Logic 41 (1):173-200.
Added to index2010-12-22
Total downloads11 ( #407,270 of 2,178,255 )
Recent downloads (6 months)1 ( #316,623 of 2,178,255 )
How can I increase my downloads?