Graduate studies at Western
Studia Logica 100 (3):453-479 (2012)
|Abstract||I develop a dynamic logic for reasoning about "interrogative belief revision", a new branch of belief revision theory that has been developed in a small number of papers, beginning with E. J. Olsson and D. Westlund's paper "On the role of the research agenda in epistemic change" . In interrogative belief revision, epistemic states are taken to include a research agenda, consisting of questions the agent seeks to answer. I present a logic for revision of such epistemic states based on the notion of an epistemic strategy, a stable plan of action that determines changes in the agent's research agenda. This idea is a further development of an idea put forward in , that changes in the research agenda of an agent should be determined by stable, "long term" research interests. I provide complete axioms and a decidability result for the logic|
|Keywords||Belief revision Research agenda Dynamic logic Questions|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Sebastian Enqvist (2009). Interrogative Belief Revision in Modal Logic. Journal of Philosophical Logic 38 (5):527 - 548.
Abhaya C. Nayak, Paul Nelson & Hanan Polansky (1996). Belief Change as Change in Epistemic Entrenchment. Synthese 109 (2):143 - 174.
Emmanuel J. Genot (2011). The Best of All Possible Worlds. In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer.
Johan van Benthem (2007). Dynamic Logic for Belief Revision. Journal of Applied Non-Classical Logics 17 (2):129-155.
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.
Sven Ove Hansson, Eduardo Leopoldo Fermé, John Cantwell & Marcelo Alejandro Falappa (2001). Credibility Limited Revision. Journal of Symbolic Logic 66 (4):1581-1596.
Abhaya C. Nayak (1994). Iterated Belief Change Based on Epistemic Entrenchment. Erkenntnis 41 (3):353-390.
Emmanuel J. Genot (2009). Extensive Questions. Lecture Notes in Computer Science 5378:131--145.
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.
Michael J. Shaffer (2002). Coherence, Justification, and the AGM Theory of Belief Revision. In Yves Bouchard (ed.), Perspectives on Coherentism. Editions du Scribe.
Hans Rott (2003). Basic Entrenchment. Studia Logica 73 (2):257 - 280.
Added to index2012-07-03
Total downloads5 ( #170,343 of 738,458 )
Recent downloads (6 months)1 ( #61,778 of 738,458 )
How can I increase my downloads?