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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:The Artificial intelligence review Ročník 29; číslo 1; s. 45 - 62
Hlavní autoři: Flener, Pierre, Schmid, Ute
Médium: Journal Article
Jazyk:angličtina
Vydáno: Dordrecht Springer Netherlands 01.03.2008
Springer Nature B.V
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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