Interfacing language, spatial perception and cognition in Type Theory with Records
Simon Dobnik, Robin Cooper · Journal of Language Modelling · 2017
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.