Graduate studies at Western
Journal of Philosophical Logic 38 (5):527 - 548 (2009)
|Abstract||The well known AGM framework for belief revision has recently been extended to include a model of the research agenda of the agent, i.e. a set of questions to which the agent wishes to find answers (Olsson & Westlund in Erkenntnis , 65 , 165–183, 2006 ). The resulting model has later come to be called interrogative belief revision . While belief revision has been studied extensively from the point of view of modal logic, so far interrogative belief revision has only been dealt with in the metalanguage approach in which AGM was originally presented. In this paper, I show how to model interrogative belief revision in a modal object language using a class of operators for questions. In particular, the solution I propose will be shown to capture the notion of K-truncation , a method for agenda update in the case of expansion constructed by Olsson & Westlund. Two case studies are conducted: first, an interrogative extension of Krister Segerberg’s system DDL, and then a similar extension of Giacomo Bonanno’s modal logic for belief revision. Sound and complete axioms will be provided for both of the resulting logics.|
|Keywords||Belief revision Modal logic Research agenda Questions|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Adnan Darwiche & Judea Pearl (1997). On the Logic of Iterated Belief Revision. Artificial Intelligence 89:1-29.
Emmanuel J. Genot (2009). The Game of Inquiry: The Interrogative Approach to Inquiry and Belief Revision Theory. Synthese 171 (2):271 - 289.
Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229 - 275.
Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229-275.
Gregory Wheeler, AGM Belief Revision in Monotone Modal Logics. LPAR 2010 Short Paper Proceedings.
Giacomo Bonanno (2007). Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic. Artificial Intelligence 171 (2-3):144-160.
Johan van Benthem (2007). Dynamic Logic for Belief Revision. Journal of Applied Non-Classical Logics 17 (2):129-155.
Giacomo Bonanno (2012). Belief Change in Branching Time: AGM-Consistency and Iterated Revision. [REVIEW] Journal of Philosophical Logic 41 (1):201-236.
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.
Added to index2009-03-04
Total downloads51 ( #24,476 of 739,396 )
Recent downloads (6 months)1 ( #61,680 of 739,396 )
How can I increase my downloads?