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

• Autorzy: Hajnicz E.
• Języki publikacji: PL

Abstrakty

PL

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).

EN

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).

Słowa kluczowe

PL

semantyka języka naturalnego; DRT; logiki formalne; znaczniki dyskursu; osadzenia

EN

natural language semantics; logics; DRT; discourse referents; embeddings

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2004
• Tom: Nr 980
• Strony: 1--84
• Opis fizyczny: Bibliogr. 29 poz.

Twórcy

autor

Hajnicz E.

• Instytut Podstaw Informatyki PAN ul. Ordona 21 01-237 Warszawa Polska,

Bibliografia

• Allen, J.F. (1984) Towards a general theory of action and time, Artificial Intelligence 23(2), s. 123-154
• Allen, J.F. & Hayes, P.J. (1987) Short time periods, Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy, Morgan Kaufmann Publishers, s. 981-983
• Asher, N. & Lascarides, A. (2003) Logics of conversation, Cambridege University Press
• Bende-Farkas & Kamp, H. (2001) Indefinites and binding: from specificity to incorporation, 13th European Summer School in Logic, Language and In¬formation (ESSLLI)
• van Benthem, J.F.A.K. (1983) The logic of time, D. Reidel Puiblishing Company, Dordrecht, Holland
• Blackurn, P., Bos, J., Kohlbase, M. & de Nivelle, H. (1999) Inference and computational semantics, w Bunt, H. & Thijsse, E. (red.) Third International Workshop on Computational Semantics (IWC-3), Tilburg, s. 5-19
• Bos, J. (2003) Implementing the binding and accomodation theory for anaphora resolution and pressuposition projection, Computational Lingustics 29 (2), s. 179-210
• Bos, J. (2004) Computational semantics in discourse: underspecification, resolution and inference, Journal of Logic, Language and Information, 13 (2), s. 139-157
• Caudal, P. & Roussarie, L. (2000) Event structure vs. stage structure and abstract aspectual relations, Proceedings of the 26th Meeting of the Berkeley Linguistics Society (BLS’26), Berkeley, CA
• Chaves, R.P. (2002) Principle-based DRTU for HPSG: a case study, Proceedings of the First Conference on Scalable Natural Language Understanding (SCANALU), Villa-Bosh, Heidelberg, Germany
• van Eijck, J. (1999) Axiomatizing dynamic logics for anaphora, Journal of Language and Computation 1, s. 41-51
• van Genabith, J. & Crouch, R. (1999) Dynamic and underspecified semantics for LFG, w Dalrymple, M. (red.) Semantics and syntax in Lexical Functional Grammar: the resource logic approach, MIT Press, Cambridge, MA, s. 209-260
• Gundel, J., Hegarty, M. & Borthen, K. (2003) Cognitive status, information structure and pronominal reference to clausally introduced entities, Journal of Logic, Language and Information, 12 (3), s. 281-299
• Hajnicz, E. (1995) An analysis of structure of time in the first order predicate calculus, w Bole, L. & Szałas, A. (red.) Logic and Time, UCL Press, s. 279-322
• Hajnicz, E. (1996) Reprezentacja logiczna wiedzy zmieniającej się w czasie, Akademicka Oficyna Wydawnicza PLJ, Warszawa
• Haugh, B.A. (1987) Non-standard semantics for the method of temporal arguments, Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy, Morgan Kaufmann Publishers, s. 449-455
• Kamp, H. (1981) A theory of truth and semantic representation, w Groenendijk J.i in. ( red.) Formal methods in the study of language, Mathematisch Centrum, Amsterdam
• Kamp, H. (2001) The importance of presupposition, w Rohrer, Ch., Rossdeutscher, A. & Kamp, H. (red.) Linguistic form and its computation, CSLI Publications, Stanford
• Kamp, H. & Reyle, U. (1993) From discoruse to logic, Kluwer, Dordrecht McDermott, D. (1982) A temporal logic for reasoning about processes and plans, Cognitive Science 6, s. 101-155
• Montague, R. (1970a) English as a formal language, w Visentini, B.i in. (red.) Linguaggi nella societä e nella tecnica, Edizioni di Community, Milan; przedruk w Thomason, R. (red.) (1974) Formal philosophy, selected papers of Richard Montague, Yale University Press, New Haven, s. 247-270
• Montague, R. (1970b) Universal grammar, Theoria 36; przedruk w Thomason, R. (red.) (1974) Formal philosophy, selected papers of Richard Montague, Yale University Press, New Haven
• Montague, R. (1970c) Pragmatics and intentional logic, Synthese XXII, s. 6-34; przedruk w Thomason, R. (red.) (1974) Formal philosophy, selected papers of Richard Montague, Yale University Press, New Haven
• Montague, R. (1973) The proper treatment of quantification in ordinary English, w Hintikka, J., Moravcsik, J., & Suppes, P. (red.) Approaches to natural language: proceedings of the 1970 Stanford workshop of grammar and semantics, Reidel, Dordrecht, str. 221-242; przedruk w Thomason, R. (red.) (1974) Formal philosophy, selected papers of Richard Montague, Yale University Press, New Haven
• Piasecki, M. (2002) Język modelowania znaczenia polskiej frazy nominalnej, praca doktorska, Wydział Informatyki i Zarządzania Politechniki Wrocławskiej
• Pineda, L. & Garza, G. (2000) A model for multimodal reference resolution, Computational Lingustics 26 (2), s. 139-193
• Reyle, U., Rossdeutscher, A. & Kamp, H. (2000) Ups and downs in the theory of temporal reference, w Reyle, U. (red.) Presuppositions and underspecification in the computation of temporal and other relations in discourse, Arbeitsberichte des Sonderfoschungsbereichs 340, Stuttgart/Tübingen 164
• Richter, F. & Sailer, M. (2001) Polish negation and Lexical Resource Semantics, w Kruijff, G.-J., Moss, L.S. &: Oehrle, R.T. (red.), Proceedings FG-MOL 2001 nr. 53 w Electronic Notes in Theorietical Computer Science
• Richter, F. & Sailer, M. (2003) Basic concepts of Lexical Resource Semantics
• Shoham, Y. (1987) Reasoning about change: time and causation from the standpoint of artificial intelligence, praca doktorska, Yale University