Scope Ambiguity and Inference

Relational Semantics can be used to give a denotation to the non- disambiguated logical forms used by Natural 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 representation. natural language processing, semantics, scope ambiguity, relational semantics, DRT, logical forms.