Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the Right Path: A Modal Logic for Supervised Learning   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 empirical evidence suggests that children can
learn a language without responding to the correction of linguistic mistakes,
the importance of Teacher in many other paradigms is significant. Instead of
focusing only on learner(s), this work develops a general framework---the
supervised learning game (SLG)---to investigate the interaction between Teacher
and Learner. In particular, our proposal highlights several interesting
features of the agents: on the one hand,Learner may make mistakes in the
learning process, and she may also ignore the potential relation between
different hypotheses; on the other hand, Teacher is able to correct Learner's
mistakes, eliminate potential mistakes and point out the facts ignored by
Learner. To reason about strategies in this game, we develop a modal logic of
supervised learning (SLL). Broadly, this work takes a small step towards
studying the interaction between graph games, logics and formal learning
theory.

29
The categories of this paper are: funct-an
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph