Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Prioritized Inductive Logic Programs   The limit behavior of inductive logic programs has not been explored, but
when considering incremental or online inductive learning algorithms which
usually run ongoingly, such behavior of the programs should be taken into
account. An example is given to show that some inductive learning algorithm may
not be correct in the long run if the limit behavior is not considered. An
inductive logic program is convergent if given an increasing sequence of
example sets, the program produces a corresponding sequence of the Horn logic
programs which has the set-theoretic limit, and is limit-correct if the limit
of the produced sequence of the Horn logic programs is correct with respect to
the limit of the sequence of the example sets. It is shown that the GOLEM
system is not limit-correct. Finally, a limit-correct inductive logic system,
called the prioritized GOLEM system, is proposed as a solution.

5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat