Synthese 169 (2):371-384 (2009)
This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit. First, we analyze a variety of epistemological notions involved in identification in the limit and match it with traditional epistemic and doxastic logic approaches. Then, we provide a comparison of learning by erasing (Lange et al. 1996) and iterated epistemic update (Baltag and Moss 2004) as analyzed in dynamic epistemic logic. We show that finite identification can be modelled in dynamic epistemic logic, and that the elimination process of learning by erasing can be seen as iterated belief-revision modelled in dynamic doxastic logic. Finally, we propose viewing hypothesis spaces as temporal frames and discuss possible advantages of that perspective.
|Keywords||Identiﬁcation in the limit Learning by erasing Finite identiﬁability Dynamic epistemic logic Belief revision|
|Categories||categorize this paper)|
References found in this work BETA
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.
Logics for Epistemic Programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.
Citations of this work BETA
Dynamic Update with Probabilities.Benthem Johan van, Gerbrandy Jelle & Kooi Barteld - 2009 - Studia Logica 93 (1):67 - 96.
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.
Similar books and articles
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Prolegomena to Dynamic Logic for Belief Revision.P. Van Ditmarsch Hans - 2005 - Synthese 147 (2):229-275.
Diversity of Agents and Their Interaction.Fenrong Liu - 2008 - Journal of Logic, Language and Information 18 (1):23-53.
Finite Identification From the Viewpoint of Epistemic Update.Cédric Dégremont & Nina Gierasimczuk - 2011 - Information And Computation 209 (3):383-396.
Added to index2009-04-27
Total downloads80 ( #65,726 of 2,171,921 )
Recent downloads (6 months)2 ( #173,715 of 2,171,921 )
How can I increase my downloads?