摘要:We argue that computational modelling of perception,action,language,and cognition introduces several requirements of a formal se_mantic theory and its practical implementations in situated dialogue agents.Using examples of semantic representations of spatial descrip?tions we show how Type Theory with Records (TTR) satisfies these requirements and provides a promising knowledge representation sys?tem for situated agents.
关键词:spatial language;Type Theory with Records (TTR);computational framework