Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach (2006)
| Venue: | Journal of Machine Learning Research |
| Citations: | 12 - 3 self |
BibTeX
@ARTICLE{Kitzelmann06inductivesynthesis,
author = {Emanuel Kitzelmann and Ute Schmid and Leslie Pack Kaelbling},
title = {Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach},
journal = {Journal of Machine Learning Research},
year = {2006},
volume = {7},
pages = {429--454}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Lisp programs of Summers (1977). In a first step, I/O-examples are rewritten to traces which explain the outputs given the respective inputs based on a datatype theory. These traces can be integrated into one conditional expression which represents a non-recursive program.
