Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects
P. Flener, and S. Yilmaz. The Journal of Logic Programming, 41 (2-3):
141--195(1999)
Abstract
The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging subfield both of Inductive Logic Programming (ILP) and of the synthesis (in general) of logic programs, from formal specifications. We first overview past and present achievements, focusing on the techniques that were designed specifically for the inductive synthesis of recursive logic programs but also discussing a few general ILP techniques that can also induce non-recursive hypotheses. Then we analyse the prospects of these techniques in this task, investigating their applicability to software engineering as well as to knowledge acquisition and discovery.
Description
ScienceDirect - The Journal of Logic Programming : Inductive synthesis of recursive logic programs: achievements and prospects
%0 Journal Article
%1 FlenerYi99
%A Flener, Pierre
%A Yilmaz, Serap
%D 1999
%J The Journal of Logic Programming
%K comparison dialogs ilp inductive_programming ip-system program_synthesis recursion survey
%N 2-3
%P 141--195
%T Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects
%U http://dx.doi.org/10.1016/S0743-1066(99)00028-X
%V 41
%X The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging subfield both of Inductive Logic Programming (ILP) and of the synthesis (in general) of logic programs, from formal specifications. We first overview past and present achievements, focusing on the techniques that were designed specifically for the inductive synthesis of recursive logic programs but also discussing a few general ILP techniques that can also induce non-recursive hypotheses. Then we analyse the prospects of these techniques in this task, investigating their applicability to software engineering as well as to knowledge acquisition and discovery.
@article{FlenerYi99,
abstract = {The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging subfield both of Inductive Logic Programming (ILP) and of the synthesis (in general) of logic programs, from formal specifications. We first overview past and present achievements, focusing on the techniques that were designed specifically for the inductive synthesis of recursive logic programs but also discussing a few general ILP techniques that can also induce non-recursive hypotheses. Then we analyse the prospects of these techniques in this task, investigating their applicability to software engineering as well as to knowledge acquisition and discovery.},
added-at = {2008-12-16T08:31:33.000+0100},
author = {Flener, Pierre and Yilmaz, Serap},
biburl = {https://www.bibsonomy.org/bibtex/24186476e323f9c97084c0052bcda820c/emanuel},
description = {ScienceDirect - The Journal of Logic Programming : Inductive synthesis of recursive logic programs: achievements and prospects},
interhash = {bb0b33e78a71e5fc07323ca2956ed828},
intrahash = {4186476e323f9c97084c0052bcda820c},
journal = {The Journal of Logic Programming},
keywords = {comparison dialogs ilp inductive_programming ip-system program_synthesis recursion survey},
number = {2-3},
pages = {141--195},
timestamp = {2008-12-30T17:29:57.000+0100},
title = {Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects},
url = {http://dx.doi.org/10.1016/S0743-1066(99)00028-X},
volume = 41,
year = 1999
}