Fiche du document
1 mai 2010
- handle: 10670/1.ommads
- Report N°: RR-10015
- lirmm-00479637
Mots-clés
NLP compositional semantics categorial grammars pregroup grammars semantic vector models symmetric compact closed categories compact \tcs two-sorted first order logic functional logic quantum logic negated sentences universal sentences relative pronounsCiter ce document
Anne Preller et al., « Semantic Vector Models and Functional Models of Pregroup Grammars », HAL-SHS : linguistique, ID : 10670/1.ommads
Métriques
Partage / Export
Résumé
We show that vector space semantics and functional semantics in two-sorted first order logic are equivalent for pregroup grammars. An algorithm translates functional expressions to vector expressions and vice-versa. The semantics is compositional, variable free and invariant under permutations and repetitions. It includes the semantic vector models of Information Retrieval Systems and has an interior logic including a comprehension schema. The truth of a sentence in the interior logic is equivalent to the 'usual' first order formula rendering the sentence. The examples include negation, universal quantification and relative pronouns.