PP-2009-14: Dégremont, Cédric and Gierasimczuk, Nina (2009) Can doxastic agents learn? On the temporal structure of learning. [Report]
Preview |
Text (Full Text)
PP-2009-14.text.pdf Download (448kB) | Preview |
Text (Abstract)
PP-2009-14.abstract.txt Download (1kB) |
Abstract
We analyse learning as the process of conjecture-change over
time. Treating ``conjectures'' as beliefs, we link the process of
conjecture-change to doxastic update. Using this approach, we
reconstruct and analyse the temporal aspect of learning in the limit
in the context of temporal and dynamic logics of belief change. We
propose a reduction of the learnability task to a generalized problem
of DETL model checking. Furthermore, we prove a DETL representation
result corresponding to an important theorem from Learning Theory,
that characterizes learnability, namely Angluin's theorem. We also
place notions of learning theory and doxastic temporal logic in a
common perspective in order to compare them. We focus both on the
properties of agents and fine-grained notions of belief and
knowledge. Finally, we consider an extension of the classical learning
theoretic framework by introducing more agents and extending the
protocols to include a possibility of communication between the
agents.
Item Type: | Report |
---|---|
Report Nr: | PP-2009-14 |
Series Name: | Prepublication (PP) Series |
Year: | 2009 |
Uncontrolled Keywords: | formal learning theory; dynamic epistemic logic; doxastic temporal logic; identification in the limit; protocols |
Subjects: | Logic |
Depositing User: | ngierasi |
Date Deposited: | 12 Oct 2016 14:37 |
Last Modified: | 12 Oct 2016 14:37 |
URI: | https://eprints.illc.uva.nl/id/eprint/344 |
Actions (login required)
View Item |