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

Simon Dobnik; Robin Cooper

doi:10.15398/jlm.v5i2.148

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

Authors

Simon Dobnik University of Gothenburg
Robin Cooper University of Gothenburg https://orcid.org/0000-0002-8133-4592

Keywords:

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

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.

DOI:

https://doi.org/10.15398/jlm.v5i2.148

Full article

Published

2017-11-03

How to Cite

Dobnik, S., & Cooper, R. (2017). Interfacing language, spatial perception and cognition in Type Theory with Records. Journal of Language Modelling, 5(2), 273–301. https://doi.org/10.15398/jlm.v5i2.148