A dynamic logic for learning theory
| Authors | |
|---|---|
| Publication date | 2018 |
| Host editors |
|
| Book title | Dynamic Logic. New Trends and Applications |
| Book subtitle | First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 1st International Workshop Dynamic Logic. New Trends and Applications |
| Pages (from-to) | 35-54 |
| Number of pages | 20 |
| Publisher | Cham: Springer |
| Organisations |
|
| Abstract |
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]φ, as well as with a learning operator L(o→) , which encodes the learner’s conjecture after observing a finite sequence of data o→. We completely axiomatise DLLT, study its expressivity and use it to characterise various notions of knowledge, belief, and learning. |
| Document type | Conference contribution |
| Note | The research of Nina Gierasimczuk is supported by an Innovational Research Incentives Scheme Veni grant 275-20-043, Netherlands Organisation for Scientific Research (NWO) and by the OPUS grant 2015/19/B/HS1/03292, National Science Centre Poland (NCN). Aybüke Özgün acknowledges financial support from European Research Council grant EPS 313360. |
| Language | English |
| Related publication | A Dynamic Logic for Learning Theory |
| Published at | https://doi.org/10.1007/978-3-319-73579-5_3 |
| Other links | https://www.scopus.com/pages/publications/85041097916 |
| Downloads |
Baltag2018_Chapter_ADynamicLogicForLearningTheory
(Final published version)
|
| Permalink to this page | |
