- Can doxastic agents learn? On the temporal structure of learning
- Lecture Notes in Computer Science
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
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.
- go to publisher's site
- Proceedings title: Logic, rationality, and interaction: second international workshop, LORI 2009, Chongqing, China, October
8-11, 2009: proceedings
Place of publication: Berlin
Editors: X. He, J. Horty, E. Pacuit
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.