Inductive logic programming (ILP) and machine learning together represent a powerful synthesis of symbolic reasoning and statistical inference. ILP focuses on deriving interpretable logic rules from ...

In this paper, two different theoretical problems of induction are delineated. The first problem is addressed; the second problem is deferred to the sequel to this paper. The first problem of ...