Abstract
This paper investigates whether the fundamental linguistic insights and intuitions of Lexical Functional Grammar (LFG), which is usually presented as a ’’constraint-based‘‘ linguistic theory, can be reformulated in a ’’resource sensitive‘‘ framework using a substructural modal logic. In the approach investigated here, LFG‘s f-descriptions are replaced with expressions from a multi-modal propositional logic (with permutation and possibly limited contraction). In effect, the feature structure ’’unification‘‘ basis of LFG‘s f-structures is replaced with a very different resource based mechanism. It turns out that some linguistic analyses that required non-monotonic devices in LFG (such as the ’’constraint equations‘‘ in the Andrews (1982) analysis of Icelandic) can be straightforwardly expressed in the framework presented here. Moreover, a Curry–Howard correspondence between proofs in this logic and λ-terms provides a semantic interpretation as a by-product of the process of showing syntactic well-formedness.
- Andrews, A.D., 1982, "The representation of Case in modern Icelandic," pp. 427-502 in The Mental Representation of Grammatical Relations, J. Bresnan, ed., Cambridge, MA: The MIT Press.Google Scholar
- Bayer, S. and Johnson, M., 1995, "Features and agreement," pp. 70-76 in The Proceedings of the 33rd Annual Meeting of the Association for Computational Linguistics, San Francisco, CA: Morgan Kaufmann. Google Scholar
- Bresnan, J., 1982, "Control and complementation," pp. 282-390 in The Mental Representation of Grammatical Relations, J. Bresnan, ed., Cambridge, MA: The MIT Press.Google Scholar
- Bresnan, J., Kaplan, R.M., Peters, S., and Zaenen, A., 1982, "Cross-serial dependencies in Dutch," Linguistic Inquiry 13, 613-635.Google Scholar
- Butt, M., Fortmann, C., and Rohrer, C., 1996, "Syntactic analyses for parallel grammars: Auxiliaries and genitive NPs," in Proceedings of COLING 1996. Google ScholarDigital Library
- Carpenter, B., 1996, Lectures on Type-Logical Semantics, Cambridge, MA: The MIT Press. Google ScholarDigital Library
- Chierchia, G., 1984, "Topics in the syntax and semantics of infinitives and gerunds," Ph.D. Thesis, University of Massachusetts, Amherst.Google Scholar
- Dalrymple, M., 1993, The Syntax of Anaphoric Binding, CSLI Lecture Notes, Vol. 36, Stanford, CA: CSLI Publications.Google Scholar
- Dalrymple, M., Lamping, J., Pereira, F., and Saraswat, V., 1995a, "Linear logic for meaning assembly," pp. 75-93 in Formal Grammar: Proceedings of the Conference of the European Summer School in Logic, Language and Information, Barcelona, Spain, G.V. Morrill and R.T. Oehrle, eds.Google Scholar
- Dalrymple, M., Lamping, J., Pereira, F.N.C., and Saraswat, V., 1995b, "Linear logic for meaning assembly," in Proceedings of CLNLP, Edinburgh.Google Scholar
- Dalrymple, M., Lamping, J., Pereira, F.C.N., and Saraswat, V., 1996a, "A deductive account of quantification in LFG," in Quantifiers, Deduction, and Context, M. Kanazawa, C.J. Piñón, and H. de Swart, eds., Stanford, CA: CSLI Publications.Google Scholar
- Dalrymple, M., Lamping, J., Pereira, F.C.N., and Saraswat, V., 1996b, "Intensional verbs without type-raising or lexical ambiguity," pp. 167-182 in Logic, Language and Computation, J. Seligman and D. Westerståhl, eds., Stanford, CA: CSLI Publications. Also in Proceedings of the Conference on Information-Oriented Approaches to Logic, Language and Computation/Fourth Conference on Situation Theory and Its Applications, Saint Mary's College of California, Moraga, CA, June 1994.Google Scholar
- Dalrymple, M., Lamping, J., Pereira, F.C.N., and Saraswat, V., 1997, "Quantifiers, anaphora, and intensionality," Journal of Logic, Language, and Information 6, 219-273. Google ScholarDigital Library
- Dörre, J., König, E., and Gabbay, D., 1996, "Fibred semantics for feature-based grammar logic," Journal of Logic, Language and Information 5, 3-4.Google ScholarCross Ref
- Dowty, D.R., 1985, "On recent analyses of the semantics of control," Linguistics and Philosophy 8(3), 291-332.Google ScholarCross Ref
- Gabbay, D.M., 1994, "Classical vs non-classical logics (the universality of classical logic)," pp. 359- 500 in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 2: Deduction Methodologies, D.M. Gabbay, C.J. Hogger, and J.A. Robinson, eds., Oxford: Oxford University Press. Google ScholarDigital Library
- Girard, J.-Y., 1995, "Linear Logic: Its syntax and semantics," pp. 1-42 in Advances in Linear Logic, J.-Y. Girard, Y. Lafont, and L. Regnier, eds., Cambridge, England: Cambridge University Press. Google ScholarDigital Library
- Girard, J.-Y., Lafont, Y., and Taylor, P., 1989, Proofs and Types, Cambridge Tracts in Theoretical Computer Science, Vol. 7, Cambridge, England: Cambridge University Press. Google ScholarDigital Library
- Jacobson, P., 1990, "Raising as function composition," Linguistics and Philosophy 13(4), 423-457.Google ScholarCross Ref
- Johnson, M., 1988, Attribute Value Logic and The Theory of Grammar, CSLI Lecture Notes Series, Vol. 16, Chicago, IL: Chicago University Press.Google Scholar
- Johnson, M., 1991, "Features and formulae," Computational Linguistics 17(2), 131-152. Google ScholarDigital Library
- Johnson, M., 1995, "Logic and feature structures," pp. 369-380 in Formal Properties of Lexical-Functional Grammar, M. Dalrymple and R.M. Kaplan, eds., CSLI Lecture Notes Series, Stanford, CA: CSLI.Google Scholar
- Johnson, M., 1997, "Features as Resources in R-LFG," in Proceedings of the 1997 LFG Conference, Stanford, CA: CSLI Publications.Google Scholar
- Johnson, M., 1998, "Type-driven semantic interpretation and feature dependencies in R-LFG," in Working with Glue: Resource Accounting and Semantic Interpretation in Lexical Functional Grammar, M. Dalrymple, ed., Cambridge, MA: The MIT Press, to appear.Google Scholar
- Johnson, M. and Bayer, S., 1995, "Features and agreement in lambek categorial grammar," pp. 123- 137 in Formal Grammar: Proceedings of the Conference of the European Summer School in Logic, Language and Information, Barcelona, Spain, G.V. Morrill and R.T. Oehrle, eds., Universitat Politècnica de Catalunya.Google Scholar
- Kaplan, R. and Maxwell III, J.T., 1988, "Constituent coordination in Lexical-Functional Grammar," pp. 297-302 in The Proceedings of the 12th International Conference on Computational Linguistics. Google ScholarDigital Library
- Kaplan, R.M. and Bresnan, J., 1982, "Lexical-Functional grammar: A formal system for grammatical representation," pp. 173-281 in The Mental Representation of Grammatical Relations, J. Bresnan, ed., Cambridge, MA: The MIT Press.Google Scholar
- Kaplan, R.M. and Zaenen, A., 1995, "Long-distance dependencies, constituent structure and functional uncertainty," pp. 137-165 in Formal Issues in Lexical-Functional Grammar, M. Dalrymple, R.M. Kaplan, J.T. Maxwell III, and A. Zaenen, eds., CSLI Lecture Notes Series, Vol. 47, Stanford, CA: CSLI Publications.Google Scholar
- Kasper, R.T. and Rounds, W.C., 1990, "The logic of unification in grammar," Linguistics and Philosophy 13(1), 35-58.Google ScholarCross Ref
- Kehler, A., Dalrymple, M., Lamping, J., and Saraswat, V., 1995, "The semantics of resource-sharing in Lexical-Functional Grammar," in Proceedings of the 7th Meeting of the European Association for Computational Linguistics, University College Dublin. Google ScholarDigital Library
- König, E., 1995, "Lexical functional grammars and lexical grammars," Technical report, Institute for Computational Linguistics, Universität Stuttgart.Google Scholar
- Maxwell III, J.T. and Kaplan, R.M., 1995, "The interface between phrasal and functional constraints," pp. 403-430 in Formal Issues in Lexical-Functional Grammar, M. Dalrymple, R.M. Kaplan, J.T. Maxwell III, and A. Zaenen, eds., CSLI Lecture Notes Series, Vol. 47, Stanford, CA: CSLI Publications.Google Scholar
- Moortgat, M., 1997, "Categorial type logics," pp. 93-178 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Cambridge, MA: The MIT Press.Google Scholar
- Morrill, G.V., 1994, Type-Logical Grammar: Categorial Logic of Signs, Dordrecht: Kluwer Academic Publishers.Google Scholar
- Rounds, W.C., 1997, "Feature logics," pp. 475-533 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Cambridge, MA: The MIT Press.Google Scholar
- Sag, I.A., 1995, "HPSG problem set 4: Icelandic case," Technical report, The Center for the Study of Language and Information. Available as http://hpsg.stanford.edu/hpsg/lecture-materials/pset4-icelandic.psGoogle Scholar
- Shieber, S.M., 1986, An Introduction to Unification-based Approaches to Grammar, CSLI Lecture Notes Series, Number 4, Chicago, IL: Chicago University Press.Google Scholar
- van Benthem, J., 1995, Language in Action: Categories, Lambdas and Dynamic Logic, Cambridge, MA: The MIT Press.Google Scholar
Index Terms
- A Resource Sensitive Interpretation of Lexical Functional Grammar
Recommendations
Vietnamese Lexical Functional Grammar
KSE '09: Proceedings of the 2009 International Conference on Knowledge and Systems EngineeringLexical Functional Grammar (LFG) is a multi-structure grammar that allows analyzing and generating natural language in syntactic, semantic, functional aspects and so on. This paper establishes a framework of LFG for Vietnamese (VLFG). The Vietnamese LFG ...
A PROLOG implementation of lexical functional grammar
IJCAI'83: Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2Lexical functional grammar (LFG) is an attempt to solve problems that arise in transformational grammar and ATN-formalisms (Bresnan, 1982). Another powerful formalism for describing natural languages follows from a method for expressing grammars in ...
Comments