About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar

• Autorzy: Groote P., de , Pogodalla S. , Pollard C.
• Języki publikacji: EN

Abstrakty

EN

Recent discussions of grammatical architectures have distinguished two competing approaches to the syntax-semantics interface: syntactocentrism, wherein syntactic structures are mapped or transduced to semantics (and phonology), vs. parallelism, wherein semantics (and phonology) communicates with syntax via a nondirectional (or relational) interface. This contrast arises for instance in dealing with in situ operators. The aim of this paper is threefold: first, we show how the essential content of a parallel framework, convergent grammar (CVG), can be encoded within abstract categorial grammar (ACG), a generic framework which has mainly been used, until now, to encode syntactocentric architectures. Second, using such a generic framework allows us to relate the mathematical characterization of parallelism in CVG with that of syntactocentrism in mainstream categorial grammar (CG), suggesting that the distinction between parallel and syntactocentric formalisms is superficial in nature. More generally, it shows how to provide mildly context sensitive languages (MCSL), which are a clearly defined class of languages in terms of ACG, with a relational syntax-semantics interface. Finally, while most of the studies on the generative power of ACG have been related to formal languages, we show that ACG can illuminate a linguistically motivated framework such as CVG.

Słowa kluczowe

EN

grammatical formalism; type theory; linear logic; lambda calculus; mathematics of language; syntax-semantics interface

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2011
• Tom: Vol. 106, nr 2-4
• Strony: 211--231
• Opis fizyczny: Bibliogr. 32 poz.

Twórcy

autor

Groote P., de

autor

Pogodalla S.

autor

Pollard C.

• LORIA/INRIA Nancy – Grand Est, 615 rue du Jardin Botanique, 54602 Villers-les-Nancy, France,

Bibliografia

• [1] Bach, E., Partee, B. H.: Anaphora and semantic structure, 1980, Reprinted in Barbara H. Partee, Compositionality in Formal Semantics (Blackwell), pp. 122-152.
• [2] Barker, C., Shan, C.-c.: Donkey Anaphora is In-Scope Binding, Semantics and Pragmatics, 1(1), June 2008, 1-46.
• [3] Blackburn, P., Bos, J.: Representation and Inference for Natural Language. A First Course in Computational Semantics, CSLI, 2005.
• [4] Carpenter, B.: Type-Logical Semantics, The MIT Press, 1997.
• [5] Cooper, R.: Montague's Semantic Theory and Transformational Syntax, Ph.D. Thesis, University of Massachusetts at Amherst, 1975.
• [6] Cooper, R.: Quantification and Syntactic Theory, Reidel, Dordrecht, 1983.
• [7] Culicover, P. W., Jackendoff, R.: Simpler Syntax, Oxford University Press, 2005.
• [8] Curry, H.: Some logical aspects of grammatical structure, Studies of Language and its Mathematical Aspects (R. Jakobson, Ed.), Proc. of the 12th Symp. Appl. Math.., Providence, 1961.
• [9] Dalrymple,M.: Lexical FunctionalGrammar, vol. 42 of Syntax and Semantics series, Academic Press, 2001.
• [10] Gazdar, G.: Unbounded dependencies and coordinate structure, Linguistic Inquiry, 12, 1981, 155-184.
• [11] de Groote, P.: Towards Abstract Categorial Grammars, Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference, 2001.
• [12] de Groote, P., Maarek, S.: Type-theoretic extensions of Abstract Categorial Grammars, New Directions in Type-Theoretic Grammars, proceedings of the workshop, 2007, http://let.uvt.nl/general/people/rmuskens/ndttg/ndttg2007.pdf.
• [13] de Groote, P., Pogodalla, S.: On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms, Journal of Logic, Language and Information, 13(4), 2004, 421-438, http://hal.inria.fr/inria-00112956/fr/.
• [14] Hendriks, H.: Studied Flexibility: Categories and Types in Syntax and Semantics, Ph.D. Thesis, University of Amsterdam, 1993.
• [15] Hinderer, S.: Automatisation de la construction sémantique dans TYn, Ph.D. Thesis, Université Henri Poincaré - Nancy 1, 2008, http://tel.archives-ouvertes.fr/docs/00/35/30/65/PDF/ these-hinderer.pdf.
• [16] Jackendoff, R.: Foundations of Language: Brain, Meaning, Grammar, Evolution, Oxford University Press, 2002.
• [17] Kanazawa,M.: Second-OrderAbstract CategorialGrammars as Hyperedge ReplacementGrammars, Journal of Logic, Language, and Information, 19(2), 2009, 137-161, http://www.springerlink.com/content/ p644605651088uv6/.
• [18] Kanazawa, M., Salvati, S.: Generating Control Languages with Abstract Categorial Grammars, Proceedings of The 12th conference on Formal Grammar FG 2007 (G. Penn, Ed.), CSLI Publications, 2007, http://www.dei.unipd.it/~fgrammar/fg07/fg07preproc/0005/paper_10.pdf.
• [19] Kaplan, R. M., Bresnan, J.: Lexical-Functional Grammar: a formal system for grammatical representation, in: The Mental Representation of Grammatical Relations (J. Bresnan, Ed.), MIT Press, 1982, 173-281.
• [20] Lambek, J.: The mathematics of sentence structure, Amer. Math. Monthly, 65, 1958, 154-170.
• [21] Montague, R.: The proper treatment of quantification in ordinary English, Approaches to natural language: proceedings of the 1970 Stanford workshop on Grammar and Semantics (J. Hintikka, J.Moravcsik, P. Suppes, Eds.), Reidel, Dordrecht, 1973.
• [22] Moortgat, M.: Generalized quantifiers and discontinuous type constructors, in: Discontinuous constituency (W. Sijtsma, A. van Horck, Eds.), De Gruyter, 1991.
• [23] Moortgat,M.: Categorial Type Logics, in: Handbook of Logic and Language (J. van Benthem, A. terMeulen, Eds.), Elsevier Science Publishers, Amsterdam, 1996, 93-177.
• [24] Oehrle, R. T.: Term-Labeled Categorial Type Systems, Linguistic and Philosophy, 17(6), December 1994, 633-678.
• [25] Pogodalla, S.: Ambigu¨ıté de portée et approche fonctionnelle des TAG, Actes de TALN'07, 2007, http://hal.inria.fr/inria-00141913.
• [26] Pogodalla, S.: Generalizing a proof-theoretic account of scope ambiguity, Proceedings of the 7th International Workshop on Computational Semantics - IWCS-7 (J. Geertzen, E. Thijsse, H. Bunt, A. Schiffrin, Eds.), Tilburg University, Deparment of Communication and Information Sciences, 2007, http://hal.inria.fr/inria-00112898.
• [27] Pollard, C.: The Calculus of Responsibility and Commitment, Submitted.
• [28] Pollard, C.: Covert movement in logical grammar, Submitted.
• [29] Pollard, C., Sag, I. A.: Head-Driven Phrase Structure Grammar, CSLI Publications, Stanford, CA, 1994, Distributed by University of Chicago Press.
• [30] Salvati, S.: Encoding second order string ACG with Deterministic Tree Walking Transducers, Proceedings of The 11th conference on Formal Grammar FG 2006 (Shuly Wintner, Ed.), FG Online Proceedings, CSLI Publications, Malaga Espagne, 2006, http://cslipublications.stanford.edu/FG/2006/salvati.pdf.
• [31] Salvati, S.: On the complexity of Abstract Categorial Grammars, Proceedings of the 10th Conference on Mathematics of Language, MOL 10, 2007, http://wwwhomes.uni-bielefeld.de/mkracht/mol10/abstracts/acg_complexity.pdf.
• [32] Steedman, M.: Surface Structure and Interpretation, MIT Press, 1996.