Proceedings of the 13th Meeting on the Mathematics of Language (MoL 13)

The Mathematics of Language (MoL) special interest group traces its origins to a meeting held in October 1984 at Ann Arbor, Michigan. While MoL is among the oldest SIGs of the ACL, it is the first time that the proceedings are produced by our parent organization. The first volume was published by Benjamins, later ones became special issues of the Annals of Mathematics and Artificial Intelligence and Linguistics and Philosophy, and for the last three occasions (really six years, since MoL only meets every second year) we relied on the Springer LNCS series. Perhaps the main reason for this aloofness was that the past three decades have brought the ascendancy of statistical methods in computational linguistics, with the formal, grammar-based methods that were the mainstay of mathematical linguistics viewed with increasing suspicion.To make matters worse, the harsh anti-formal rhetoric of leading linguists relegated important attempts at formalizing Government-Binding and later Minimalist theory to the fringes of syntax. Were it not for phonology and morphology, where the incredibly efficient finite state methods pioneered by Kimmo Koskenniemi managed to bridge the gap between computational practice and linguistic theory, and were it not for the realization that the mathematical approach has no alternative in machine learning, MoL could have easily disappeared from the frontier of research.The current volume marks a time when we can begin to see the computational and the theoretical linguistics camps together again. The selection of papers, while still strong on phonology (Heinz and Lai, Heinz and Rogers) and morphology (Kornai et al.), extends well to syntax (Hunter and Dyer, Fowlie) and semantics (Clark et al., Fernando). Direct computational concerns such as machine translation (Martzoukos et al.), decoding (Corlett and Penn), and complexity (Berglund et al.) are now clearly seen as belonging to the core focus of the field.The 10 papers presented in this volume were selected by the Program Committee from 16 submissions. We would like to thank the authors, the members of the Program Committee, and our invited speaker for their contributions to the planning and execution of the workshop, and the ACL conference organizers, especially Aoife Cahill and Qun Liu (workshops), and Roberto Navigli and Jing-Shin Chang (publications) for their significant contributions to the overall management of the workshop and their direction in preparing the publication of the proceedings.

[1]  S. Pulman,et al.  Aspectual Shift as Type Coercion , 1997 .

[2]  John Hale,et al.  Uncertainty About the Rest of the Sentence , 2006, Cogn. Sci..

[3]  Giorgio Satta,et al.  Recognition of Linear Context-Free Rewriting Systems , 1992, ACL.

[4]  T. Voit T.I.1 The challenge of making therapies happen for neuromuscular diseases , 2014, Neuromuscular Disorders.

[5]  Jason Alan Riggle,et al.  Generation, recognition, and learning in finite state optimality theory , 2004 .

[6]  Mathias Creutz,et al.  Unsupervised Discovery of Morphemes , 2002, SIGMORPHON.

[7]  Pierre Boullier,et al.  Range Concatenation Grammars , 2000, IWPT.

[8]  Kevin Knight,et al.  A Syntax-based Statistical Translation Model , 2001, ACL.

[9]  Jorge Nocedal,et al.  On the limited memory BFGS method for large scale optimization , 1989, Math. Program..

[10]  Dekai Wu,et al.  Stochastic Inversion Transduction Grammars and Bilingual Parsing of Parallel Corpora , 1997, CL.

[11]  Håkan Burden,et al.  Parsing Linear Context-Free Rewriting Systems , 2005, IWPT.

[12]  Emmon Bach Time, Tense, and Aspect: An Essay in English Metaphysics , 1981 .

[13]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

[14]  Jens Michaelis,et al.  Derivational Minimalism Is Mildly Context-Sensitive , 1998, LACL.

[15]  Michael C. Frank,et al.  Exploiting Social Information in Grounded Language Learning via Grammatical Reduction , 2012, ACL.

[16]  Frank Harary,et al.  Graph Theory , 2016 .

[17]  Peter Grünwald,et al.  A minimum description length approach to grammar inference , 1995, Learning for Natural Language Processing.

[18]  Frederick Jelinek,et al.  Statistical methods for speech recognition , 1997 .

