Paper: Unification Of Disjunctive Feature Descriptions

ACL ID P88-1035
Title Unification Of Disjunctive Feature Descriptions
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1988

The paper describes a new implementation of feature structures containing disjunctive values, which can be characterized by the following main points: Local representation of embedded dis- junctions, avoidance of expansion to disjunctive normal form and of repeated test-unifications for checking consistence. The method is based on a modification of Kasper and Rounds' calculus of feature descriptions and its correctness therefore is easy to see. It can handle cyclic structures and has been incorporated successfully into an envi- ronment for grammar development. 1 Motivation In current research in computational linguistics but also in extralinguistic fields unification has turned out to be a central operation in the mod- elling of data types or knowledge in general. Among linguistic formalis...