Can Doxastic Agents Learn? On the Temporal Structure of Learning

  • Cédric Dégremont
  • Nina Gierasimczuk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5834)

Abstract

Formal learning theory formalizes the phenomenon of language acquisition. The theory focuses on various properties of the process of conjecture-change over time, and therefore it is also applicable in philosophy of science, where it can be interpreted as a theory of empirical inquiry. Treating “conjectures” as beliefs, we link the process of conjecture-change to doxastic update. Using this approach, we reconstruct and analyze the temporal aspect of learning in the context of temporal and dynamic logics of belief change. We provide a translation of learning scenarios into the domain of dynamic doxastic epistemic logic. Then, we express the problem of finite identifiability as a problem of epistemic temporal logic model checking. Furthermore, we prove a doxastic epistemic temporal logic representation result corresponding to an important theorem from learning theory, that characterizes identifiability in the limit, namely Angluin’s theorem. In the end we discuss consequences and possible extensions of our work.

Keywords

Formal learning theory dynamic epistemic logic doxastic epistemic logic temporal logic epistemic update belief revision 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Cédric Dégremont
    • 1
  • Nina Gierasimczuk
    • 1
  1. 1.Institute for Logic, Language and ComputationUniversiteit van AmsterdamAmsterdamThe Netherlands

Personalised recommendations