A knowledge representation formalism for expressing the logical form - intended as the representation of the deep and context-dependent meaning of an utterance - is introduced. The formalism allows for both underspecified semantic representations and encapsulation of contextual knowledge in the form of meaning postulates. In particular, lexical ambiguities introduced by prepositions, nouns, and verbs, PP-attachment ambiguities, and a simple class of quantification scoping ambiguities are considered. The basic reasoning task is satisfiability of logical forms, for which a complete and efficient decision procedure is devised. We show how to apply this logic in te case of lexical discrimination based on semantic knowledge
Reasoning with Underspecification in the Logical Form
1997-01-01
Abstract
A knowledge representation formalism for expressing the logical form - intended as the representation of the deep and context-dependent meaning of an utterance - is introduced. The formalism allows for both underspecified semantic representations and encapsulation of contextual knowledge in the form of meaning postulates. In particular, lexical ambiguities introduced by prepositions, nouns, and verbs, PP-attachment ambiguities, and a simple class of quantification scoping ambiguities are considered. The basic reasoning task is satisfiability of logical forms, for which a complete and efficient decision procedure is devised. We show how to apply this logic in te case of lexical discrimination based on semantic knowledgeI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
