Compositionality and the lexicon in evolutionary semantics

Résumé technique : Compositionnalité et le lexique dans la sémantique évolutive

Énoncé du problème
La sémantique formelle a établi que le sens des phrases provient de la composition récursive des significations lexicales. Cependant, le domaine de la sémantique évolutive, qui cherche à expliquer les universaux sémantiques par des pressions pour la simplicité et l'exactitude communicative, a largement modélisé les lexiques comme des collections de signaux non structurés ou des compositions holistiques dépourvues de parties lexicales interprétables. Ce fossé méthodologique rend difficile l'utilisation des caractérisations formelles des universaux pour générer des explications évolutives.

L'article se concentre sur la conservativité, sans doute l'universel sémantique le plus connu (Barwise & Cooper, 1981 ; Keenan & Stassi, 1986), qui stipule que les déterminants simples expriment des quantificateurs conservatifs sur un argument spécifique (généralement le second). Les comptes évolutifs précédents peinent à concilier plusieurs tensions empiriques :

1. Apprentissage : Les quantificateurs non conservatifs sont difficiles à acquérir pour les locuteurs anglais (Claim 4), pourtant les relations non conservatives dans le domaine verbal (ex. « outnumber » / surpasser en nombre) sont apprenables (Claim 5).
2. Complexité : Bien que certains modèles suggèrent que les quantificateurs conservatifs sont conceptuellement plus simples (Claim 3), cela n'explique pas pourquoi la contrainte s'applique spécifiquement aux déterminants et non aux verbes.
3. Explication : Les explications existantes (restriction lexicale, filtrage d'interface, prédication ordonnée) soit redéfinissent le phénomène, soit reposent sur des mécanismes psycholinguistiques non prouvés, soit échouent à fournir un compte évolutif de pourquoi les déterminants se spécialisent dans la quantification restreinte.

Méthodologie
Les auteurs introduisent un cadre computationnel qui intègre des intuitions de la sémantique formelle dans la modélisation évolutive. L'innovation centrale est un modèle où les significations lexicales et une fonction de composition co-évoluent sous des pressions de simplicité conceptuelle et d'exactitude communicative.

• Modèle de communication : Le cadre utilise un jeu de signalisation impliquant un émetteur ($S$) et un récepteur ($R$) dans un contexte de cinq objets possédant des caractéristiques entières. $S$ construit un signal pour restreindre le terrain commun, et $R$ met à jour ses croyances. Le succès est mesuré par la réduction des contextes possibles.
• Structure du langage : Le langage consiste en un lexique et une fonction d'interprétation. Crucialement, le modèle permet des analyses semi-catégorematiques. Contrairement à la sémantique formelle traditionnelle qui place tout le contenu dans les entrées lexicales (catégorematiques) ou les règles de composition (syncatégomatiques), ce cadre distribue le contenu sémantique entre les deux.
• Composantes variables : L'étude laisse non spécifiés :
  1. Les significations de trois quantificateurs ($Q_1, Q_2, Q_3$).
  2. La fonction de composition spécifique ($C^c_Q$) qui combine un quantificateur avec ses arguments ($L$ et $R$).
• Optimisation : L'étude explore un espace de langages possibles définis par des grammaires de contexte libre probabilistes (PCFG). Elle évalue ces langages sur une frontière de Pareto équilibrant :
  • Exactitude communicative : L'utilité attendue du jeu de communication, incorporant l'enrichissement pragmatique gricean (implicatures).
  • Complexité conceptuelle : La complexité descriptive de la fonction d'interprétation globale, permettant des abstractions dans la fonction de composition pour réduire la complexité des entrées lexicales individuelles.
• Hypothèse de traitement : Le modèle suppose une « gradualité », où les arguments sont traités progressivement à mesure qu'ils sont assignés des valeurs. Cela restreint l'argument de droite pour ne pas utiliser la valeur de l'argument de gauche avant que celui-ci ne soit traité, mais cela n'impose pas intrinsèquement la conservativité.

Contributions clés

1. Intégration de cadres : L'article propose un modèle pour étudier les universaux impliquant une compression globale au sein d'une catégorie grammaticale et la co-évolution du sens lexical et de la composition. Il comble le fossé entre la sémantique formelle (qui modélise la structure) et la sémantique évolutive (qui modélise l'optimisation).
2. Nouvel compte de la conservativité : Les auteurs soutiennent que la conservativité n'est pas simplement une caractéristique des significations des quantificateurs individuels, mais une abstraction au niveau du système dans la fonction de composition. En définissant la conservativité une seule fois dans la fonction de composition (par exemple, en restreignant le second argument à l'intersection du premier), les langues peuvent atteindre une haute exactitude communicative avec une complexité globale minimale.
3. Résolution des tensions empiriques : Le modèle démontre que la sensibilité à la structure syntaxique (déterminants vs verbes) provient du fait que la fonction de composition peut faire évoluer des contraintes spécifiques pour des catégories grammaticales spécifiques. Cela explique pourquoi les significations non conservatives sont apprenables dans les verbes (où la fonction de composition reste non contrainte) mais pas dans les déterminants (où l'abstraction systémique rend les ajouts non conservatifs coûteux ou impossibles).

Résultats
Les résultats de la simulation, analysés via la frontière de Pareto, révèlent trois groupes distincts de langages :

1. Systèmes simples, de faible précision : Langages avec des quantificateurs dégénérés et sans abstractions de niveau système. Ils sont simples mais communicativement inefficaces.
2. Systèmes optimaux (La frontière de Pareto) : Langages qui trouvent le meilleur équilibre entre complexité et précision. Ces systèmes font systématiquement évoluer une fonction de composition conservatrice.
   • Nécessité pragmatique : La conservativité émerge comme une stratégie réussie uniquement lorsque les agents sont pragmatiques. Les agents littéraux ne sélectionnent pas systématiquement des systèmes conservatifs. L'abstraction permet des schémas d'implication complexes (ex. « tout » implique « certains ») que les agents pragmatiques exploitent pour augmenter la précision.
   • Compression globale : La fonction de composition encode la restriction (ex. $Q(L)(R)$ devient $Q(L)(L \cap R)$), permettant aux quantificateurs individuels d'être définis simplement (ex. comparer seulement les tailles d'ensembles) tandis que le système dans son ensemble reste conservatif.
3. Systèmes complexes, à rendements décroissants : Langages avec des quantificateurs exotiques et une complexité élevée offrant des gains négligeables en précision.

Les résultats montrent que les langages conservatifs sont relativement rares dans l'espace a priori (~23 %) mais dominent la frontière de haute précision et de faible complexité lorsque l'enrichissement pragmatique est actif. De plus, la capacité à former des abstractions dans la fonction de composition est un prérequis à l'émergence de la conservativité ; sans elle, la frontière est dominée par des systèmes non conservatifs.

Signification et affirmations
L'article affirme que l'image du sens sentenciel développée en sémantique formelle peut être combinée de manière productive avec la modélisation évolutive. Plus précisément :

• Recadrage des universaux : Les universaux sémantiques comme la conservativité doivent être caractérisés comme des interactions entre les significations lexicales et la composition, plutôt que comme des propriétés des entrées lexicales seules.
• Pouvoir explicatif : Le modèle offre un meilleur compte des données que les modèles précédents en expliquant la sensibilité grammaticale de la conservativité (pourquoi elle s'applique aux déterminants mais pas aux verbes) et les contraintes d'apprentissage observées dans les expériences psycholinguistiques.
• Changement méthodologique : Les auteurs soutiennent que les modèles évolutifs doivent aller au-delà des signaux non structurés pour inclure des fonctions de composition explicites et des types syntaxiques afin de modéliser avec précision l'évolution des universaux linguistiques.
• Modestie : Ils reconnaissent les limites, notamment la faisabilité computationnelle de faire évoluer seulement trois quantificateurs à la fois et la dépendance à des choix spécifiques pour le lexique et les primitives conceptuelles. Ils suggèrent que bien que les résultats spécifiques dépendent de ces choix, l'explication de l'émergence de la conservativité via la compression systémique est robuste.

En conclusion, l'article démontre que la conservativité émerge comme une abstraction efficace à l'échelle du système qui minimise la complexité globale tout en maximisant l'exactitude communicative dans un cadre pragmatique, offrant une explication évolutive nouvelle pour un universel sémantique fondamental.