CRC 991

A01: Mathematical modeling of frames

Funding period 1: 01.07.2011 - 30.06.2015

Funding period 2: 01.07.2015 - 30.06.2019

Project A01 develops the mathematical foundations for a theory of frames as applied in other CRC projects. It aims at an integrative mathematical theory of frames that incorporates different formalisms and formal techniques like theories of combining systems, dependence, modal and arrow logics, probability theory and game theory. The overall aim is to arrive at a compositional and incremental model of sentence processing. To this end A01 analyses event concepts in terms of temporal and causal relations, different kinds of quantification and modification as well as the relationship between formal semantics and theories of cognitive processes in neuroscience.

Project proposal: [ pdf ]

Head of the project

Wiebke Petersen
Institut für Sprache und Information
Universitätsstr. 1
40225 Düsseldorf
Phone: +49 211 81-152 95
Email: petersewuni-duesseldorfde