A Dynamic Logic for Learning Theory

Alexandru Baltag; Nina Gierasimczuk; Aybüke Özgün; Ana Lucia Vargas Sandoval; Sonja Smets

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

A Dynamic Logic for Learning Theory

Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets

Department of Applied Mathematics and Computer Science

University of Amsterdam

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

516 Downloads (Pure)

Abstract

Building on previous work 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 with dynamic observation modalities, as well as with a learning operator, which encodes the learner’s conjecture after observing a finite sequence of data. We completely axiomatise DLLT, study its expressivity and use it to characterise various notions of knowledge, belief, and learning.

Original language	English
Title of host publication	Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Editors	Alexandre Madeira, Mario Benevides
Volume	10669
Publisher	Springer
Publication date	2018
Pages	35-54
ISBN (Electronic)	978-3-319-73579-5
DOIs	https://doi.org/10.1007/978-3-319-73579-5_3
Publication status	Published - 2018
Event	DaLi - Dynamic Logic: new trends and applications 2017 - Brasilia, Brazil Duration: 23 Sept 2017 → 24 Sept 2017 Conference number: 1st

Workshop

Workshop	DaLi - Dynamic Logic: new trends and applications 2017
Number	1st
Country/Territory	Brazil
City	Brasilia
Period	23/09/2017 → 24/09/2017

Series	Lecture Notes in Computer Science
ISSN	0302-9743

Keywords

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

Access to Document

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

A Dynamic Logic for Learning TheoryAccepted author manuscript, 194 KB

OpenUrl availability

Full text

Cite this

Baltag, A., Gierasimczuk, N., Özgün, A., Vargas Sandoval, A. L., & Smets, S. (2018). A Dynamic Logic for Learning Theory. In A. Madeira, & M. Benevides (Eds.), Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Vol. 10669, pp. 35-54). Springer. https://doi.org/10.1007/978-3-319-73579-5_3

@inproceedings{428a922045f34a39b026b89297877ea3,

title = "A Dynamic Logic for Learning Theory",

abstract = "Building on previous work 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 with dynamic observation modalities, as well as with a learning operator, which encodes the learner{\textquoteright}s conjecture after observing a finite sequence of data. We completely axiomatise DLLT, study its expressivity and use it to characterise various notions of knowledge, belief, and learning. ",

keywords = "Learning theory, Dynamic epistemic logic, Modal Logic, Subset Space Semantics, Inductive knowledge, Epistemology",

author = "Alexandru Baltag and Nina Gierasimczuk and Ayb{\"u}ke {\"O}zg{\"u}n and Vargas Sandoval, {Ana Lucia} and Sonja Smets",

year = "2018",

doi = "10.1007/978-3-319-73579-5_3",

language = "English",

volume = "10669",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "35--54",

editor = "Alexandre Madeira and Mario Benevides",

booktitle = "Dynamic Logic. New Trends and Applications.",

note = "DaLi - Dynamic Logic: new trends and applications 2017, DALI 2017 ; Conference date: 23-09-2017 Through 24-09-2017",

}

Baltag, A, Gierasimczuk, N, Özgün, A, Vargas Sandoval, AL & Smets, S 2018, A Dynamic Logic for Learning Theory. in A Madeira & M Benevides (eds), Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. vol. 10669, Springer, Lecture Notes in Computer Science, pp. 35-54, DaLi - Dynamic Logic: new trends and applications 2017, Brasilia, Brazil, 23/09/2017. https://doi.org/10.1007/978-3-319-73579-5_3

A Dynamic Logic for Learning Theory. / Baltag, Alexandru; Gierasimczuk, Nina; Özgün, Aybüke et al.
Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. ed. / Alexandre Madeira; Mario Benevides. Vol. 10669 Springer, 2018. p. 35-54 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - A Dynamic Logic for Learning Theory

AU - Baltag, Alexandru

AU - Gierasimczuk, Nina

AU - Özgün, Aybüke

AU - Vargas Sandoval, Ana Lucia

AU - Smets, Sonja

N1 - Conference code: 1st

PY - 2018

Y1 - 2018

N2 - Building on previous work 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 with dynamic observation modalities, as well as with a learning operator, which encodes the learner’s conjecture after observing a finite sequence of data. We completely axiomatise DLLT, study its expressivity and use it to characterise various notions of knowledge, belief, and learning.

AB - Building on previous work 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 with dynamic observation modalities, as well as with a learning operator, which encodes the learner’s conjecture after observing a finite sequence of data. We completely axiomatise DLLT, study its expressivity and use it to characterise various notions of knowledge, belief, and learning.

KW - Learning theory

KW - Dynamic epistemic logic

KW - Modal Logic

KW - Subset Space Semantics

KW - Inductive knowledge

KW - Epistemology

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

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

M3 - Article in proceedings

VL - 10669

T3 - Lecture Notes in Computer Science

SP - 35

EP - 54

BT - Dynamic Logic. New Trends and Applications.

A2 - Madeira, Alexandre

A2 - Benevides, Mario

PB - Springer

T2 - DaLi - Dynamic Logic: new trends and applications 2017

Y2 - 23 September 2017 through 24 September 2017

ER -

Baltag A, Gierasimczuk N, Özgün A, Vargas Sandoval AL, Smets S. A Dynamic Logic for Learning Theory. In Madeira A, Benevides M, editors, Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Vol. 10669. Springer. 2018. p. 35-54. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-73579-5_3

A Dynamic Logic for Learning Theory

Abstract

Workshop

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this