Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

Discourse interpretation based on dynamic constraints

Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Human Language Technologies as a challenge for Computer Science and Linguistics (2; 21-23.04.2005; Poznań, Poland)
Języki publikacji
Our main objective will be to construct a fully compositional representation of nominal anaphora in discourse. The proposed representation is not dependent on the remote ascription (i.e. done outside the formal representation) of syntactic indexes, which identify anaphoric links. A formal language of variable free logic is introduced. It is based on dynamic semantics paradigm and is a variant of many-sorted type logic. We will also present the scope free treatment of quantification in multiple quantifier sentences. The interpretation of multiple quantifiers is defined by means of a construction of the polyadic Generalised Quantifier (GQ). The polyadic GQ is a constraint that should be satisfied by the denotation of a ?clausal? predicate.
Opis fizyczny
Bibliogr. 19 poz., rys.
  • [1] I. Bellert: Feature System for Quantitication Structures in Natural Language. Dordrecht. Foris Pub, 1989.
  • [2] P. Dekker: Predicate logic with anaphora. In Lynn Santelmann and Mandy Harvey {Eds.), Proc. Fourth Semantics and Linguistic Theory Conference. Cornell University. DMLL Publications, (1994).
  • [3] J.-D. Fodor and I. A. Sag: Referential and quantificational indefinites. Linguistic and Philosophy, 5 (1982), 355-398.
  • [4] J. Groenendijk and M. Stokhof: Dynamic predicate logic. Linguistics and Philosophy, 14(1991), 39-100.
  • [5] H. Kamp and U. Reyle: From Discourse lo Logic: Introduction to Modeltheoretic Semantics in Natural Language. Formal Logic and Discourse Representation Theory. Vol. 1. Dordrecht, Kluwer Academic Publishers, 1993.
  • [6] R. A. Muskens: A Compositional Discourse Representation Theory. In P. Dekker and M. Stokhof (Eds.), Proc. Ninth Amsterdam Colloquium. Amsterdam, ILLC. University of Amsterdam (1994).
  • [7] R. Nouwen: A Plural Resolution Logic. Technical report. UiL-OTS Utrecht. (2001).
  • [8] M. Piasecki: Język modelowania znaczenia polskiej frazy nominalnej. Ph.D. thesis. Faculty of Computer Science and Management. Wroclaw University of Technology, Wroclaw, (2003), (in Polish).
  • [9] M. Piasecki and A. Indyka-Piasecka: Varieties and cardinality dependencies in polish quantification structures. To appear in Contributions of The Fith European Conference on Formal Description of Slavic Languages. (2004).
  • [10] J. van Benthem and A. Ter Meulen (EDS): Handbook of Logic and Language. Amsterdam, Elsevier, 1997.
  • [11] J. Van der Does: Applied Quantifier Logic. Ph.D. thesis, ILLC. Univ. of Amsterdam. Amsterdam. (1994).
  • [12] J. Van Eijck: The Proper Treatment of Context in NL. In P. Monachesi (Ed,. Computational linguistics in the Netherlands 1999; Selected Papers from the Tenth CLIN Meeting. Utrecht Institute of Linguistics OTS. (2000).
  • [13] J. Van Eijck: Incremental dynamics. Journal of Logic. Language and Information. 10(2001), 319-351.
  • [14] J. van Eijck and H. Kamp: Representing discourse in context. In [10], (1997), 179-237.
  • [15] J. van Eijck and R. Nouwen; Quantification and Reference in Incremental Processing. Second draft. ILLC. University of Amsterdam. Paper presented at the (Preferably) Non-Lexical Semantics Conference. Spring. Paris,(2003).
  • [16] C. F. M. Vermeulen: Merging without mystery or: Variables in dynamic semantics. Journal of Philosophical Logic, 2A (1995). 405-450.
  • [17] Z. Vetulani: On Bellert's proposal concerning quantificational universal. Studia Logica XLVI. 4 ( 1987), 311 -320.
  • [18] M. Zawadowski: Formalization of the feature system in terms of pre-orders. In [1],{1989), 155-175.
  • [19] H. Zeevat: Demonstratives in Discourse. Journal of Semantics. 16 (2000). 279-313.
Typ dokumentu
Identyfikator YADDA
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.