Vers une implémentation de la théorie sens-texte avec les grammaires catégorielles abstraites (2023)

Abstract: La théorie sens-texte est une théorie linguistique visant à décrire la correspondance entre le sens et le texte d’un énoncé à l’aide d’un outil formel qui simule l’activité langagière d’un locuteur natif. Nous avons mis en place une premiere implémentation de cette théorie à l’aide des grammaires catégorielles abstraites, qui sont un formalisme grammatical basé sur le lambda-calcul. Cette implémentation représente les trois niveaux de représentation sémantique, syntaxique profonde et syntaxique de surface de la théorie sens-texte. Elle montre que la transition de l’un à l’autre de ces niveaux (en particulier la génération d’une représentation de syntaxe de surface à partir d’une représentation sémantique d’un même énoncé) peut être implémentée en utilisant les propriétés avantageuses des grammaires catégorielles abstraites, dont la transduction.

## introduction cet article s'intéresse à l'implémentation de la théorie sens-texte (tst) à l'aide de grammaires catégorielles abstraites (acg), afin de générer du texte. la tst est une théorie linguistique ayant déjà été utilisée en génération, tandis que les acg sont un formalisme grammatical s'appuyant sur un système de types. nous utiliserons donc des méthodes formelles. ce choix est motivé par notre volonté d'avoir un texte très contrôlé, afin d'être sûrs que le texte généré est bien celui voulu et que le message transmis est bien le message que l'on voulait transmettre. ces mêmes motivations se retrouvent aussi dans grammatical framework @xcite , qui s'appuie, comme les acg, sur un système de types. l'encodage et les liens vers d'autres formalismes dans les acg a beaucoup été étudié (cf. tableau 1). la tst est en effet une théorie linguistique qui se donne pour objectif de décrire la correspondance entre le sens d'un énoncé et sa représentation sous forme textuelle par un outil formel, le modèle sens-texte, qui simule l'activité langagière d'un locuteur natif. elle utilise entre autres une syntaxe de dépendances et les concepts clés de paraphrase et de fonctions lexicales (fl) (cf. sections suivantes), ces derniers permettant de rendre plus naturel le texte en question. en particulier, les fl syntagmatiques (cf. section 2) encodent les collocations ou encore les verbes supports. elles sont donc très importantes, surtout lors des réalisations de surface. la direction privilégiée par cette théorie est la direction du sens vers le texte, soit la génération. certaines formalisations et implémentations de ce modèle ont déjà eu lieu, telles que les grammaires polarisées et gust @xcite @xcite et marquis @xcite @xcite . nous cherchons ici à implémenter la tst avec les acg et en particulier les structures linguistiques utilisées par la tst, même si pour chacun de ses niveaux de représentation il existe des formalismes relativement proches. par exemple, au niveau sémantique la tst utilise en effet des graphes, les notions de prédicats et d'arguments, et se rapproche des amr @xcite . au niveau de représentation syntaxique, elle utilise des arbres de dépendances, tout en ayant des types d'étiquettes différents d'autres formalismes en dépendance. nous nous intéressons ici à l'articulation et l'unité au sein de la tst de ces structures linguistiques. une question se pose alors : les acg sont-elles adaptées à implémenter une théorie linguistique basée sur une syntaxe de dépendance dans un but de génération ? cet article présente la faisabilité d'une telle implémentation en nous appuyant sur un nombre restreint d'exemples qui mettent en oeuvre plusieurs spécificités de la tst. ## théorie sens-texte et les fonctions lexicales la tst @xcite utilise le modèle sens-texte pour faire le lien entre le sens et le texte d'un énoncé. le sens est le contenu linguistique à communiquer @xcite ; il n'est pas directement observable. le texte est un fragment de discours @xcite , et est immédiatement perceptible. ## grammaires catégorielles abstraites (acg) les acg (de groote ( 2001 ), dont nous reprenons ici les définitions) sont un formalisme grammatical basé sur le λ-calcul. une acg est composée de deux langages, liés par un lexique. le premier langage est appelé langage abstrait et correspond à l'ensemble des structures grammaticales abstraites, comme des arbres d'analyse. le second langage, le langage objet, correspond à l'ensemble des réalisations concrètes générées par le langage abstrait, tel que des chaînes de caractère ou des représentations logiques sous forme de graphe. chacun de ces deux langages est un ensemble de λ-termes obtenu par induction sur une signature. définition 1 soit a l'ensemble des types atomiques. on note t (a) l'ensemble des types implicatifs linéaires obtenu par induction sur a : on note λ(σ) l'ensemble des λ-termes obtenus en utilisant les constantes de c, les variables, les abstractions et les applications. on note alors l 12 (t) = γ l'interprétation de t par l 12 (qui est alors égale à γ), ou encore t := γ s'il n'y a pas d'ambiguïté sur le lexique utilisé. les signatures et acg détaillées ici utilisent des λ-termes presque linéaires. nous ne détaillerons cependant pas cette notion car elle n'a que peu d'intérêt par rapport à ce que nous exposons ici, les variables utilisées n'étant ni effacées ni dupliquées dans les lexiques. nous notons toutefois λ o et λ pour les abstractions respectivement linéaires et non linéaires, @xmath0. nous définissons ainsi σ semantic qui correspond au niveau semr (et permet de représenter les sems illustrées en figure 2 ), et qui illustre la définition 2, de la manière suivante : pour des raisons de concision, nous ne définirons plus par la suite les ensembles a et c ; ils s'induisent de la table représentant τ . nous pouvons maintenant définir formellement une acg et les notions de langages abstrait et objet : ## conclusion nous avons montré ici une implémentation possible de la tst avec des acg. cette implémentation a eu lieu entre les niveaux semr et ssyntr du modèle sens-texte. bien que n'utilisant uniquement les structures principales des trois niveaux de représentation en question, et pas leurs autres structures, comme la structure communicative notamment, cette implémentation a montré, sur un ensemble de phrases exemples, que leurs structures syntaxiques de surface pouvaient être obtenues correctement (cf. le modèle réalisé permet d'effectuer la paraphrase sémantique, les transitions entre les niveaux de représentation grâce à la transduction, ainsi que la réalisation des fl, également grâce à la transduction des acg. de plus, le traitement des arguments optionnellement exprimables et des groupes adverbiaux est aussi permis. cependant, ce modèle montre quelques limites. en effet, la paraphrase syntaxique profonde n'est pas optimale. elle est actuellement possible, et réalisée par l'excroissance dont nous parlions en section 4 (cf. figure 4, zone 3). mais, elle demande d'être effectuée à la main, en stockant les étapes intermédiaires, et d'effectuer la boucle de transduction jusqu'à ce que plus aucune nouvelle structure ne soit renvoyée. nous pouvons imaginer un algorithme automatisant ces manipulations, mais ce n'est pas ce que nous recherchons ; cette alternative ne serait pas plus optimale. la transduction montre ici des limites que nous souhaitons dépasser dans nos recherches futures. aussi, tous les types de paraphrases possibles @xcite n'ont pas été exploités et considérés ici : nous voulons continuer dans cette direction par la suite afin de couvrir cela. de plus, nous voulons réussir à ajouter les autres structures de la tst, au moins les structures communicatives des différents niveaux, afin d'avoir une implémentation encore plus conforme à la tst.