Graduate studies at Western
Synthese 169 (2):371-384 (2009)
|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||Identiﬁcation in the limit Learning by erasing Finite identiﬁability Dynamic epistemic logic Belief revision|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Fenrong Liu (2009). Diversity of Agents and Their Interaction. Journal of Logic, Language and Information 18 (1):23-53.
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.
Johan van Benthem (2007). Dynamic Logic for Belief Revision. Journal of Applied Non-Classical Logics 17 (2):129-155.
Cédric Dégremont & Nina Gierasimczuk (2011). Finite Identification From the Viewpoint of Epistemic Update. Information And Computation 209 (3):383-396.
Added to index2009-04-27
Total downloads29 ( #48,152 of 739,447 )
Recent downloads (6 months)1 ( #61,680 of 739,447 )
How can I increase my downloads?