Interfacing language, spatial perception and cognition in Type Theory with Records
Keywords:spatial language, Type Theory with Records (TTR), computational framework
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.
How to Cite
Copyright (c) 2017 Simon Dobnik, Robin Cooper
This work is licensed under a Creative Commons Attribution 3.0 Unported License.