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


Simon Dobnik, University of Gothenburg, Sweden
Robin Cooper, University of Gothenburg, Sweden

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.

Keywords


spatial language, Type Theory with Records (TTR), computational framework

Full Text:

PDF


DOI: http://dx.doi.org/10.15398/jlm.v5i2.148

ISSN of the paper edition: 2299-856X