[19]  Imre Simon,et al.  Piecewise testable events , 1975, Automata Theory and Formal Languages.

[20]  Joshua Goodman,et al.  Semiring Parsing , 1999, CL.

[21]  Jeffrey Heinz,et al.  Inductive learning of phonotactic patterns , 2007 .

[22]  Luigi Rizzi,et al.  Locality and Left Periphery , 2004 .

[23]  Zhiyi Chi,et al.  Statistical Properties of Probabilistic Context-Free Grammars , 1999, CL.

[24]  Noam Chomsky,et al.  The Sound Pattern of English , 1968 .

[25]  A. Joyal,et al.  The geometry of tensor calculus, I , 1991 .

[26]  Mark Johnson,et al.  Using Adaptor Grammars to Identify Synergies in the Unsupervised Acquisition of Linguistic Structure , 2008, ACL.

[27]  Marco Baroni,et al.  Nouns are Vectors, Adjectives are Matrices: Representing Adjective-Noun Constructions in Semantic Space , 2010, EMNLP.

[28]  R. Williams,et al.  The control of neuron number. , 1988, Annual review of neuroscience.

[29]  Herbert G. Tanner,et al.  Tier-based Strictly Local Constraints for Phonology , 2011, ACL.

[30]  Michael Herweg,et al.  A Critical Examination of Two Classical Approaches to Aspect , 1991, J. Semant..

[31]  Aravind K. Joshi,et al.  Natural language parsing: Tree adjoining grammars: How much context-sensitivity is required to provide reasonable structural descriptions? , 1985 .

[32]  Anne Preller,et al.  Free compact 2-categories , 2007, Mathematical Structures in Computer Science.

[33]  Jeffrey Heinz On the role of locality in learning stress patterns* , 2009, Phonology.

[34]  Giorgio Satta,et al.  Optimal Rank Reduction for Linear Context-Free Rewriting Systems with Fan-Out Two , 2010, ACL.

[35]  Donald E. Knuth,et al.  Fast Pattern Matching in Strings , 1977, SIAM J. Comput..

[36]  Guglielmo Cinque,et al.  The Syntax of Adjectives: A Comparative Study , 2010 .

[37]  Lauri Karttunen,et al.  Finite State Morphology , 2003, CSLI Studies in Computational Linguistics.

[38]  Michael R. Fellows,et al.  Fixed-Parameter Intractability II (Extended Abstract) , 1993, STACS.

[39]  Steven P. Abney Stochastic Attribute-Value Grammars , 1996, CL.

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

[41]  Susan Rothstein Structuring Events: A Study in the Semantics of Lexical Aspect , 2004 .

[42]  Jeffrey Heinz,et al.  Sentence and Word Complexity , 2011, Science.

[43]  Emmon Bach,et al.  Natural Language Metaphysics , 1986 .

[44]  Kimmo Koskenniemi,et al.  Two-Level Morphology , 1983 .

[45]  Uwe Reyle,et al.  From discourse to logic , 1993 .

[46]  M. Krifka The Origins of Telicity , 1998 .

[47]  David R. Dowty,et al.  Word Meaning and Montague Grammar , 1979 .

[48]  Thomas Schwentick,et al.  A model-theoretic approach to regular string relations , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.

[49]  Richard E. Korf,et al.  Complexity Analysis of Admissible Heuristic Search , 1998, AAAI/IAAI.

[50]  Philip Koehn,et al.  Statistical Machine Translation , 2010, EAMT.

[51]  Hermann Ney,et al.  Improved Alignment Models for Statistical Machine Translation , 1999, EMNLP.

[52]  Tadao Kasami,et al.  The Universal Recognition Problems for Multiple Context-Free Grammars and for Linear Context-Free Rewriting Systems , 1992 .

[53]  Ioannis Korkontzelos,et al.  Estimating Linear Models for Compositional Distributional Semantics , 2010, COLING.

[54]  Robin Cooper,et al.  Austinian Truth, Attitudes and Type Theory , 2005 .

