Short Description of Research Topics
The construction of generalized (recursive) programs from small sets of positive input/output examples is investigated. More specific, our research addresses
- theoretic and algorithmic foundations of the induction of functional programs,
- inductive program synthesis as an approach to cognitive modeling of learning from problem solving experience, and
- application of inductive synthesis techniques to enduser programming support (e.g. inducing XSL transformations with recursive template applications from small example XML documents).
Learning Structural Prototypes
Development and application of structural generalisation methods (least general generalisation, anti-unification)
- for incident mining – to provide standard solutions or to retrieve previous solutions for incident reports as support for help desk engineers, and
- as a cognitive model of adaptation effects in aesthetic judgements.
Analogical Problem Solving and Generalization
Several psychological as well as formal aspects of analogy making are explored:
- anti-unification as approach to automated analogical reasoning and generalization
- empirical investigation of conditions for preference of derivational (replaying an old solution) vs. transformational (mapping entities of base and target problem) strategies in human problem solvers
- empirical demonstration of re-representation of problem structures during analogy making