KI - Künstliche Intelligenz

, Volume 25, Issue 2, pp 179–182 | Cite as

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

  • Emanuel Kitzelmann
Dissertationen und Habilitationen


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.


Background Knowledge Intelligent Agent Functional Program Inductive Logic Programming Program Space 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Clavel M, Durán F, Eker S, Lincoln P, Martí-Oliet N, Meseguer J, Talcott C (2003) The maude 2.0 system. In: Rewriting techniques and applications (RTA’03). Lecture notes in artificial intelligence, vol 2706. Springer, Berlin, pp 76–87 CrossRefGoogle Scholar
  2. 2.
    Hofmann M (2010) Data-driven detection of catamorphisms: Towards problem specific use of program schemes for inductive program synthesis. In: 22nd symposium on implementation and application of functional languages (IFL) Google Scholar
  3. 3.
    Katayama S (2007) Systematic search for lambda expressions. In: Selected papers from the 6th symposium on trends in functional programming, pp 111–126. Intellect Google Scholar
  4. 4.
    Kitzelmann E (2010) A combined analytical and search-based approach to the inductive synthesis of functional programs. PhD thesis, Fakultät für Wirtschaftsinformatik und Angewandte Informatik, Otto-Friedrich Universität Bamberg. URL
  5. 5.
    Kitzelmann E, Schmid U (2006) Inductive synthesis of functional programs: an explanation based generalization approach. J Mach Learn Res 7:429–454 MathSciNetGoogle Scholar
  6. 6.
    Olsson JR (1995) Inductive functional programming using incremental program transformation. Artif Intell 74(1):55–83 CrossRefGoogle Scholar
  7. 7.
    Plotkin GD (1970) A note on inductive generalization. Mach Intell 5:153–163 MathSciNetGoogle Scholar
  8. 8.
    Schmid U (2003) Inductive synthesis of functional programs: universal planning, folding of finite programs, and schema abstraction by analogical reasoning. In Lecture notes in artificial intelligence. Springer, Berlin/New York Google Scholar
  9. 9.
    Smith DR (1984) The synthesis of LISP programs from examples: a survey. In: Automatic program construction techniques. Macmillan, London, pp 307–324 Google Scholar
  10. 10.
    Veloso MM, Carbonell JG (1993) Derivational analogy in prodigy: automating case acquisition, storage, and utilization. Mach Learn 10:249–278 CrossRefGoogle Scholar

Copyright information

© Springer-Verlag 2010

Authors and Affiliations

  1. 1.International Computer Science InstituteBerkeleyUSA

Personalised recommendations