On the Right Path: A Modal Logic for Supervised Learning

Alexandru Baltag, Dazhu Li, Mina Young Pedersen

Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. Although em…