Paper: Underspecified Beta Reduction

ACL ID P01-1011
Title Underspecified Beta Reduction
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 2001

For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be a0 -reduced individ- ually. Underspecified versions can pro- duce compact descriptions of all read- ings, but it is not known how to perform a0 -reduction on these descriptions. We show how to do this using a0 -reduction constraints in the constraint language for a1 -structures (CLLS).