Inductive Logic Programming as Abductive Search

  title={Inductive Logic Programming as Abductive Search},
  author={Domenico Corapi and Alessandra Russo and Emil C. Lupu},
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems based on Inverse Entailment and is the first top-down ILP system that allows background theories and hypotheses to be normal logic programs. The approach relies on mapping an ILP problem into an equivalent ALP one. This enables the use of established ALP proof procedures and the specification of richer language bias… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS