文章基本信息

标题：Inductive Logic Programming as Abductive Search
本地全文：下载
作者：Domenico Corapi ; Alessandra Russo ; Emil Lupu 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2010
卷号：7
页码：54-63
DOI：10.4230/LIPIcs.ICLP.2010.54
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Inductive Logic Programming; Abductive Logic Programming; Non-monotonic Reasoning