A multiple nonmonotonic inheritance network with type hierarchies based on the LIFE programming language is proposed for Unification Categorial Grammar (UCG) to specify a large and complex lexicon. Inheritance is defined as a deductive unification process that incrementally refines classes. The disjunctive interpretation with generalization provides a practical solution to the potential contradictions caused by nonmonotonic inheritance. The transformation of UCG categories into augmented context-free lexical rules leads to a more natural representation of UCG and an efficient parsing algorithm.
展开▼
