Underspecified Beta Reduction

Autor: Manuel Bodirsky and Katrin Erk and Alexander Koller and Joachim Niehren

Herausgeber:

For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be beta-reduced individually. Underspecified versions can produce compact descriptions of all readings, but it is not known how to perform beta reduction on these descriptions. We show how to do this using beta reduction constraints in the constraint language for $\lambda$-structures (CLLS).