discourse representation theory; DRT
A formal semantic framework in linguistics that models the interpretation of discourse by constructing structured representations (discourse representation structures).
Discourse representation theory was proposed to formally handle anaphoric relations of pronouns.
This paper analyzes tense interpretation using discourse representation theory.
Discourse representation structure (DRS) is the formal representation constructed within DRT, while 談話表示理論 refers to the overall theory.
Calque from English 'discourse representation theory'. The term was coined in formal semantics in the 1980s.