A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Interfacing language, spatial perception and cognition in Type Theory with Records
2017
Journal of Language Modelling
Keywords: spatial language, Type Theory with Records (TTR), computational framework We argue that computational modelling of perception, action, language, and cognition introduces several requirements of a formal semantic theory and its practical implementations in situated dialogue agents. Using examples of semantic representations of spatial descriptions we show how Type Theory with Records (TTR) satisfies these requirements and provides a promising knowledge representation system for situated agents.
doi:10.15398/jlm.v5i2.148
fatcat:h22gjwyeq5befclfeh4jbiqvg4