Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: znaczniki dyskursu

Sortuj według:

Ogranicz wyniki do:

Wybrane własności osadzeń weryfikowanych przez nie struktur w Teorii Reprezentacji Dyskursu

Hajnicz E.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2004

Nr 980

1-84

Niniejszy raport stanowi omówienie Teorii Reprezentacji Dyskursu (w skrócie DRT) w postaci przedstawionej przez Kampa i Reylego (1993). Prezentowana jest zarówno podstawowa wersja teorii, jak i dwa jej rozszerzenia: jedno dotyczące reprezentacji liczby mnogiej (znaczniki zbiorowe) i rozszerzonych kwantyfikatorów (DRT_Pl), drugie kwestii związanych z czasem i aspektem (DRT_T). Przedstawiona jest także translacja wersji podstawowej na rachunek predykatów I rzędu. Raport skupia się na analizie własności DRT względem oryginalnej semantyki Kampa i Reylego opartej na pojęciu osadzeń wraz z pokazaniem, które z tych własności przenoszą się na zmodyfikowane wersje teorii DRT_Pl i DRT_T. Wykazujemy także, że wiele tautologii rachunku zdań zachowuje swą ważność po przeformułowaniu ich na język DRT. Na koniec dokonano krótkiego porównania omawianej semantyki z późniejszą semantyką (statyczną) opisaną przez van Eijcka i Kampa (1997).

The present report contains a discussion of Discourse Representation Theory (DRT) as formulated in Kamp and Reyle (1993). Apart form the basie version of the theory, the report deser ibes its two extensions: the first concerning representation of plurals and generalized quan-tifiers (DRTpi), the second concerning tense and aspect (DRTy). A translation of the basie 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.,DRTp; and DRTx- We show also that many of the tautologies of the propositional calculus arę 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).