|
CogSys research is organized in the three main subjects
|
Research Organisation
|
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
|
