General Information

CogSys research is organized in the three main subjects Research Organisation

Overview 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,
  • application of inductive synthesis techniques to enduser programming support (e.g. inducing XSL transformations with recursive template applications from small example XML documents).
Inductive Program Synthesis
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
Analogical Problem Solving and Generalization Learning
Current research topics are:
  • Verteiltes Problemlösen in Notfallsituationen
  • Classifier Learning for Medical and Technical Diagnosis
  • cognitive assistance for people with mental deficiencies
  • learning geographic maps from navigation
  • multiagent distributed/local planning for transport based on ubiquituous computing techniques
Applications of Planning and Learning