Kapitel 2 Der Verein der Freunde und Förderer - Cognitive Science ...

Verfahren wurde ein Evaluationsmodell entwickelt und Reliabilitäts- als auch Validitätsuntersuchungen durchgeführt.
Weiterhin wurden Vergleichsuntersuchungen mit anderen Test- und Inspektionsmethoden sowie
eine Fallstudie durchgeführt, in denen die Effektivität und Effizienz bzw. in der die Praktikabilität des Verfahrens
nachgewiesen werden konnte. Das Vorhaben wird voraussichtlich Mitte 2002 abgeschlossen sein.
Habilitationsvorhaben: Dr. Petra Ludewig
Fremdsprachenerwerb mit computerlinguistischen Technologien (DFG-Habilitationsstipendium)
In dem Vorhaben gilt es, Kriterien aufzustellen, denen ein Anwendungsszenario im Bereich "Computergestützter
Fremdsprachenerwerb" genügen sollte, um dem Spannungsfeld zwischen praktisch einsetzbarer
Sprachtechnologie einerseits und modernen computer- und kognitionslinguistischen Sprachtheorien andererseits
in einer Weise gerecht zu werden, die sowohl dem Technologietransfer als auch dem theoretischen Erkenntnisgewinn
zuträglich ist. Die Wirkungsweise der Prinzipien soll anhand der Konzeption des Szenarios
"Lektürebegleitender Kollokationserwerb" ausführlich dargelegt werden. Kollokationen lassen sich näherungsweise
als usuelle und konventionalisierte lexikalische Komplexe verstehen, deren Fehlen in von Fremdsprachlern
produzierten Äußerungen dazu führt, daß Muttersprachler diese stilistisch als unüblich bzw. nicht
so flüssig beurteilen. Die Kollokationsthematik erweist sich insbesondere deswegen als reizvoll, weil sie gravierende
Auswirkungen auf Sprachverarbeitungsmodelle eröffnet.
Habilitationsvorhaben: Dr. Ute Schmid
Inductive Synthesis of Functional Programs --Learning Domain-Specific Control Rules and Abstract
Schemes
An approach to inductive synthesis of recursive functions is proposed, combining universal planning, folding
of finite programs, and schema abstraction by analogical reasoning. In a first step, an example domain of
small complexity is explored by universal planning. For example, for all possible lists over four fixed natural
numbers, their optimal transformation sequences into the sorted list are calculated and represented as a
DAG. The plan is transformed into a finite program term, and, in a second step, the finite program is folded
into (a set of) recursive functions (e.g. for sorting lists of arbitrary length) using recurrence-detection. As a
last step, a hierarchy of program schemes (patterns) is generated by generalizing over already synthesized
recursive functions using higher-order aanti-unification. The approach was applied successfully to control
rule learning for state-based planning. Learning domain-specific control rules is important to gain the
efficiency of domain-specific planners without the need to hand-code the domain-specific knowledge. It is
proposed that the integration of planning, program synthesis, and analogical reasoning contributes to
cognitive science research on skill acquisition by addressing the problem of extracting generalized rule from
some initial experience. Der Verfahren wurde am 30.05.2001 eröffnet. Der Abschluß des Verfahrens wird für
Mai 2002 erwartet.
Betreuer: Prof. Dr. F. Wysotzki, TU Berlin, Prof. Dr. B. Mahr, TU Berlin, Prof. Dr. P. Pepper, TU Berlin, Prof.
Jaime Carbonell, Carnegie Mellon University, Pittsburgh, USA
37