A Logical Basis for the D Combinator and Normal Form in CCG

The standard set of rules defined in Combinatory Categorial Grammar (CCG) fails to provide satisfactory analyses for a number of syntactic structures found in natural languages. These structures can be analyzed elegantly by augmenting CCG with a class of rules based on the combinator D (Curry and Feys, 1958). We show two ways to derive the D rules: one based on unary composition and the other based on a logical characterization of CCG’s rule base (Baldridge, 2002). We also show how Eisner’s (1996) normal form constraints follow from this logic, ensuring that the D rules do not lead to spurious ambiguities.

[1]  Mark Steedman,et al.  Generative Models for Statistical Parsing with Combinatory Categorial Grammar , 2002, ACL.

[2]  Pauline Jacobson,et al.  Raising as function composition , 1990 .

[3]  Kent Wittenburg,et al.  Predictive Combinators: a Method for Efficient Processing of Combinatory Categorial Grammars , 1987, ACL.

[4]  Jason Baldridge,et al.  DotCCG and VisCCG: Wiki and Programming Paradigms for Improved Grammar Engineering with OpenCCG , 2007 .

[5]  Pauline Jacobson.  Towards a Variable-Free Semantics , 1999 .

[6]  Jason Baldridge,et al.  Multi-Modal Combinatory Categorial Grammar , 2003, EACL.

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

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

[9]  Michael White,et al.  Efficient Realization of Coordinate Structures in Combinatory Categorial Grammar , 2006 .

[10]  M. Pickering,et al.  Dependency categorial grammar and coordination , 1993 .

[11]  Kim K. Baldridge,et al.  Adapting Chart Realization to CCG , 2003, ENLG@EACL.

[12]  James R. Curran,et al.  Wide-Coverage Efficient Statistical Parsing with CCG and Log-Linear Models , 2007, Computational Linguistics.

[13]  Martin Kay,et al.  Syntactic Process , 1979, ACL.

[14]  Jason Eisner.  Efficient Normal-Form Parsing for Combinatory Categorial Grammar , 1996, ACL.

[15]  Luke S. Zettlemoyer,et al.  Online Learning of Relaxed CCG Grammars for Parsing to Logical Form , 2007, EMNLP.

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

[17]  Jason Baldridge,et al.  Lexically specified derivational control in combinatory categorial grammar , 2002 .

[18]  M. Lujan,et al.  Clitic promotion and mood in Spanish verbal complements , 1980 .

[19]  Frank Keller,et al.  Priming Effects in Combinatory Categorial Grammar , 2006, EMNLP.

[20]  Nick Hawes,et al.  Incremental , multi-level processing for comprehending situated dialogue in human-robot interaction , 2007 .

[21]  Haskell B. Curry,et al.  Combinatory Logic, Volume I , 1959 .

[22]  John Beavers.  Type-inheritance Combinatory Categorial Grammar , 2004, COLING.

[23]  Glyn Morrill,et al.  Parsing and Derivational Equivalence , 1989, EACL.

[24]  T. Gonen,et al.  Questions , 1927, Journal of Family Planning and Reproductive Health Care.

[25]  Cem H. Bozsahin.  Deriving the Predicate-Argument Structure for a Free Word Order Language , 1998, ACL.

[26]  Michael David Finnemann.  Aspects of the Spanish causative construction , 1982 .

[27]  Farrell Ackerman,et al.  Syntagmatic and Paradigmatic Dimensions of Causee Encodings , 1999 .