Skip to main content Accessibility help
×
  • Cited by 6
Publisher:
Cambridge University Press
Online publication date:
October 2011
Print publication year:
2011
Online ISBN:
9781139013574

Book description

Grammars of natural languages can be expressed as mathematical objects, similar to computer programs. Such a formal presentation of grammars facilitates mathematical reasoning with grammars (and the languages they denote), as well as computational implementation of grammar processors. This book presents one of the most commonly used grammatical formalisms, Unification Grammars, which underlies contemporary linguistic theories such as Lexical-Functional Grammar (LFG) and Head-driven Phrase Structure Grammar (HPSG). The book provides a robust and rigorous exposition of the formalism that is both mathematically well-founded and linguistically motivated. While the material is presented formally, and much of the text is mathematically oriented, a core chapter of the book addresses linguistic applications and the implementation of several linguistic insights in unification grammars. Dozens of examples and numerous exercises (many with solutions) illustrate key points. Graduate students and researchers in both computer science and linguistics will find this book a valuable resource.

Reviews

'… the book offers a good introduction to unification grammars, which is exceptional in its rigorous mathematical treatment. It may be particularly well suited for use in university courses that not only seek to convey to students some basic knowledge and understanding of unification grammars but moreover attempt to familiarise them with formal descriptions and mathematical proofs.'

Mark-Jan Nederhof Source: Theory and Practice of Logic Programming

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
×

Contents

