How to model relational belief revision
In Dag Prawitz & Dag Westerståhl (eds.), Logic and Philosophy of Science in Uppsala. Kluwer (1994)
| Abstract | This is a short version of Lindström & Rabinowicz 1991.In earlier papers, we proposed a generalization of the AGM approach to belief revision. The proposal was to view belief revision as a relation rather than as a function on theories (or belief sets). Going relational means that one allows for several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to belief revision due to Adam Grove. In his (1988) paper, Grove presented two closely related modelings of functional belief revision, one in terms of a family of "spheres" around the agent's theory G and the other in terms of an epistemic entrenchment ordering of propositions. The "sphere"-terminology is natural when one looks upon theories and propositions as sets of possible worlds. Grove's spheres may be thought of as possible "fallback" theories relative to the agent's original theory: theories that he may reach by deleting propositions that are not "sufficiently" entrenched (according to standards of sufficient entrenchment of varying stringency). The entrenchment ordering can be recovered from the family of fallbacks by the definition: A is at least as entrenched as B iff A belongs to every fallback to which B belongs. To revise a theory T with a proposition A, we go to the smallest sphere that contain A-worlds and intersect it with A. The relational notion of belief revision that we are interested in, results if one allows that some propositions may be incomparable with respect to epistemic entrenchment. As a result, the family of fallbacks around a given theory will no longer have to be nested. This change opens up the possibility for several different ways of revising a theory with a given proposition. | |||||||||
| Keywords | belief revision entrenchment relational belief revision fallbacks Adam Grove AGM Peter Gärdenfors | |||||||||
| Categories | ||||||||||
| 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 |
 |
| Through your library | Configure |
Similar books and articlesEduardo L. Fermé & Sven Ove Hansson (1999). Selective Revision. Studia Logica 63 (3):331-342.
Craig Boutilier (1996). Iterated Revision and Minimal Change of Conditional Beliefs. Journal of Philosophical Logic 25 (3):263 - 305.
Sebastian Enqvist (2009). Interrogative Belief Revision in Modal Logic. Journal of Philosophical Logic 38 (5):527 - 548.
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.
Brian Hill (2008). Towards a “Sophisticated” Model of Belief Dynamics. Part II: Belief Revision. Studia Logica 89 (3):291 - 323.
Sten Lindström & Wlodek Rabinowicz (1991). Epistemic Entrenchment with Incomparabilities and Relational Belief Revision. In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer.
Sten Lindström & Wlodzimierz Rabinowicz (1992). Belief Revision, Epistemic Conditionals and the Ramsey Test. Synthese 91 (3):195 - 237.
Hans Rott (2012). Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision. Journal of Philosophical Logic 41 (1):173-200.
Analytics
Monthly downloads |
Added to index2009-07-24Total downloads9 ( #114,063 of 549,087 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
