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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Artificial intelligence review Jg. 29; H. 1; S. 45 - 62
Hauptverfasser: Flener, Pierre, Schmid, Ute
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Dordrecht Springer Netherlands 01.03.2008
Springer Nature B.V
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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