Bibliography
Bibliography
Aho, Alfred, V. and Jeffrey D., Ullman. The Theory of Parsing, Translation and Compiling, volume 1: Parsing. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1972 Google Scholar.
Aho, Alfred, V, John E., Hopcroft, and Jeffrey D., Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, MA, 1974 Google Scholar.
Aït-Kaci, Hassan. A lattice-theoretic approach to computation based on a calculus of partially ordered types. PhD thesis, University of Pennsylvania, 1984 Google Scholar.
Aït-Kaci, Hassan. An introduction to LIFE – programming with logic, inheritance, functions and equations. In Dale, Miller, editor, Logic Programming – Proceedings of the 1993. International Symposium, pages 52–68, MIT Press, Cambridge, MA, 1993 Google Scholar.
Aït-Kaci, Hassan, and Roger, Nasr. LOGIN: a logic programming language with built-in inheritance. Journal of Logic Programming, 3:185–215, 1986 CrossRef | Google Scholar.
Aït-Kaci, Hassan, and Andreas, Podelski. Towards a meaning of LIFE. Journal of Logic Programming, 16(3–4):195–234, July–August 1993 CrossRef | Google Scholar.
Aït-Kaci, Hassan, Andreas Podelski, and Seth Copen Goldstein. Order-sorted feature theory unification. In Dale, Miller, editor, Logic Programming – Proceedings of the 1993. International Symposium, pages 506–524, MIT Press, Cambridge, MA, 1993 Google Scholar.
Akmajian, Adrian, Richard A., Demers, and Robert M., Harnish. Linguistics: An Introduction to Language and Communication. MIT Press, Cambridge, MA, second edition, 1984 Google Scholar.
Alblas, Henk, and Borivoj, Melichar, editors. Attributed grammars, applications and systems, volume 545 of Lecture Notes in Computer Science. Springer Verlag, Berlin, 1991 CrossRef | Google Scholar.
Allen, James. Natural Language Understanding. Benjamin/Cummings, New York, NY, second edition, 1995 Google Scholar.
Barton, Jr., G., Edward, Robert C., Berwick, and Eric Sven, Ristad. Agreement and ambiguity. In Barton et al., editors, Computational Complexity and Natural Language, chapter 3, pages 89–102, 1987 Google Scholar.
Barton, Jr., G., Edward, Robert C., Berwick, and Eric Sven, Ristad, editors. Computational Complexity and Natural Language. Computational Models of Cognition and Perception. MIT Press, Cambridge, MA, 1987 Google Scholar.
Barton, Jr., G., Edward, Robert C., Berwick, and Eric Sven, Ristad. The complexity of LFG. In Barton et al., editors Computational Complexity and Natural Language chapter 4, pages 103–114, 1987 Google Scholar.
Bayer, Sam and Mark, Johnson. Features and agreement. In Proceedings of the 33rd Annual Meeting of the Associati on for Computational Linguistics, Cambridge, MA, June 1995 Google Scholar.
Berwick, Robert, C.Computational complexity and lexical-functional grammar. Computational Linguistics, 8(3–4):97–109, 1982 Google Scholar. ISSN 0891. 2017.
Steven, Bird, Ewan, Klein, and Edward, Loper. Natural Language Processing with Python. O'Reilly Media, Sebastopol, CA, 2009 Google Scholar.
Bloomfield, Leonard. Language. Holt, Rinehart and Winston, New York, 1933 Google Scholar.
Borsley, Robert, D.Modern phrase structure grammar. Number 11 in Blackwell textbooks in linguistics. Blackwell, Oxford, UK, 1996 Google Scholar.
Bresnan, Joan, Ronald M., Kaplan, Stanley, Peters, and Annie, Zaenen. Cross-serial dependencies in Dutch. Linguistic Inquiry, 13(4):613–635, 1982 Google Scholar.
Buszkowski, Wojciech, and Gerald, Penn. Categorial grammars determined from linguistic data by unification. Studia Logica, 49(4):431–454, 1990 CrossRef | Google Scholar. URL http://dx.doi.org/10.1007/BF00370157.
Butt, Miriam, Tracy Holloway King, María-Eugenia Niño, and Frédérique Segond. A Grammar Writer's Cookbook. CSLI Publications, Stanford, CA, 1999 Google Scholar.
Carpenter, Bob. Typed feature structures: A generalization of first-order terms. In Vijai, Saraswat and Ueda, Kazunori, editors, Logic Programming – Proceedings of the 1991. International Symposium, pages 187–201, MIT Press, Cambridge, MA, 1991 Google Scholar.
Carpenter, Bob. The Logic of Typed Feature Structures. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992 CrossRef | Google Scholar.
Carpenter, Bob, and Gerald, Penn. ALE 2.0 user's guide. Technical report, Laboratory for Computational Linguistics, Philosophy Department, Carnegie Mellon University, Pittsburgh, PA 15213, December 1994 Google Scholar.
Chomsky, Noam. Three models for the description of language. In I. R. E. transactions on information theory, Proceedings of the symposium on information theory, volume IT-2, pages 113–123, September 1956 Google Scholar.
Chomsky, Noam. Syntactic Structures. Mouton & Co., The Hague, The Netherlands, 1957 Google Scholar.
Copestake, Ann. The (new) LKB system. Technical report, Stanford University, September 1999 Google Scholar.
Copestake, Ann. Implementing Typed Feature Structure Grammars. CSLI Publications, Stanford, 2002 Google Scholar.
Covington, Michael, A.Natural Language Processing for Prolog Programmers. Prentice Hall, Englewood Cliffs, NJ, 1994 Google Scholar.
Dalrymple, Mary. Lexical Functional Grammar, volume 34 of Syntax and Semantics. Academic Press, New York, 2001 CrossRef | Google Scholar.
Dalrymple, Mary, Ronald M., Kaplan, John T., Maxwell, and Annie, Zaenen, editors. Formal Issues in Lexical-Functional Grammar, volume 47 of CSLI lecture notes. CSLI, Stanford, CA, 1995 Google Scholar.
Damas, Luís and Nelma, Moreira. Constraint categorial grammars. In Carlos, Pinto-Ferreira and Nuno, Mamede, editors, Progress in Artificial Intelligence, volume 990 of Lecture Notes in Computer Science, pages 347–358. Springer, Berlin and Heidelberg, 1995 Google Scholar. URL http://dx.doi.org/10.1007/3-540-60428-6_29.
Earley, Jay. An efficient context-free parsing algorithm. In Communications of the ACM, volume 2, pages 94–102, February 1970 Google Scholar.
Emerson, E., Allen. Alternative semantics for temporal logics. Theoretical Computer Science, 26:121–130, 1983 CrossRef | Google Scholar.
Feinstein, Daniel and Shuly, Wintner. Highly constrained unification grammars. Journal of Logic, Language and Information, 17(3):345–381, 2008 CrossRef | Google Scholar. URL http://dx.doi.org/10.1007/s10849-008-9062-9.
Gazdar, Gerald. Applicability of indexed grammars to natural languages. In Uwe, Reyle and Christian, Rohrer, editors, Natural Language Parsing and Linguistic Theories, pages 69–94. Reidel Publishing Company, Dordrecht, 1988 CrossRef | Google Scholar.
Gazdar, Gerald and Chris, Mellish. Natural Language Processing in LISP/PROLOG. Eddison Wesley, Wokingham, England, 1989 Google Scholar.
Gazdar, Gerald and Geoffrey K., Pullum. Computationally relevant properties of natural languages and their grammars. New Generation Computing, 3:273–306, 1985 CrossRef | Google Scholar.
Gerald E., Gazdar, Ewan, Klein, Jeoffrey K., Pullum, and Ivan A., Sag. Generalized Phrase Structure Grammar. Harvard University Press, Cambridge, MA, 1985 Google Scholar.
Groenink, Annius, V.Mild context-sensitivity and tuple-based generalizations of context-grammar. Linguistics and Philosophy, 20:607–636, 1997 CrossRef | Google Scholar. URL http://dx.doi.org/10.1023/A:1005376413354.
Haas, Andrew. A parsing algorithm for unification grammar. Computational Linguistics, 15(4):219–232, December 1989 Google Scholar.
Haddock, Nicholas, Ewan, Klein, and Glyn, Morill, editors. Categorial Grammar, Unification and Parsing, volume 1 of Working Papers in Cognitive Science. University of Edinburgh, Center for Cognitive Science, 1987 Google Scholar.
Harrison, Michael, A.Introduction to Formal Language Theory. Addison-Wesley, Reading, MA, 1978 Google Scholar.
Jaeger, Efrat. Unification grammars and off-line parsability. Master's thesis, Technion – Israel Institute of Technology, Haifa, Israel, November 2002 Google Scholar.
Jaeger, Efrat, Nissim, Francez, and Shuly, Wintner. Guaranteeing parsing termination of unification grammars. In Proceedgins of COLING'02, pages 397–403, August 2002 Google Scholar.
Jaeger, Efrat, Nissim, Francez, and Shuly, Wintner. Unification grammars and off-line parsability. Journal of Logic, Language and Information, 13(4), 2004 Google Scholar.
Jaffar, Joxan. Efficient unification over infinite terms. New Generation Computing, 2:207–219, 1984 CrossRef | Google Scholar.
Johnson, Mark. Attribute-Value Logic and the Theory of Grammar, volume 16 of CSLI Lecture Notes. CSLI, Stanford, CA, 1988 Google Scholar.
Joshi, Aravind, K.An introduction to tree adjoining grammars. In Alexis, Manaster-Ramer, editor, Mathematics of Language, pages 87–114. John Benjamins, Amsterdam, 1987 CrossRef | Google Scholar.
Joshi, Aravind, K.Tree-adjoining grammars. In Ruslan, Mitkov, editor, The Oxford Handbook of Computational Linguistics, chapter 26, pages 483–500. Oxford university Press, 2003 Google Scholar.
Joshi, Aravind, K., Leon S., Levy, and Masako, Takahashi. Tree adjunct grammars. Journal of Computer and System Sciences, 10(1):136–163, 1975 CrossRef | Google Scholar.
Jurafsky, Daniel and James H., Martin. Speech and Language Processing. Prentice Hall Series in Artificial Intelligence. Prentice Hall, NJ, 2000 Google Scholar.
Kaplan, Ronald and Joan, Bresnan. Lexical functional grammar: A formal system for grammatical representation. In J., Bresnan, editor, The Mental Representation of Grammatical Relations, pages 173–281. MIT Press, Cambridge, MA, 1982 Google Scholar.
Kaplan, Ronald, M.A general syntactic processor. In Randall, Rustin, editor, Natural Language Processing, number 8 in Courant Computer Science Symposium, pages 194–241. Algorithmics Press, P. O. Box 97, New York, NY 10012, 1973 Google Scholar.
Kaplan, Ronald, M., Tracy Holloway, King, and John T., Maxwell III. Adapting existing grammars: The XLE approach. In N., OostijkJ., Carroll and R., Sutcliffe, editors, Proceedings of the COLING 2002 Workshop on Grammar Engineering and Evaluation, pages 29–35, 2002 Google Scholar.
Karttunen, Lauri and Martin, Kay. Structure sharing with binary trees. In Proceedgins of the 23rd Annual Meeting of the Association for Computational Linguistics, pages 133–136, Chicago, 1985 CrossRef | Google Scholar.
Kasami, T. An efficient recognition and syntax algorithm for context-free languages. Scientific Report AFCRL-65-758, Air Force Cambridge Research Lab., Bedford, MA, 1965 Google Scholar.
Kay, Martin. The MIND system. In Randall, Rustin, editor, Natural Language Processing, number 8 in Courant Computer Science Symposium, pages 155–188. Algorithmics Press, P. O. Box 97, New York, NY 10012, 1973 Google Scholar.
Kay, Martin. Functional unification grammar. In 5th Annual Meeting of the Berkeley Linguistic Society, Berkeley, CA, 1979 Google Scholar.
Kay, Martin. Unification grammar. Technical report, Xerox Palo Alto Research Center, Palo Alto, CA, 1983 Google Scholar.
Kay, Martin. Parsing in functional unification grammar. In David, Dowty, Lauri, Karttunen, and Arnold, Zwicky, editors, Natural Language Parsing: Psychological, Computational and Theoretical Perspectives, chapter 7, pages 251–278. Cambridge University Press, Cambridge, 1985 CrossRef | Google Scholar.
King Tracy, Holloway, Martin, Forst, Jonas, Kuhn, and Miriam, Butt. The feature space in parallel grammar writing. Research on Language and Computation, 3:139–163, 2005 CrossRef | Google Scholar.
Knuth, Donald, E.Semantics of context free languages. Mathematical Systems Theory, 2:127–145, 1968 CrossRef | Google Scholar. (correction in Mathematical Systems Theory5, pp. 95-96, 1971).
Kuhn, Jonas. Towards a simple architecture for the structure-function mapping. In Miriam, Butt and Tracy Holloway, King, editors, The Proceedings of the LFG '99 Conference. CSLI Publications, Stanford, 1999 Google Scholar.
Lewis, Harry, R. and Christos H., Papadimitriou. Elements of the Theory of Computation. Prentice-Hall software series. Prentice-Hall, Englewood Cliffs, NJ, 1981 Google Scholar.
Lyons, John. Introduction to Theoretical Linguistics. Cambridge University Press, Cambridge, 1968 CrossRef | Google Scholar.
Manaster-Ramer, Alexis. Dutch as a formal language. Linguistics and Philosophy, 10:221–246, 1987 CrossRef | Google Scholar.
Manning, Christopher, D. and Hinrich, Schütze. Foundations of statistical natural language processing. The MIT Press, Cambridge, MA, 1999 Google Scholar.
Martelli, Alberto and Ugo, Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4(2):258–282, 1982 CrossRef | Google Scholar.
Meurers, W., Detmar, Gerald, Penn, and Frank, Richter. A web-based instructional platform for constraint-based grammar formalisms and parsing. In Proceedings of the ACL Workshop on Effective Tools and Methodologies for Teaching NLP and CL, pages 18–25, 2002 Google Scholar.
Michaelis, Jens and Marcus, Kracht. Semilinearity as a syntactic invariant. In Christian, Retoré, editor, Logical Aspects of Computational Linguistics, volume 1328 of Lecture Notes in Computer Science, pages 329–345. Springer Berlin / Heidelberg, 1997 Google Scholar. URL http://dx.doi.org/10.1007.BFb0052165.
Miller, Philip. Strong Generative Capacity: The Semantics of Linguistic Formalism. CSLI Publications, Stanford, CA, 1999 Google Scholar.
Moortgat, Michael. Categorial type logics. In Johan van, Benthem and Alice ter, Meulen, editors, Handbook of Logic and Language, chapter 2, pages 93–177. Elsevier, Amsterdam, 1997 CrossRef | Google Scholar.
Moshier, Drew. Extensions to Unification Grammars for the Description of Programming Languages. PhD thesis, University of Michigan, Ann Arbor, 1988 Google Scholar.
Moshier Drew, M. and William C., Rounds. A logic for partially specified data structures. In 14th Annual ACM Symposium on Principles of Programming Languages, pages 156–167, January 1987 Google Scholar.
Müller, Stefan. The Grammix CD Rom. a software collection for developing typed feature structure grammars. In Tracy Holloway, King and Emily M., Bender, editors, Grammar Engineering across Frameworks 2007, Studies in Computational Linguistics ONLINE, pages 259–266. CSLI Publications, Stanford, CA, 2007 Google Scholar.
Oepen, Stephan, Daniel, Flickinger, Junichi, Tsujii, and Hans, Uszkoreit, editors. Collaborative Language Engineering. A Case Study in Efficient Grammar-Based Processing. CSLI Publications, Stanford, CA, 2002 Google Scholar.
Pareschi, Remo and Mark, Steedman. A lazy way to chart-parse with categorial grammars. In Proceedings of the 25th Annual Meeting on Association for Computational Linguistics, pages 81–88, Morristown, NJ, 1987 CrossRef | Google Scholar. Association for Computational Linguistics. doi: http://dx.doi.org/10.3115/981175.981187. URL http://dx.doi.org/10.3115/981175.981187.
Pereira Fernando, C. N. and Stuart M., Shieber. Prolog and natural-language analysis, volume 10 of CSLI lecture notes. CSLI, Chicago, 1987 Google Scholar.
Pereira, Fernando, C. N. and David H. D., Warren. Parsing as deduction. In Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, pages 137–144, June 1983 CrossRef | Google Scholar.
Pollard, Carl. Generalized phrase structure grammars, head grammars and natural language. PhD thesis, Stanford University, Stanford, CA, 1984 Google Scholar.
Pollard, Carl and Ivan A., Sag. Information Based Syntax and Semantics. Number 13 in CSLI Lecture Notes. CSLI, 1987 Google Scholar.
Pollard, Carl and Ivan A., Sag. Head-Driven Phrase Structure Grammar. University of Chicago Press and CSLI Publications, 1994 Google Scholar.
Pullum Geoffrey, K. and Gerald, Gazdar. Natural languages and context-free languages. Linguistics and Philosophy, 4:471–504, 1982 CrossRef | Google Scholar.
Radzinski, Daniel. Chinese number-names, tree adjoining languages, and mild contextsensitivity. Computational Linguistics, 17(3):277–299, 1991 Google Scholar.
Ristad Eric, Sven. Computational structure of GPSG models. Linguistics and Philosophy, 13(5):521–587, 1990 CrossRef | Google Scholar.
Robinson John, Alan. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12:23–41, 1965 CrossRef | Google Scholar.
Sag, Ivan, A, and Thomas, Wasow. Syntactic Theory: A Formal Introduction. CSLI, Stanford, CA, 1999 Google Scholar.
Sag, Ivan, A.Gerald, Gazdar, Thomas, Wasow, and Steven, Weisler. Coordination and how to distinguish categories. Natural Language and Linguistic Theory, 3(2):117–171, 1985 Google Scholar.
Satta, Giorgio. Tree-adjoining grammar parsing and boolean matrix multiplication. Computational Linguistics, 20(2), June 1994 Google Scholar.
Savitch Walter, J.Emmon, Bach, William, Marsh, and Gila, Safran-Naveh, editors. The formal complexity of natural language, volume 33 of Studies in Linguistics and Philosophy. D. Reidel, Dordrecht, 1987 CrossRef | Google Scholar.
Sells, Peter. Lectures on contemporary syntactic theories: an introduction to government-binding theory, generalized phrase structure grammar, and lexical-functional grammar, volume 3 of CSLI lecture notes. CSLI, Stanford, CA, 1988 Google Scholar.
Shieber, Stuart, M.Evidence against the context-freeness of natural language. Linguistics and Philosophy, 8:333–343, 1985 CrossRef | Google Scholar.
Shieber, Stuart, M.An Introduction to Unification Based Approaches to Grammar. Number 4 in CSLI Lecture Notes. CSLI, 1986 Google Scholar.
Shieber, Stuart, M.Constraint-Based Grammar Formalisms. MIT Press, Cambridge, MA, 1992 Google Scholar.
Shieber, Stuart, M.Yves, Schabes, and Fernando, Pereira. Principles and implementation of deductive parsing. Journal of Logic Programming, 24(1-2):3–36, July/August 1995 CrossRef | Google Scholar.
Sikkel, Klaas. Parsing Schemata. Klaas Sikkel, Enschede, 1993 Google Scholar.
Sikkel, Klaas. Parsing Schemata. Texts in Theoretical Computer Science – An EATCS Series. Springer Verlag, Berlin, 1997 CrossRef | Google Scholar.
Steedman, Mark. The Syntactic Process. Language, Speech and Communication. The MIT Press, Cambridge, MA, 2000 Google Scholar.
Torenvliet, Leen and Marten, Trautwein. A note on the complexity of restricted attribute-value grammars. ILLC Research Report and Technical Notes Series CT-95-02, University of Amsterdam, Amsterdam, 1995 Google Scholar.
Uszkoreit, Hans. Categorial unification grammars. In Proceedings of the 5th International Conference on Computational Linguistics, pages 187–194, Bonn, 1986 Google Scholar.
Vijay-Shanker, K.A study of tree adjoining grammars. PhD thesis, the University of Pennsylvania, 1987 Google Scholar.
Vijay-Shanker, K. and Aravind K., Joshi. Unification Based Tree Adjoining Grammars. In J., Wedekind, editor, Unification-based Grammars. MIT Press, Cambridge, MA, 1991 Google Scholar.
Vijay-Shanker, K. and David J., Weir. Parsing some constrained grammar formalisms. Computational Linguistics, 19(4):591–636, 1993 Google Scholar.
Vijay-Shanker, K. and David J., Weir. The equivalence of four extensions of context-free grammars. Mathematical Systems Theory, 27:511–545, 1994 CrossRef | Google Scholar.
Wintner, Shuly. An abstract machine for unification grammars. PhD thesis, Technion – Israel Institute of Technology, Haifa, Israel, January 1997 Google Scholar.
Wintner, Shuly and Nissim, Francez. Parsing with typed feature structures. In Proceedings of the Fourth International Workshop on Parsing Technologies, pages 273–287, Prague, September 1995 Google Scholara.
Wintner, Shuly and Nissim, Francez. Parsing with typed feature structures. Technical Report LCL 95-1, Laboratory for Computational Linguistics, Technion, Israel Institute of Technology, Haifa 32000, Israel, December 1995 Google Scholarb.
Wintner, Shuly and Nissim, Francez. Off-line parsability and the well-foundedness of subsumption. Journal of Logic, Language and Information, 8(1):1–16, January 1999 CrossRef | Google Scholar.
Wintner, Shuly and Uzzi, Ornan. Syntactic analysis of Hebrew sentences. Natural Language Engineering, 1(3):261–288, September 1996 Google Scholar.
Wood Mary, McGee. Categorial Grammars. Linguistic Theory Guides. Routledge, London, 1993 Google Scholar.
Wroblewski, David, A.Nondestructive graph unification. In 6th Annual Conference of the American Association of Artificial Intelligence, pages 582–587, 1987 Google Scholar.
Younger, Daniel, H.Recognition and parsing of context-free languages in time n3. Information and Control, 10(2):189–208, 1967 CrossRef | Google Scholar.
Zeevat, Henk, Ewan, Klein, and Jo, Calder. An introduction to unification categorial grammar. In J. Nicholas, Haddock, Ewan, Klein, and Glyn, Morrill, editors, Edinburgh Working Papers in Cognitive Science, Vol. 1: Categorial Grammar, Unification Grammar, and Parsing. Centre for Cognitive Science, University of Edinburgh, 1987 Google Scholar.

Metrics

Altmetric attention score

Usage data cannot currently be displayed.