Synthese

, Volume 169, Issue 2, pp 371–384

Bridging learning theory and dynamic epistemic logic

Open Access
Article

Abstract

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

Identification in the limit Learning by erasing Induction Learning by elimination Co-learning Finite identifiability Dynamic epistemic logic Dynamic doxastic logic Epistemic update Belief revision 

Copyright information

© The Author(s) 2009

Authors and Affiliations

  1. 1.Institute for Logic, Language and ComputationUniversiteit van AmsterdamAmsterdamThe Netherlands

Personalised recommendations