An introduction to inductive programming
An introduction to inductive programming
复制标题
DOI：
10.1007/s10462-009-9108-7
复制
发表时间：
2008-03-01
影响因子：
12
通讯作者：
Schmid, Ute
中科院分区：
文献类型：
--
作者：
Flener, Pierre;Schmid, Ute
归纳编程的研究领域涉及从不完整的规范(例如示例)中学习具有复杂控制流(通常是递归调用)的计算机程序的算法设计。介绍了归纳程序设计的一种基本算法方法，并用三个系统进行了说明：DIALOGS通过结合归纳和溯因推理来学习逻辑程序；经典的Thesys系统及其扩展igor1基于踪迹中的递归检测机制学习函数程序；igor2利用构造器项重写系统学习代数数据类型上的函数程序。此外，我们简要介绍了归纳规划的历史，讨论了相关的方法，并对目前的应用和未来可能的研究方向进行了提示。
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.