Discourse interpretation based on dynamic constraints

• Autorzy: Piasecki M.
• Konferencja: Human Language Technologies as a challenge for Computer Science and Linguistics (2; 21-23.04.2005; Poznań, Poland)
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

anaphora; compositionality; dynamic semantics; Generalized Quantifiers; variable free logic; plurality; formal semantics; discourse representation

• Wydawca: Polish Academy of Sciences, Committee of Automatic Control and Robotics
• Czasopismo: Archives of Control Sciences
• Rocznik: 2005
• Tom: Vol. 15, no. 3
• Strony: 403--414
• Opis fizyczny: Bibliogr. 19 poz., rys.

Twórcy

autor

Piasecki M.

• Wrocław University of Technology, Institute of Applied Informatics, Poland,

Bibliografia

• [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.