STUF: Ein flexibler Graphunifikationsformalismus und seine Anwendung in LILOG

Zusammenfassung

Unifikationsbasierte Grammatikformalismen spielen eine immer bedeutendere Rolle in neueren Entwicklungen der Computerlinguistik. Die Lexikalisch-Funktionale Grammatik, die Generalisierte Phrasenstrukturgrammatik und die Kategoriale Unifikationsgrammatik sind Beispiele für linguistische Beschreibungsmodelle, die als gemeinsame Grundlage die Unifikation komplexer Attribut-Wert-Strukturen verwenden. Der S tuttgart T ype U nification F ormalism (STUF) ist ein flexibler Graphunifikationsformalismus, der es dem Linguisten ermöglicht, die Analysen dieser und anderer Theorien zu kodieren und mit dem Computer zu verarbeiten. In diesem Papier sollen wesentliche Teile von STUF vorgestellt werden und die Anwendung für die im LILOG-Projekt verwendete CUG demonstriert werden.

Abstract

Unification-based grammar formalism play an increasingly important role in the recent developments in computational linguistics. Lexical Functional Grammar, Generalized Phrase Structure Grammar, and Categorial Unification Grammar are examples of linguistic frameworks that rely on the unification of complex attribute-value-structures as a common basic notion. The S tuttgart T ype U nification F ormalism (STUF) is a flexible graph-unification formalism, which allows the linguist to encode and ran the analyses of these and other theories on a computer. In this paper major parts of STUF are introduced and its application to CUG, which is the theory of choice in the LILOG project, is shown.