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

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 knowledge
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/1347
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact