A Flexible Graph-Unification Formalism and Its Application to Natural-Language Processing

A graph-unification-based representation language is described that was developed as the grammar formalism for the LILOG research project at IBM Germany. The Stuttgart Unification Formalism (STUF) differs from its predecessors in its higher flexibility and its algebraic structure. It is well suited for the implementation of rather different linguistic approaches, but is currently employed mainly in the development of Categorial Unification Grammars with a lexicalized compositional semantics. Examples from the syntactic and semantic processing of natural language are used to illustrate the virtues of the formalism and of our lexicalist approach to linguistic analysis.

[1]  Mark Steedman,et al.  Dependency and Coordination in the Grammar of Dutch and English , 1985 .

[2]  Ewan Klein,et al.  Discourse, anaphora and parsing , 1986, COLING.

[3]  Jörg H. Siekmann.  Proceedings of the German Workshop on Artificial Intelligence , 1981 .

[4]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[5]  THEO VENNEMANN,et al.  CATEGORIAL GRAMMAR AND CONSISTENT BASIC VX SERIALIZATION , 1977 .

[6]  Fernando Pereira,et al.  The Semantics of Grammar Formalisms Seen as Computer Languages , 1984, ACL.

[7]  Jeroen Groenendijk,et al.  Formal methods in the study of language , 1983 .

[8]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[9]  George E. Heidorn.  Automatic Programming Through Natural Language Dialogue: A Survey , 1976, IBM J. Res. Dev..

[10]  G. Bouma.  Modifiers and specifiers in categorial unification grammar , 1988 .

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

[12]  Emmon Bach,et al.  On the relationship between word-grammar and phrase-grammar , 1983 .

[13]  Mark Steedman,et al.  A Lazy way to Chart-Parse with Categorial Grammars , 1987, ACL.

[14]  David R. Dowty.  Type Raising, Functional Composition, and Non-Constituent Conjunction , 1988 .

[15]  Eric Bach,et al.  Generalized Categorial Grammars and the English Auxiliary , 1983 .

[16]  M. Baltin,et al.  The Mental representation of grammatical relations , 1985 .

[17]  Michael Flynn,et al.  7. A categorial theory of structure building , 1983 .

[18]  Fernando Pereira,et al.  The Formalism and Implementation of PATR-II , 1983 .

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

[20]  Hans Uszkoreit.  Categorial Unification Grammars , 1986, COLING.