PP-2009-14: Can doxastic agents learn? On the temporal structure of learning

PP-2009-14: Dégremont, Cédric and Gierasimczuk, Nina (2009) Can doxastic agents learn? On the temporal structure of learning. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (448kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


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

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 View Item