Interrogative Belief Revision Based on Epistemic Strategies
- 106 Downloads
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.
KeywordsBelief revision Research agenda Dynamic logic Questions
Unable to display preview. Download preview PDF.
- 1.Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.Google Scholar
- 2.Baltag, A., L. S. Moss and S. Solecki, The logic of common knowledge, public announcements and private suspicions, in I. Gilboa (ed.), Proceedings of the 7th Conference on Theoretical aspects of Rationality and Knowledge (TARK 98), 1998, pp. 43–56.Google Scholar
- 8.Gárdenfors P.: Knowledge in Flux: Modeling the dynamics of epistemic states. MIT Press, Cambridge, Massachusetts (1988)Google Scholar
- 9.Hintikka J.: Inquiry as Inquiry: A Logic of Scientific Discovery. Kluwer Academic Publishers, Dordrecht (1999)Google Scholar
- 10.Hughes, G.E. and M.J. Cresswell, A New Introduction to Modal Logic, Routledge, 1996.Google Scholar
- 11.Lewis, D., Counterfactuals, Harvard University Press 1973.Google Scholar
- 13.Osborne, M. J., and A. Rubinstein, A Course in Game Theory, The MIT Press, 1994.Google Scholar
- 15.Rott, H., Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators, in D. Makinson, J. Malinowski and H. Wansing (eds.), Towards Mathematical Philosophy, Trends in Logic 28, Springer 2009, pp. 269–296.Google Scholar
- 21.van Ditmarsch H.P., van der Hoek P., Kooi B.P.: Dynamic Epistemic Logic. Springer, Dordrecht (2005)Google Scholar