.png){kind=icon}
Return
An introduction to inductive programming
.png){kind=icon}
PRE
AI
DOI：10.1007/s10462-009-9108-7.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
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.
Keywords:
Inductive programming
Machine learning
Journal
IF:
13.9
Papers:
6.1K
Citations:
1.9W
Organization
Cited Papers
ShareSaveSodium-selective membrane electrode based on p-tert-butylcalix[4]arene methoxyethylester.png)
The Analyst
The AnalystIF0
PREAI
ShareSaveShareSaveShareSave
ShareSave
View more