Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion

摘要

This paper introduces a technique for specifying quantifier scope distribution in formal terms that represent underspecified quantifier scopes. For this purpose, we extend the higher-order theory of acyclic recursion, by adding generalized quantifiers and terms for multiple quantifiers with underspecified scope. The specification of the quantifier scopes is by using interactive questions and answers that are also rendered into formal terms of the theory of acyclic recursion.