Belief Revision in Dynamic Epistemic Logic and Ranking Theory
| Abstract | I want to look at recent developments of representing AGM-style belief revision in dynamic epistemic logics and the options for doing something similar for ranking theory. Formally, my aim will be modest: I will define a version of basic dynamic doxastic logic using ranking functions as the semantics. I will show why formalizing ranking theory this way is useful for the ranking theorist first by showing how it enables one to compare ranking theory more easily with other approaches to belief revision. I will then use the logic to state an argument for defining ranking functions on larger sets of ordinals than is customary. Secondly, I will argue that the only way to extend the account of belief revision given by ranking theory to higher-order beliefs and revisions is by continuing the approach taken by me and defining ranking theoretical equivalents of dynamic epistemic logics. For proponents of dynamic epistemic logic, such logics will naturally be of interest provided they are convinced of the revision operator defined by ranking theory. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesNina Gierasimczuk (2009). Bridging Learning Theory and Dynamic Epistemic Logic. Synthese 169 (2):371-384.
Franz Huber (2006). Ranking Functions and Rankings on Languages. Artificial Intelligence 170:462-471.
Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229 - 275.
Wolfgang Spohn (2009). A Survey of Ranking Theory. In Franz Huber & Christoph Schmidt-Petri (eds.), Degrees of Belief. Springer.
Emil Weydert (2012). Conditional Ranking Revision. Journal of Philosophical Logic 41 (1):237-271.
Wolfgang Spohn (1988). Ordinal Conditional Functions. A Dynamic Theory of Epistemic States. In W. L. Harper & B. Skyrms (eds.), Causation in Decision, Belief Change, and Statistics, vol. II. Kluwer.
Wolfgang Spohn, Ranking Functions, AGM Style. Internet Festschrift for Peter Gärdenfors.
Analytics
Monthly downloads |
Added to index2010-07-24Total downloads86 ( #8,508 of 551,054 )Recent downloads (6 months)3 ( #25,753 of 551,054 )How can I increase my downloads? |
My notes
Discussion
