Reasoning about knowledge
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Characterization of Finite Identification
AII '92 Proceedings of the International Workshop on Analogical and Inductive Inference
ALT '96 Proceedings of the 7th International Workshop on Algorithmic Learning Theory
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Bridges between dynamic doxastic and doxastic temporal logics
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Finite identification from the viewpoint of epistemic update
Information and Computation
Belief revision as a truth-tracking process
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Games, Actions and Social Software
| Hi-index | 0.00 |
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.