Logique de ressources et réseaux syntaxiques
Alain Lecomte, Christian Retoré
Résumé : Le but de cet article est de développer un cadre logique commun pour exprimer des formalismes grammaticaux éloignés en apparence, comme les grammaires catégorielles (calcul de Lambek), les grammaires d'arbres adjoints, les grammaires basées sur gouvernement et liage et les grammaires "minimalistes" (au sens de Chomsky et de Stabler). Ce cadre est fourni par le calcul ordonné, extension non-commutative de la logique linéaire. Un outil fondamental dans cette approche est fourni par la notion de réseau de preuve. Au lieu d'être associées à des formules (comme dans les variantes du calcul de Lambek, et selon la théorie des types usuelle), les expressions sont associées à des preuves partielles (appelées aussi modules) et le calcul donne les manières de les composer. On fabrique, de manière générale, des grammaires de réseaux, ces réseaux ayant, du fait de la sémantique de la logique linéaire (même enrichie au connecteur "précède"), une interprétation en termes d'algèbre de processus.