Interfacing language, spatial perception and cognition in Type Theory with Records

Simon Dobnik, Robin Cooper

Abstract: We argue that computational modelling of perception, action, language, and cognition introduces several requirements on a formal semantic theory and its practical implementations. Using examples of semantic representations of spatial descriptions we show how Type Theory with Records (TTR) satisfies these requirements.