Abstract
DRS theory, as formulated by Hans Kamp and others, is specified in terms of a procedure that constructs representations of natural language discourse by processing a sentence in a left to right fashion. In this paper we present a completely declarative formulation in a PATR-like feature terminology that produces "standard" DRSs, but which avoids mention of left to right processing. Right to left anaphoric dependencies are modelled by treating each sentence as a compositionally derived function that maps the set of possible antecedents made available by the preceding discourse into another set of possible antecedents made available to anaphora in following sentences by the preceding discourse and this sentence combined. Finally, we show that our theory can be translated into Prolog form in a fairly direct manner, and we discuss a Prolog implementation that functions as either a parser, a generator, or a combination of both.
Original language | English |
---|---|
Pages (from-to) | 846 |
Number of pages | 1 |
Journal | Journal of Symbolic Logic |
Volume | 51 |
Issue number | 3 |
DOIs | |
Publication status | Published - 1986 |
Externally published | Yes |