Inductive Logic Programming as Abductive Search

Corapi, Domenico; Russo, Alessandra; Lupu, Emil

doi:10.4230/LIPIcs.ICLP.2010.54

Document

Inductive Logic Programming as Abductive Search

Authors Domenico Corapi, Alessandra Russo, Emil Lupu

Part of: Volume: Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Logic Programming (ICLP)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2010-06-25

PDF

File

PDF

LIPIcs.ICLP.2010.54.pdf

Filesize: 350 kB
10 pages

Document Identifiers

DOI: 10.4230/LIPIcs.ICLP.2010.54
URN: urn:nbn:de:0030-drops-25838

Subject Classification

Keywords

Inductive Logic Programming
Abductive Logic Programming
Non-monotonic Reasoning

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.

Cite As Get BibTex

Domenico Corapi, Alessandra Russo, and Emil Lupu. Inductive Logic Programming as Abductive Search. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 54-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010) https://doi.org/10.4230/LIPIcs.ICLP.2010.54

Author Details

Domenico Corapi

Alessandra Russo

Emil Lupu

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail