Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Learning programs by learning from failures   We describe an inductive logic programming (ILP) approach called learning
from failures. In this approach, an ILP system (the learner) decomposes the
learning problem into three separate stages: generate, test, and constrain. In
the generate stage, the learner generates a hypothesis (a logic program) that
satisfies a set of hypothesis constraints (constraints on the syntactic form of
hypotheses). In the test stage, the learner tests the hypothesis against
training examples. A hypothesis fails when it does not entail all the positive
examples or entails a negative example. If a hypothesis fails, then, in the
constrain stage, the learner learns constraints from the failed hypothesis to
prune the hypothesis space, i.e. to constrain subsequent hypothesis generation.
For instance, if a hypothesis is too general (entails a negative example), the
constraints prune generalisations of the hypothesis. If a hypothesis is too
specific (does not entail all the positive examples), the constraints prune
specialisations of the hypothesis. This loop repeats until either (i) the
learner finds a hypothesis that entails all the positive and none of the
negative examples, or (ii) there are no more hypotheses to test. We introduce
Popper, an ILP system that implements this approach by combining answer set
programming and Prolog. Popper supports infinite problem domains, reasoning
about lists and numbers, learning textually minimal programs, and learning
recursive programs. Our experimental results on three domains (toy game
problems, robot strategies, and list transformations) show that (i) constraints
drastically improve learning performance, and (ii) Popper can outperform
existing ILP systems, both in terms of predictive accuracies and learning
times.

20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
3
The categories of this paper are: physics
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph