Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Meta-Interpretive Learning as Metarule Specialisation   In Meta-Interpretive Learning (MIL) the metarules, second-order datalog
clauses acting as inductive bias, are manually defined by the user. In this
work we show that second-order metarules for MIL can be learned by MIL. We
define a generality ordering of metarules by $\theta$-subsumption and show that
user-defined \emph{sort metarules} are derivable by specialisation of the
most-general \emph{matrix metarules} in a language class; and that these matrix
metarules are in turn derivable by specialisation of third-order \emph{punch
metarules} with variables quantified over the set of atoms and for which only
an upper bound on their number of literals need be user-defined. We show that
the cardinality of a metarule language is polynomial in the number of literals
in punch metarules. We re-frame MIL as metarule specialisation by resolution.
We modify the MIL metarule specialisation operator to return new metarules
rather than first-order clauses and prove the correctness of the new operator.
We implement the new operator as TOIL, a sub-system of the MIL system Louise.
Our experiments show that as user-defined sort metarules are progressively
replaced by sort metarules learned by TOIL, Louise's predictive accuracy and
training times are maintained. We conclude that automatically derived metarules
can replace user-defined metarules.

21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
10
The categories of this paper are: q-bio