Logo des Repositoriums
 
Zeitschriftenartikel

A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2011

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Springer

Zusammenfassung

Inductive program synthesis addresses the problem of automatically generating (declarative) recursive programs from ambiguous specifications such as input/output examples. Potential applications range from software development to intelligent agents that learn in recursive domains. Current systems suffer from either strong restrictions regarding the form of inducible programs or from blind search in vast program spaces. The main contribution of my dissertation (Kitzelmann, Ph.D. thesis, 2010) is the algorithm Igor2 for the induction of functional programs. It is based on search in program spaces but derives candidate programs directly from examples, rather than using them as test cases, and thereby prunes many programs. Experiments show promising results.

Beschreibung

Kitzelmann, Emanuel (2011): A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs. KI - Künstliche Intelligenz: Vol. 25, No. 2. Springer. PISSN: 1610-1987. pp. 179-182

Schlagwörter

Zitierform

DOI

Tags