Discourse Representation Theory (DRT) is an extension of First-order predicate calculus that was created by Hans Kamp in 1981 in order to examine the contextually dependent meaning of a discourse. In traditional natural language semantics, only individual sentences are examined, but context of a dialogue plays a role in meaning as well. For example, pronouns such as he and her rely upon previously introduced individual constants in order to have a meaning. DRT uses variables for every individual constant in order to account for this problem. A discourse is represented in a Discourse Representation Structure (DRS), which a box with variables at the top and the sentences in the formal language below in the order of the original discourse. Sub-DRS can be used for different types of sentences. DRT is now the main framework used for the formal treatment of natural language in semantics. First-order predicate calculus or first-order logic (FOL) permits the formulation of quantified statements such as there exists an x such that. ... 1981 (MCMLXXXI) is a common year starting on Thursday of the Gregorian calendar. ... In the main, semantics (from the Greek and in greek letters σημαντικός or in latin letters semantikos, or significant meaning, derived from sema, sign) is the study of meaning, in some sense of that term. ... In mathematics, logic and computer science, a formal language is a set of finite-length words (i. ... In the main, semantics (from the Greek and in greek letters σημαντικός or in latin letters semantikos, or significant meaning, derived from sema, sign) is the study of meaning, in some sense of that term. ...
DRT's main (and most controversial) innovation, beyond the Montagovian paradigm which was then considered orthodox, is that it introduced a level of mental representations, called discourserepresentation structures (DRSs).
In DRT, this is taken to explain why the “lifespan” of the individual introduced by the indefinite NP in [5a] is delimited by the scope of the negation operator.
DRT was one of the first semantictheories to go beyond the sentence boundary, and take into account how the interpretation of an expression may depend on the preceding discourse.
Discourserepresentationtheory (DRT) is an extension of first-order predicate calculus that was created by Hans Kamp in 1981 in order to examine the contextually dependent meaning of a discourse.
DRT uses variables for every individual constant in order to account for this problem.
A discourse is represented in a discourserepresentation structure (DRS), a box with variables at the top and the sentences in the formal language below in the order of the original discourse.
Feeds |
Contact