Abstract
A number of researchers have proposed applications of Girard's Linear Logic [7] to computational linguistics. Most have focused primarily on the connection between linear logic and categorial grammars. In this work we show how linear logic can be used to provide an attractive encoding of phrase structure grammars for parsing structures involving unbounded dependencies. The resulting grammars are closely related to Generalized Phrase Structure Grammars [4, 5]. As part of the presentation we show how a variety of issues, such as island and coordination constraints can be dealt with in this model.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Mary Dalrymple, John Lamping, Fernando Pereira, and Vijay Saraswat. Linear logic for meaning assembly. In Proceedings of the Workshop on Computational Logic for Natural Language Processing, 1995.
Mary Dalrymple, John Lamping, Fernando Pereira, and Vijay Saraswat. A Deductive Account of Quanti.cation in LFG. Center for the Study of Language and Information, Stanford, California, 1996.
Mary Dalrymple, John Lamping, Fernando Pereira, and Vijay Saraswat. Quantifiers, anaphora, and intensionality. Journal of Logic, Language, and Information, 6(3):219–273, 1997.
Gerald J. M. Gazdar. Unbounded dependencies and coordinate structure. Linguistic Inquiry, 12(2):154–184, 1981.
Gerald J. M. Gazdar. Phrase structure grammar. In P. Jacobson and G. K. Pullum, editors, The Nature of Syntactic Representation, pages 131–186. Reidel, Dordrecht, 1982.
Gerald J. M. Gazdar, Ewan Klein, Geoffrey K. Pullum, and Ivan Sag. Generalized Phrase Structure Grammar. Harvard University Press, Cambridge, Mass., 1985.
Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.
Mark Hepple. Hybrid categorial logics. Bulletin of the Interest Group in Pure and Applied Logics, 3(2.3), 1995.
Joshua Hodas. Specifying filler-gap dependency parsers in a linear-logic programming language. In K. Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 622–636, 1992.
Joshua S. Hodas. Logic Programming in Intuitionistic Linear Logic: Theory, Design, and Implementation. PhD thesis, University of Pennsylvania, Department of Computer and Information Science, May 1994.
Joshua S. Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. Journal of Information and Computation, 1994. To appear.
Joshus Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic: Extended abstract. In G. Kahn, editor, Sixth Annual Symposium on Logic in Computer Science, pages 32–42, Amsterdam, July 1991.
Mark Johnson. Resource-sensitivity in lexical-functional grammar. In Proceedings of the Roma Workshop, 1996.
A.K. Joshi. An introduction to tree adjoining grammars. In A. Manaster-Ramer, editor, The Mathematics of Language. Benjamins, 1986.
Aravind K. Joshi. Tree adjoining grammars: How much context-sensitivity is required to provide reasonable structural description? In David Dowty, Lauri Karttunen, and Arnold Zwicky, editors, Natural language processing: psycholinguistic, computational and theoretical perspectives, pages 206–250. Cambridge University Press, New York, 1983.
Max Kanovich. The expressive power of initial fragments of linear logic. A talk given at the Linear Logic Workshop, Cornell University, June 1993.
J. Lambek. The mathematics of sentence structure. American Mathematical Monthly, 65:154–169, 1958.
J. Lambek and P. J. Scott. Introduction to Higher Order Categorical Logic. Cambridge University Press, 1986.
P. Lincoln, J. Mitchell, A. Scedrov, and N. Shankar. Decision problems for propositional linear logic. Technical Report SRI-CSL-90-08, SRI International, 1990.
Michael Moortgat. Unambiguous proof representations for the lambek calculus. In Proceedings of the 8th Amsterdam Colloquium, 1991.
Glyn Morrill. Clausal proof nets and discontinuity. In Proceedings of the London Workshop on Proof Theory and Linguistic Analysis, 1994.
Gopalan Nadathur and Dale Miller. An Overview of λProlog. In Fifth International Logic Programming Conference, pages 810–827, Seattle,Washington, August 1988. MIT Press.
Richard T. Oehrle. Forms of labeled categorial type deduction. In Proceedings of the London Workshop on Proof Theory and Linguistic Analysis, 1994.
Remo Pareschi. Type-driven Natural Language Analysis. PhD thesis, University of Edinburgh, 1989.
Remo Pareschi and Dale Miller. Extending definite clause grammars with scoping constructs. In David D. H. Warren and Peter Szeredi, editors, 1990 International Conference in Logic Programming, pages 373–389. MIT Press, June 1990.
Fernando C. N. Pereira and Stuart M. Shieber. Prolog and Natural-Language Analysis, volume 10. CLSI, Stanford, CA, 1987.
Dirk Roorda. Resource Logics: Proof-Theoretical Investigations. PhD thesis, University of Amsterdam, 1991.
John Robert Ross. Constraints on Variables in Syntax. PhD thesis, Massachusetts Institute of Technology, 1967.
Mark J. Steedman. Combinators and grammars. In Bach Oehrle and Wheeler, editors, Categorial Grammars and Natural Language Structures, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hodas, J.S. (1999). A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies. In: Lecomte, A., Lamarche, F., Perrier, G. (eds) Logical Aspects of Computational Linguistics. LACL 1997. Lecture Notes in Computer Science(), vol 1582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48975-4_8
Download citation
DOI: https://doi.org/10.1007/3-540-48975-4_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65751-4
Online ISBN: 978-3-540-48975-7
eBook Packages: Springer Book Archive