Generative Power of CCGs with Generalized Type-Raised Categories

This paper shows that a class of Combinatory Categorial Grammars (CCGs) augmented with a linguistically-motivated form of type raising involving variables is weakly equivalent to the standard CCGs not involving variables. The proof is based on the idea that any instance of such a grammar can be simulated by a standard CCG.

[1]  Beryl Hoffman,et al.  Computational analysis of the syntax and interpretation of "free" word order in Turkish , 1995 .

[2]  Mark Steedman,et al.  A lexical theory of quantification in ambiguous query interpretation , 1996 .

[3]  Aravind K. Joshi,et al.  Long-Distance Scrambling and Tree Adjoining Grammars , 1991, EACL.

[4]  Emmon W. Bach,et al.  Categorial Grammars and Natural Language Structures , 1988 .

[5]  Masaru Tomita.  Current Issues in Parsing Technology , 1990 .

[6]  Mark Steedman,et al.  On the order of words , 1982 .

[7]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[8]  Aravind K. Joshi,et al.  A Processing Model for Free Word Order Languages , 1995, ArXiv.

[9]  Mark Steedman,et al.  Surface structure and interpretation , 1996, Linguistic inquiry.

[10]  M. Moortgat.  Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus , 1988 .

[11]  David J. Weir,et al.  Characterizing mildly context-sensitive grammar formalisms , 1988 .

[12]  Bob Carpenter,et al.  The Generative Power of Categorial Grammars and Head-Driven Phrase Structure Grammars with Lexical Rules , 1991, Comput. Linguistics.

[13]  Ramarathnam Venkatesan,et al.  Categorial and Non-Categorial Languages , 1986, ACL.

[14]  David R. Dowty.  Type Raising, Functional Composition, and Non-Constituent Conjunction , 1988 .

[15]  Mark Steedman.  Structure and Intonation , 1991 .

[16]  Martin Emms.  Parsing with polymorphism , 1993, EACL.

[17]  Nobo Komagata,et al.  Efficient Parsing for CCGs with Generalized Type-raised Categories , 1997, IWPT.

[18]  Aravind K. Joshi.  Complexity of Scrambling: A New Twist to the Competence - Performance Distinction , 1994, ArXiv.

[19]  Emmon W. Bach,et al.  Control in Montague Grammar , 1979 .

[20]  Nobo Komagata,et al.  Generative Power of CCGs with Generalized Type-Raised Categories , 1997, ACL.

[21]  Mark Steedman,et al.  Generating Contextually Appropriate Intonation , 1993, EACL.

[22]  Scott Prevost,et al.  A semantics of contrast and information structure for specifying intonation in spoken language generation , 1996 .

[23]  Beryl Hoffman,et al.  The Formal Consequences of using Variables in CCG Categories , 1993, ACL.

[24]  Owen C. Ranbow,et al.  Formal and computational aspects of natural language syntax , 1994 .

[25]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[26]  David J. Weir,et al.  Polynomial Time Parsing of Combinatory Categorial Grammars , 1990, ACL.

[27]  Mark Steedman.  Type-Raising and Directionality in Combinatory Grammar , 1991, ACL.

[28]  Mark Steedman,et al.  Dependency and Coordination in the Grammar of Dutch and English , 1985 .

[29]  Mark Steedman,et al.  Combinators and Grammars , 1988 .

[30]  Jong C. Park,et al.  Quantifier Scope and Constituency , 1995, ACL.

[31]  G. A. Miller,et al.  Finitary models of language users , 1963 .

[32]  Mark Steedman,et al.  Gapping as constituent coordination , 1990 .

[33]  Mark Hepple,et al.  The grammar and processing of order and dependency : a categorial approach , 1990 .

[34]  Pete Whitelock,et al.  JAPANESE PHRASE STRUCTURE GRAMMAR: A UNIFICATION-BASED APPROACH (STUDIES IN NATURAL LANGUAGE AND LINGUISTIC , 1988 .

[35]  David J. Weir,et al.  The convergence of mildly context-sensitive grammar formalisms , 1990 .

[36]  郡司 隆男.  Japanese phrase structure grammar : a unification-based approach , 1987 .

[37]  Walter J. Savitch,et al.  Context-Sensitive Grammar and Natural Language Syntax , 1987 .