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

Simon Dobnik, Robin Cooper
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