Inductive synthesis of recursive logic programs: achievements and prospects

✍ Scribed by Pierre Flener; Serap Yıilmaz

• Publisher: Elsevier Science
• Year: 1999
• Tongue: English
• Weight: 377 KB
• Volume: 41
• Category: Article
• ISSN: 0743-1066
• DOI: 10.1016/s0743-1066(99)00028-x

✦ Synopsis

The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging sub®eld both of Inductive Logic Programming (ILP) and of the synthesis (in general) of logic programs, from formal speci®cations. We ®rst 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.