A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs
Title | A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs |
Publication Type | Journal Article |
Year of Publication | 2011 |
Authors | Kitzelmann, E. |
Published in | Künstliche Intelligenz |
Volume | 25 |
Issue | 2 |
Page(s) | 179-182 |
Other Numbers | 3216 |
Abstract | Inductive program synthesis addresses theproblem of automatically generating (declarative) re-cursive programs from ambiguous specications suchas input/output examples. Potential applications rangefrom software development to intelligent agents thatlearn in recursive domains. Current systems suffer fromeither strong restrictions regarding the form of inducibleprograms or from blind search in vast program spaces.The main contribution of my dissertation [4] 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 thanusing them as test cases, and thereby prunes many programs. Experiments show promising results. |
Acknowledgment | This work was partially funded by the Deutscher Akademischer Austausch Diesnst (DAAD) through a postdoctoral fellowship. |
URL | http://www.icsi.berkeley.edu/pubs/ai/Kitzelmann2011.pdf |
Bibliographic Notes | Künstliche Intelligenz, Vol. 25, No. 2, pp. 179-182. Extended abstract of PhD thesis. |
Abbreviated Authors | E. Kitzelmann |
ICSI Research Group | AI |
ICSI Publication Type | Article in journal or magazine |