An introduction to inductive programming

被引：0
作者：
Pierre Flener
Ute Schmid
机构：
[1] Uppsala University,Department of Information Technology
[2] University of Bamberg,Faculty Information Systems and Applied Computer Science
来源：
Artificial Intelligence Review | 2008年 / 29卷
关键词：
Inductive programming; Machine learning;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The research field of inductive programming is concerned with the design of algorithms for learning computer programs with complex flow of control (typically recursive calls) from incomplete specifications such as examples. We introduce a basic algorithmic approach for inductive programming and illustrate it with three systems: dialogs learns logic programs by combining inductive and abductive reasoning; the classical thesys system and its extension igor1 learn functional programs based on a recurrence detection mechanism in traces; igor2 learns functional programs over algebraic data-types making use of constructor-term rewriting systems. Furthermore, we give a short history of inductive programming, discuss related approaches, and give hints about current applications and possible future directions of research.
引用
收藏
页码：45 / 62
页数：17
相关论文
共 27 条
  • [1] Angluin D(1980)Queries and concept learning Mach Learn 2 319-342
  • [2] Biermann AW(1972)On the inference of turing machines from sample computations Artif Intell 3 181-198
  • [3] Biermann AW(1978)The inference of regular LISP programs from examples IEEE Trans Syst Man Cybern 8 585-600
  • [4] Flener P(2001)Inductive programming Autom Softw Eng 8 131-137
  • [5] Partridge D(1999)Inductive synthesis of recursive logic programs: achievements and prospects J Log Program 41 141-195
  • [6] Flener P(2000)An abstract formalisation of correct schemas for program synthesis J Symb Comput 30 93-127
  • [7] Yılmaz S(1967)Language identification in the limit Inf Control 10 447-474
  • [8] Flener P(2006)Inductive synthesis of functional programs—an explanation based generalization approach J Mach Learn Res 7 429-454
  • [9] Lau K-K(1992)Fundamentals of deductive program synthesis IEEE Trans Softw Eng 18 674-704
  • [10] Ornaghi M(1995)Inverse entailment and Progol New Gener Comput, Special Issue Inductive Log Program 13 245-286
123