An introduction to inductive programming

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 illu...

Full description

Saved in:
Bibliographic Details
Published in:The Artificial intelligence review Vol. 29; no. 1; pp. 45 - 62
Main Authors: Flener, Pierre, Schmid, Ute
Format: Journal Article
Language:English
Published: Dordrecht Springer Netherlands 01.03.2008
Springer Nature B.V
Subjects:
Algorithms
Artificial Intelligence
Bias
Computer Science
Computers
Control systems
Datalogi
Datavetenskap
Information technology
Informationsteknik
Knowledge
Logic
Logic programming
Logic programs
Machine learning
Programming
Recurrence
Recursion
Semantics
Software
TECHNOLOGY
TEKNIKVETENSKAP
Inductive programming
Machine learning
ISSN:0269-2821, 1573-7462, 1573-7462
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 igor 1 learn functional programs based on a recurrence detection mechanism in traces; igor 2 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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0269-2821
1573-7462
1573-7462
DOI:10.1007/s10462-009-9108-7