Unification Method for Disjunctive Feature Descriptions

摘要

Although disjunction has been used in several unification-based grammar formalisms, existing methods of unification have been unsatisfactory for descriptions containing large quantities of disjunction, because they require exponential time. This reprint describes a method of unification by successive approximation, resulting in better average performance. Keywords: Algorithms; Artificial intelligence; Computational linguistics; Natural language; Parsing; Syntax and semantics; Unification grammar. (Author)