A Dynamic Logic for Learning Theory

被引：4

作者：

Baltag, Alexandru ^{[1
]}

Gierasimczuk, Nina ^{[2
]}

Ozgun, Aybuke ^{[1
,3
]}

Sandoval, Ana Lucia Vargas ^{[1
]}

Smets, Sonja ^{[1
]}

机构：

[1] Univ Amsterdam, ILLC, Amsterdam, Netherlands

[2] Tech Univ Denmark, DTU Compute, Copenhagen, Denmark

[3] Univ Lorraine, LORIA, CNRS, Nancy, France

来源：

DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS | 2018年 / 10669卷

基金：

欧洲研究理事会;

关键词：

Learning theory; Dynamic epistemic logic; Modal Logic; Subset Space Semantics; Inductive knowledge; Epistemology;

D O I：

10.1007/978-3-319-73579-5_3

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Building on previous work [4,5] that bridged Formal Learning Theory and Dynamic Epistemic Logic in a topological setting, we introduce a Dynamic Logic for Learning Theory (DLLT), extending Subset Space Logics [9,17] with dynamic observation modalities [o]phi, as well as with a learning operator L((o) over right arrow), which encodes the learner's conjecture after observing a finite sequence of data (o) over right arrow. We completely axiomatise DLLT, study its expressivity and use it to characterise various notions of knowledge, belief, and learning.

引用

页码：35 / 54

页数：20

共 50 条

[1] A dynamic logic for learning theory
Baltag, Alexandru
Gierasimczuk, Nina
Ozgun, Aybuke
Sandoval, Ana Lucia Vargas
Smets, Sonja
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 109
[2] Bridging learning theory and dynamic epistemic logic
Nina Gierasimczuk
Synthese, 2009, 169 : 371 - 384
[3] Bridging learning theory and dynamic epistemic logic
Gierasimczuk, Nina
SYNTHESE, 2009, 169 (02) : 371 - 384
[4] Learning by Erasing in Dynamic Epistemic Logic
Gierasimczuk, Nina
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 362 - 373
[5] A Carbon Nanotube Synapse with Dynamic Logic and Learning
Kim, Kyunghyun
Chen, Chia-Ling
Quyen Truong
Shen, Alex M.
Chen, Yong
ADVANCED MATERIALS, 2013, 25 (12) : 1693 - 1698
[6] Aleatoric Dynamic Epistemic Logic for Learning Agents
French, Tim
Gozzard, Andrew
Reynolds, Mark
PRICAI 2019: TRENDS IN ARTIFICIAL INTELLIGENCE, PT I, 2019, 11670 : 433 - 445
[7] LEARNING-THEORY AND THE LOGIC OF CRITICAL MASS
MACY, MW
AMERICAN SOCIOLOGICAL REVIEW, 1990, 55 (06) : 809 - 826
[8] Logic-Based Learning: Theory and Application
Alrajeh, Dalal
Russo, Alessandra
MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 219 - 256
[9] A Formalization of the Greater Fools Theory with Dynamic Epistemic Logic
van Lee, Hanna S.
LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 585 - 597
[10] Conceptual Learning and Local Incommensurability: A Dynamic Logic Approach
Stroessner, Corina
AXIOMATHES, 2022, 32 (06): : 1025 - 1045

← 1 2 3 4 5 →