The Limits of Unification

Current complex-feature based grammars use a single procedure---unification---for a multitude of purposes, among them, enforcing formal agreement between purely syntactic features. This paper presents evidence from several natural languages that unification---variable-matching combined with variable substitution---is the wrong mechanism for effecting agreement. The view of grammar developed here is one in which unification is used for semantic interpretation, while purely formal agreement involves only a check for non-distinctness---i.e. variable-matching without variable substitution.

[1]  Frank Nuessel,et al.  X̄ syntax: a study of phrase structure. Linguistic Inquiry Monograph Two: Ray Jackendoff, MIT Press, Cambridge, Mass., 1977. xii, 249 pp. $11.50 (subscribers to Linguistic Inquiry pay $9.50). , 1979 .

[2]  David Stallard,et al.  The BBN Spoken Language System , 1989, HLT.

[3]  Richard S. Kayne,et al.  French Syntax: The Transformational Cycle , 1975 .

[4]  CurteanuNeculai.  Review of "Lecture on contemporary syntactic theories , 1987 .

[5]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[6]  Peter A. Mackridge.  Modern Greek Language , 1985 .

[7]  Robert T. Kasper,et al.  A Unification Method for Disjunctive Feature Descriptions , 1987, ACL.

[8]  Robert T. Kasper,et al.  A Logical Semantics for Feature Structures , 1986, ACL.

[9]  Michael Szamosi.  On a Surface Structure Constraint in Hungarian. , 1971 .

[10]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[11]  Mark Johnson,et al.  Attribute-value logic and the theory of grammar , 1988 .

[12]  Lauri Karttunen,et al.  Features and Values , 1984, ACL.

[13]  Noam Chomsky,et al.  Remarks on Nominalization , 2020, Nominalization.

[14]  Geoffrey K. Pullum,et al.  Phonological Resolution of Syntactic Feature Conflict , 1986 .

[15]  Noam Chomsky,et al.  Aspects of the Theory of Syntax. , 1966 .

[16]  Stuart M. Shieber,et al.  Prolog and Natural-Language Analysis , 1987 .

[17]  Ray Jackendoff,et al.  X Syntax: A Study of Phrase Structure , 1980 .

[18]  Patrick Saint-Dizier,et al.  Review of Prolog and natural-language analysis: CSLI lecture notes 10 by Fernando C. N. Pereira and Stuart M. Shieber. Center for the Study of Language and Information 1987. , 1988 .

[19]  N. Curteanu.  Book Reviews: Lecture on Contemporary Syntactic Theories: An Introduction to Unification-Based Approaches to Grammar , 1987, CL.

[20]  Kenneth Marx Ross,et al.  Parsing English phrase structure , 1981 .

[21]  David H. D. Warren,et al.  Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..