Representing different kinds of reference with Type Theory with Records

• In this presentation we explore how Type Theory with Records (TTR) can model meaning and reference of spatial descriptions. We concetrate on three modalities involved: geometric representations of situations, representations of world knowledge aboout objects involved in situations and representations of dialogue between conversational participants discussing the situations.

Ämnesord

SAMHÄLLSVETENSKAP  -- Psykologi -- Psykologi (hsv//swe)

SOCIAL SCIENCES  -- Psychology -- Psychology (hsv//eng)

HUMANIORA  -- Språk och litteratur -- Jämförande språkvetenskap och allmän lingvistik (hsv//swe)

HUMANITIES  -- Languages and Literature -- General Language Studies and Linguistics (hsv//eng)

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datorseende och robotik (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Vision and Robotics (hsv//eng)

NATURVETENSKAP  -- Data- och informationsvetenskap -- Språkteknologi (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Language Technology (hsv//eng)

Nyckelord

spatial descriptions

semantics

Type Thoery with Records

TTR

scene geometry

world knowledge

dialogue

Publikations- och innehållstyp

vet (ämneskategori)

kon (ämneskategori)