SFB 991

A01: Mathematical modeling of frames

Projektlaufzeit 1: 01.07.2011 - 30.06.2015

Projektlaufzeit 2: 01.07.2015 - 30.06.2019

Projekt A01 legt die mathematischen Grundlagen für eine Frametheorie, wie sie in anderen SFB-Projekten verwendet wird. Ziel von A01 ist eine einheitliche mathematische Frametheorie, die verschiedene Methoden und Formalismen einbezieht. Hierzu gehören unter anderem die Theorie kombinierter Systeme, Wahrscheinlichkeits- und Spieltheorie sowie Dependenz-, Modal- und Arrow-Logiken. Das langfristige Ziel ist ein kompositionales und inkrementelles Modell der Satzverarbeitung. Im Fous steht ein framebasierter Ansatz für Ereignissemantik, Quantifikation und Modifikation, der neurowissenschaftliche Erkenntnisse zu kognitiven Prozessen integriert.

Projektantrag: [ pdf ]

Projektleitung

Jun.-Prof. Dr. Wiebke Petersen
Institut für Sprache und Information
Universitätsstr. 1
40225 Düsseldorf
Telefon: +49 211 81-152 95
E-Mail: petersewuni-duesseldorfde