Bridging learning theory and dynamic epistemic logic

被引:9
|
作者
Gierasimczuk, Nina [1 ]
机构
[1] Univ Amsterdam, Inst Log Language & Computat, Amsterdam, Netherlands
关键词
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; IDENTIFICATION;
D O I
10.1007/s11229-009-9549-1
中图分类号
N09 [自然科学史]; B [哲学、宗教];
学科分类号
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要
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.
引用
收藏
页码:371 / 384
页数:14
相关论文
共 50 条
  • [1] Bridging learning theory and dynamic epistemic logic
    Nina Gierasimczuk
    [J]. Synthese, 2009, 169 : 371 - 384
  • [2] Learning by Erasing in Dynamic Epistemic Logic
    Gierasimczuk, Nina
    [J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 362 - 373
  • [3] Aleatoric Dynamic Epistemic Logic for Learning Agents
    French, Tim
    Gozzard, Andrew
    Reynolds, Mark
    [J]. PRICAI 2019: TRENDS IN ARTIFICIAL INTELLIGENCE, PT I, 2019, 11670 : 433 - 445
  • [4] A Formalization of the Greater Fools Theory with Dynamic Epistemic Logic
    van Lee, Hanna S.
    [J]. LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 585 - 597
  • [5] Dynamic Epistemic Logic
    Girard, Patrick
    [J]. AUSTRALASIAN JOURNAL OF LOGIC, 2009, 7 : 26 - 31
  • [6] A Dynamic Logic for Learning Theory
    Baltag, Alexandru
    Gierasimczuk, Nina
    Ozgun, Aybuke
    Sandoval, Ana Lucia Vargas
    Smets, Sonja
    [J]. DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, 2018, 10669 : 35 - 54
  • [7] A dynamic logic for learning theory
    Baltag, Alexandru
    Gierasimczuk, Nina
    Ozgun, Aybuke
    Sandoval, Ana Lucia Vargas
    Smets, Sonja
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 109
  • [8] Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic
    Dissing, Lasse
    Bolander, Thomas
    [J]. PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 1615 - 1621
  • [9] Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic
    Iris van de Pol
    Iris van Rooij
    Jakub Szymanik
    [J]. Journal of Logic, Language and Information, 2018, 27 : 255 - 294
  • [10] Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic
    van de Pol, Iris
    van Rooij, Iris
    Szymanik, Jakub
    [J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2018, 27 (03) : 255 - 294