Paper: Typed Unification Grammars

ACL ID C90-3052
Title Typed Unification Grammars
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1990

We introduce TFS, a computer formal- ism in the class of logic ibrmaiisms which integrates a powerful type system. Its basic data structures are typed feature structures. The type system encourages an object- oriented approach to linguistic description by providing a multiple inheritance mecha- nism and an inference mechanism which al- lows the specitication of relations between levels o[ linguistic description defined as classes of objects. We illustrate this alc- proach starting from a very simple DCG, and show how to make use of the typing sys- tem to enforce general constraints and mod- ularize linguistic descriptions, and how fur- ther abstraction leads to a tlPSG-Iike gram- mar.