La non-commutativité comme argument linguistique : modéliser la notion de phase dans un cadre logique [The non-commutativity as a linguistic argument: modeling phase in a logical framework]

La non-commutativité comme argument linguistique : modéliser la notion de phase dans un cadre logique Maxime Amblard LORIA, UMR 7503, Université de Lorraine, CNRS, Inria Nancy Grand-Est Campus scientifique F54506 Vandoeuvre-lès-Nancy Cedex maxime.amblard@univ-lorraine.fr RÉSUMÉ. L’une des questions du traitement automatique des langues est de discuter de la réalité de la capacité langagière des formalismes. Au-delà de la modélisation linguistique, la théorie générative de Chomsky et le minimalisme s’intéressent à appréhender le langage humain en tant que processus cognitif, ce qui conduit à introduire le principe de dérivation par phases. Une première formalisation du minimalisme a été proposée dans (Stabler, 1997) afin, notamment, d’en étudier les propriétés computationnelles. L’extension formelle proposée ici, fondée sur les grammaires minimalistes catégorielles, (Amblard, 2011), s’attache à intégrer la notion de phase dans un cadre logique qui permet aussi de définir un calcul sémantique. Les enjeux de cette modélisation nous amènent à discuter de la commutativité et de la non-commutativité dans le formalisme. ABSTRACT. One of the recurring questions in natural language processing is the models’s ability to account for the reality of language ability. Chomsky’s Generative Theory and Minimalism are interested in understanding human language as a cognitive process, which is especially highlighted in the latest proposals by the principle of derivation by phases. A first formaliza- tion of Minimalism was introduced in (Stabler, 1997) to study the computational properties. The extension proposed here attempts to account for the idea of phase in a logical framework that allows to easily define a semantic calculus from parsing. This approach raises the prob- lem of using the commutativity and non-commutativity in the Minimalist Categorial Gram- mars, (Amblard, 2011). MOTS-CLÉS : modélisation linguistique, logique, théorie générative, syntaxe, grammaires caté- gorielles, grammaires minimalistes, grammaires minimalistes catégorielles. KEYWORDS: linguistic modeling, logic, generative theory, syntax, Categorial Grammars, Mini- malist Grammars, Minimalist Categorial Grammars. TAL. Volume 56 – n˚1/2015, pages 91 à 115 92 TAL. Volume 56 – n˚1/2015 1. Introduction et motivation L’analyse linguistique est naturellement confrontée à un double problème. D’un côté elle doit reconnaître une forme linguistique (par exemple une phrase) à partir d’une suite de mots, où l’ordre est porteur d’une information structurelle, et d’un autre côté elle doit mettre en relation ces mots au delà de leur proximité immédiate (pour rendre compte des relations à longue distance, ou encore de la modification d’ordre canonique classique). Le premier problème plaide en faveur de l’utilisation de la non- commutativité (où l’on respecte strictement les relations de proximité) et le second en faveur de la commutativité (par exemple les relations à longue distance). Pour poser le vocabulaire, nous définissons la commutativité comme la propriété d’une opération qui permet de changer l’ordre des termes sans changer le résultat, par exemple AB = BA. Par opposition, la non-commutativité implique que AB ̸= BA. La commutativité et la non-commutativité sont régulièrement utilisées pour définir des cadres formels. Par exemple la non-commutativité est mobilisée dans les gram- maires catégorielles (Ajdukiewicz, 1935) et (Bar-Hillel, 1953), HPSG (Sag et Pol- lard, 1987), les grammaires de prégroupes …

Content truncated to 500 words