Towards a Type-Theoretical Account of Lexical Semantics

Christian Bassac (1, 2) , Bruno Mery (2, 3) , Christian Retoré (2, 3)

1 CRTT - Centre de recherche en terminologie et traduction
2 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
3 LaBRI - Laboratoire Bordelais de Recherche en Informatique

After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montague- style semantics at the lexical level in order to complete the full analysis of an utterance, we summarize the current formulations of a well-known theory of that field. We then propose and justify our own model of the Generative Lexicon Theory, based upon a variation of classical compositional semantics, and outline its formalization. Additionally, we discuss the theoretical place of informational, knowledge-related data supposed to exist within the lexicon as well as within discourse and other linguistic constructs.

Mots clés: Type Theory.; Montague Semantics; Lexical Semantics; Type Theory

Domaines: Informatique et langage [cs.CL]

Christian Bassac, Bruno Mery, Christian Retoré. Towards a Type-Theoretical Account of Lexical Semantics. Journal of Logic, Language and Information, 2010, 19, pp.229-245. ⟨inria-00408308⟩