[55]  R. McNaughton,et al.  Counter-Free Automata , 1971 .

[56]  Antony Galton,et al.  The logic of occurrence , 1987 .

[57]  Ian Maddieson,et al.  Patterns of sounds , 1986 .

[58]  James Rogers,et al.  Cognitive and Sub-regular Complexity , 2013, FG.

[59]  Eric Bakovic,et al.  Vowel harmony and stem identity , 2003 .

[60]  John A. Goldsmith,et al.  Unsupervised Learning of the Morphology of a Natural Language , 2001, CL.

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

[62]  J. Makhoul,et al.  Vector quantization in speech coding , 1985, Proceedings of the IEEE.

[63]  Jonathan Ginzburg,et al.  Situation Semantics: The Ontological Balance Sheet , 2005 .

[64]  Daniel Marcu,et al.  Statistical Phrase-Based Translation , 2003, NAACL.

[65]  David J. Weir,et al.  Characterizing Structural Descriptions Produced by Various Grammatical Formalisms , 1987, ACL.

[66]  S. J. Keyser Linguistic Inquiry Monographs , 2020, A Theory of Indexical Shift.

[67]  Felix Schlenk,et al.  Proof of Theorem 3 , 2005 .

[68]  Jeffrey Heinz,et al.  Computational Characterizations ofVowel Harmony Patterns and Pathologies , 2012 .

[69]  Mirella Lapata,et al.  Vector-based Models of Semantic Composition , 2008, ACL.

[70]  S. Y. Dennis On the hyper-Dirichlet type 1 and hyper-Liouville distributions , 1991 .

[71]  Gregory M. Kobele,et al.  An Automata-Theoretic Approach to Minimalism , 2007 .

[72]  W. Klein How time is encoded , 2009 .

[73]  R. Thomason Combinations of Tense and Modality , 2002 .

[74]  Koichi Shinoda,et al.  MDL-based context-dependent subword modeling for speech recognition , 2000 .

[75]  D. Rubin,et al.  Maximum likelihood from incomplete data via the EM - algorithm plus discussions on the paper , 1977 .

[76]  Tim Fernando,et al.  A Finite-state Approach to Events in Natural Language Semantics , 2004, J. Log. Comput..

[77]  G. Cinque Adverbs and Functional Heads: A Cross-Linguistic Perspective , 1999 .

[78]  Tim Fernando Branching from Inertia Worlds , 2008, J. Semant..

[79]  Tadao Kasami,et al.  On Multiple Context-Free Grammars , 1991, Theor. Comput. Sci..

[80]  G. M. Kelly,et al.  Coherence for compact closed categories , 1980 .

[81]  Jaye Padgett,et al.  Partial Class Behavior and Nasal Place Assimilation , 2008 .

[82]  Thomas L. Griffiths,et al.  Adaptor Grammars: A Framework for Specifying Compositional Nonparametric Bayesian Models , 2006, NIPS.

[83]  Roumyana Pancheva,et al.  The aspectual makeup of Perfect participles and the interpretations of the Perfect , 2003 .

[84]  Richard E. Korf,et al.  Time complexity of iterative-deepening-A* , 2001, Artif. Intell..

[85]  Jeffrey Heinz,et al.  Evidence for Classifying Metathesis Patterns as Subsequential , 2012 .

[86]  Emmon Bach,et al.  The algebra of events , 1986, The Language of Time - A Reader.

[87]  Laura Kallmeyer,et al.  Parsing Beyond Context-Free Grammars , 2010, Cognitive Technologies.

[88]  Michael Kenstowicz,et al.  Phonology In Generative Grammar , 1994 .

[89]  Michael C. Frank,et al.  Synergies in learning words and their referents , 2010, NIPS.

[90]  Jean Berstel,et al.  Transductions and context-free languages , 1979, Teubner Studienbücher : Informatik.

[91]  Dusko Pavlovic,et al.  A new description of orthogonal bases , 2008, Mathematical Structures in Computer Science.

[92]  Ben C. Moszkowski,et al.  Executing temporal logic programs , 1986, Seminar on Concurrency.