|
Elżbieta Hajnicz
Wybrane własności osadzeń i weryfikowanych przez nie struktur w Teorii Reprezentacji Dyskursu
[Some properties of embeddings and structures werified by them in Discourse Representation Theory]
980
Abstract
The present report contains a discussion of Discourse
Representation Theory (DRT) as formulated in Kamp and Reyle
(1993). Apart form the basic version of the theory, the report
describes its two extensions: the first concerning representation
of plurals and generalized quantifiers (DRT_Pl), the second
concerning tense and aspect (DRT_T). A translation of the basic
version into the first order predicate calculus is described, too.
The main focus of the report is an analysis of the properties of
DRT with regard to the original Kamp and Reyle's semantics based
on the notion of embeddings. Next, the report shows which
of these properties carry over to the two modified versions of the
theory, i.e., DRT_Pl and DRT_T. We show also that many of the
tautologies of the propositional calculus are valid after their
transposition to the DRT language.
Finally, a short comparison of the DRT semantics considered here with
the later (static) semantics discussed by van Eijck and Kamp (1997).
Keywords: natural language semantics, logics, DRT, discourse referents,
embeddings
|
|
 |
 |
