.png){kind=icon}
返回
An introduction to inductive programming
.png){kind=icon}
PRE
AI
DOI：10.1007/s10462-009-9108-7.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
Inductive programming
Machine learning
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
Sodium-selective membrane electrode based on p-tert-butylcalix[4]arene methoxyethylester.png)
The Analyst
The AnalystIF0
PREAI
分享收藏分享收藏
分享收藏
查看更多内容