2026-07-20T15:07:54Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2583 2024-03-06T10:33:32Z ddc:004 open_access

Inductive Logic Programming as Abductive Search Corapi, Domenico Russo, Alessandra Lupu, Emil Inductive Logic Programming Abductive Logic Programming Non-monotonic Reasoning 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 with integrity constraints. The mapping provides a principled search space for an ILP problem, over which an abductive search is used to compute inductive solutions. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Domenico Corapi and Alessandra Russo and Emil Lupu 2010 Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2010.54 urn:nbn:de:0030-drops-25838 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.54 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode