Scope Ambiguity and Inference
Massimo Poesio · 1991
Relational Semantics can be used to give a denotation to the non-disambiguated logical forms used by )1atural Language Processing systems, representations in which the quantifiers are left "in situ". Giving a semantics to these logical forms makes it unnecessary for the system to compute all the disambiguated interpretations of a sentence before storing its representation in the knowledge base. Rules of inference can be defined so that the disambiguation process can be formally modeled in a declarative way. 'Weaker' rules of inference can also be specified so that conclusions can be derived from the non-disambiguated represent a lion.