Kurzportrait

Den Forschungsschwerpunkt der Arbeitsgruppe bildet die formale Modellierung kognitiver Prozesse der Informationsverarbeitung. Um "intelligente" Computersysteme zu entwickeln, die eine intensive Interaktion mit menschlichen Benutzern durchführen sollen, ist es notwendig, kognitive Prozesse z.B. des Lernens, der Wissensrepräsentation und des Inferierens beim Menschen formal zu beschreiben. Verschiedene formale Modelle aus der Kognitionspsychologie und der Informatik werden dazu herangezogen. Konkrete Schwerpunkte der bisherigen Forschung sind intelligente Tutorensysteme für das Erlernen einer Fremdsprache, Nichtstandard-Logiken (z.B. deontische Logik) und kognitive Linguistik. Neu hinzugekommen ist die Erforschung gemeinsamer Grundlagen für die abstrakte Repräsentation visueller und sprachlicher Informationen als Ausgangspunkt für die automatische Generierung natürlichsprachlicher Beschreibungen von Bildern.