For faster navigation, this Iframe is preloading the Wikiwand page for Discourse representation theory.

Discourse representation theory

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (February 2014) (Learn how and when to remove this message)

In formal linguistics, discourse representation theory (DRT) is a framework for exploring meaning under a formal semantics approach. One of the main differences between DRT-style approaches and traditional Montagovian approaches is that DRT includes a level of abstract mental representations (discourse representation structures, DRS) within its formalism, which gives it an intrinsic ability to handle meaning across sentence boundaries. DRT was created by Hans Kamp in 1981.[1] A very similar theory was developed independently by Irene Heim in 1982, under the name of File Change Semantics (FCS).[2] Discourse representation theories have been used to implement semantic parsers[3] and natural language understanding systems.[4][5][6]

Discourse representation structures

DRT uses discourse representation structures (DRS) to represent a hearer's mental representation of a discourse as it unfolds over time. There are two critical components to a DRS:

  • A set of discourse referents representing entities that are under discussion.
  • A set of DRS conditions representing information that has been given about discourse referents.

Consider Sentence (1) below:

(1) A farmer owns a donkey.

The DRS of (1) can be notated as (2) below:

(2) [x,y: farmer(x), donkey(y), owns(x,y)]

What (2) says is that there are two discourse referents, x and y, and three discourse conditions farmer, donkey, and owns, such that the condition farmer holds of x, donkey holds of y, and owns holds of the pair x and y.

Informally, the DRS in (2) is true in a given model of evaluation if and only if there are entities in that model that satisfy the conditions. So, if a model contains two individuals, and one is a farmer, the other is a donkey, and the first owns the second, the DRS in (2) is true in that model.

Uttering subsequent sentences results in the existing DRS being updated.

(3) He beats it.

Uttering (3) after (1) results in the DRS in (2) being updated as follows, in (4) (assuming a way to disambiguate which pronoun refers to which individual).

(4) [x,y: farmer(x), donkey(y), own(x,y), beat(x,y)]

Successive utterances of sentences work in a similar way, although the process is somewhat more complicated for more complex sentences such as sentences containing negation, and conditionals.

Donkey anaphora

In one sense, DRT offers a variation of first-order predicate calculus—its forms are pairs of first-order formulae and the free variables that occur in them. In traditional natural language semantics, only individual sentences are examined, but the context of a dialogue plays a role in meaning as well. For example, anaphoric pronouns such as he and she rely upon previously introduced individual constants in order to have 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), 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.

One of the major advantages of DRT is its ability to account for donkey sentences (Geach 1962) in a principled fashion:

(5) Every farmer who owns a donkey beats it.

Sentence (5) can be paraphrased as follows: Every farmer who owns a donkey beats the donkey that he/she owns. Under a Montagovian approach, the indefinite a donkey, which is assumed to be inherently an existential quantifier, ends up becoming a universal quantifier, an unwelcome result because the change in quantificational force cannot be accounted for in any principled way.

DRT avoids this problem by assuming that indefinites introduce discourse referents (DRs), which are stored in the mental representation and are accessible (or not, depending on the conditions) to expressions like pronouns and other anaphoric elements. Furthermore, they are inherently non-quantificational, and pick up quantificational force depending upon the context.

On the other hand, genuine quantifiers (e.g., 'every professor') bear scope. An 'every-NP' triggers the introduction of a complex condition of the form K1 → K2, where K1 and K2 are sub-DRSs representing the restriction and the scope of the quantification respectively.

Unlike true quantifiers, indefinite noun phrases just contribute a new DR (together with some descriptive material in terms of conditions on the DR), which is placed in a larger structure. This larger structure can be the top-level DRS or some sub-DRS according to the sentence-internal environment of the analyzed noun phrase—in other words, a level that is accessible to an anaphor that comes later.

See also


  1. ^ Kamp, Hans and Reyle, U. 1993. From Discourse to Logic. Kluwer, Dordrecht.
  2. ^ Javier Gutiérrez-Rexach (2003). Semantics: Noun phrase classes. Taylor & Francis. ISBN 978-0-415-26635-2.
  3. ^ Guzmán, Francisco, et al. "Using discourse structure improves machine translation evaluation." Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). Vol. 1. 2014.
  4. ^ Ahrenberg, Lars, Arne Jönsson, and Nils Dahlbäck. Discourse representation and discourse management for a natural language dialogue system. Universitetet i Linköping/Tekniska Högskolan i Linköping. Institutionen för Datavetenskap, 1991.
  5. ^ Rapaport, William J. "Syntactic semantics: Foundations of computational natural-language understanding." Thinking Computers and Virtual Persons. 1994. 225-273.
  6. ^ Juan Carlos Augusto; Reiner Wichert; Rem Collier; David Keyson, Albert A. Salah and Ah-Hwee Tan (23 November 2013). Ambient Intelligence: 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3–5, 2013. Proceedings. Springer. ISBN 978-3-319-03647-2.
{{bottomLinkPreText}} {{bottomLinkText}}
Discourse representation theory
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!

Your input will affect cover photo selection, along with input from other users.


Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?