Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Learning Logic Programs by Explaining Failures   Scientists form hypotheses and experimentally test them. If a hypothesis
fails (is refuted), scientists try to explain the failure to eliminate other
hypotheses. We introduce similar explanation techniques for inductive logic
programming (ILP). We build on the ILP approach learning from failures. Given a
hypothesis represented as a logic program, we test it on examples. If a
hypothesis fails, we identify clauses and literals responsible for the failure.
By explaining failures, we can eliminate other hypotheses that will provably
fail. We introduce a technique for failure explanation based on analysing
SLD-trees. We experimentally evaluate failure explanation in the Popper ILP
system. Our results show that explaining failures can drastically reduce
learning times.

29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc