Controlling Extraction in Abstract Categorial Grammars

This paper proposes an approach to control extraction in the framework of Abstract Categorial Grammar (ACG). As examples, we consider embedded wh-extraction, multiple wh-extraction and tensed-clauses as scope islands. The approach relies on an extended type system for ACG that introduces dependent types and advocates for a treatment at a rather abstract (tectogrammatical) level. Then we discuss approaches that put control at the object (phenogrammatical) level, using appropriate calculi.

[1]  Christian Retoré,et al.  A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars , 2010, J. Log. Lang. Inf..

[2]  Roman Jakobson,et al.  Structure of Language and Its Mathematical Aspects , 1961 .

[3]  Joachim Lambek,et al.  On the Calculus of Syntactic Types , 1961 .

[4]  R. Muskens.  Separating Syntax and Combinatorics in Categorial Grammar , 2007 .

[5]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[6]  Alan Bundy,et al.  Towards Ontology Evolution in Physics , 2008, WoLLIC.

[7]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.

[8]  Makoto Kanazawa,et al.  Parsing and Generation as Datalog Queries , 2007, ACL.

[9]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[10]  B. Carpenter,et al.  Type-Logical Semantics , 1997 .

[11]  Aravind K. Joshi,et al.  Tree-Adjoining Grammars , 1997, Handbook of Formal Languages.

[12]  Sylvain Pogodalla.  Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees , 2004, TAG+.

[13]  Glyn Morrill,et al.  Categorial Formalisation of Relativisation: Pied Piping, Islands, and Extraction Sites , 1992 .

[14]  Sylvain Salvati,et al.  Problèmes de filtrage et problème d'analyse pour les grammaires catégorielles abstraites. (Matching problem and parsing problem for abstract categorial grammars) , 2005 .

[15]  Philippe de Groote,et al.  Type-theoretic extensions of Abstract Categorial Grammars , 2007 .

[16]  Glyn Morrill,et al.  Incremental processing and acceptability , 2000, CL.

[17]  Aarne Ranta.  Type-Theoretical Grammar , 1995 .

[18]  G. M. Clemence,et al.  Blow up of smooth solutions to the barotropic compressible magnetohydrodynamic equations with finite mass and energy , 2008, 0811.4359.

[19]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[20]  Stuart M. Shieber.  Unifying Synchronous Tree Adjoining Grammars and Tree Transducers via Bimorphisms , 2006, EACL.

[21]  Sylvain Pogodalla,et al.  On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar , 2009, WoLLIC.

[22]  Sylvain Pogodalla,et al.  Generalizing a Proof-Theoretic Account of Scope Ambiguity , 2007 .

[23]  Sylvain Pogodalla,et al.  Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling. ESSLLI 2009 Lecture Notes, Part II , 2009 .

[24]  Yusuke Kubota,et al.  Phonological Interpretation into Preordered Algebras , 2009, MOL.

[25]  Haskell B. Curry,et al.  Some logical aspects of grammatical structure , 1961 .

[26]  Johan van Benthem,et al.  Handbook of Logic and Language , 1996 .

[27]  Sylvain Pogodalla,et al.  On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms , 2004, J. Log. Lang. Inf..

[28]  Sylvain Salvati,et al.  Minimalist Grammars in the Light of Logic , 2011, Logic and Grammar.

[29]  Edward P. Stabler,et al.  Derivational Minimalism , 1996, LACL.

[30]  Frank Wolter,et al.  Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.

[31]  Michael Moortgat,et al.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[32]  Reinhard Muskens,et al.  Lambda grammars and the syntax-semantics interface , 2001 .

[33]  Marcus Kracht,et al.  The mathematics of language , 2003 .

[34]  Chung-chieh Shan,et al.  Delimited continuations in natural language: quantification and polarity sensitivity , 2004, ArXiv.

[35]  Philippe de Groote,et al.  Towards Abstract Categorial Grammars , 2001, ACL.

[36]  Mark Johnson.  Proof Nets and the Complexity of Processing Center Embedded Constructions , 1998, J. Log. Lang. Inf..

[37]  Mario Piazza,et al.  Linguistic Applications of First Order Intuitionistic Linear Logic , 2001, J. Log. Lang. Inf..

[38]  Paul Portner,et al.  Formal Semantics: The Essential Readings , 2002 .

[39]  Geert-Jan M. Kruijff,et al.  resource sensitivity, binding, and anaphora , 2003 .

[40]  Ryo Yoshinaka,et al.  On Two Extensions of Abstract Categorial Grammars , 2007, LPAR.

[41]  Reinhard Muskens,et al.  Language, Lambdas, and Logic , 2003 .