L'approche logique des grammaires catégorielles : une syntaxe tournée vers la sémantique
Résumé
The logical approach to categorial grammars renews ideas that go back to the fifties (and even to the thirties) and recent research connects those linguistic formalisms to type systems of the sort familiar in computer science. This new trend in computational linguistics is nevertheless tightly related to more common formalisms for natural language processing, like tree adjoining grammars, dependency grammars, and certain phrase-structure grammars. What is the motivation of such an approach ? What are its successes ? What are its objectives ? This survey tries to answer these questions, stressing the important role of logic in recent developments and the tight connection with semantics. Basic results are precisely covered while more recent research and insights are only informally presented.
L'approche logique des grammaires catégorielles renouvelle les travaux des années cinquante (voire trente) et rapproche ces formalismes linguistiques des systèmes de typage utilisés en informatique. La linguistique informatique s'est ainsi enrichie d'une approche originale qui néanmoins rejoint d'autres formalisations plus connues, telles les grammaires d'arbres adjoints, les grammaires de dépendances et certaines grammaires transformationnelles. On peut se demander quelles sont les raisons d'une telle démarche, quels succès elle a obtenus, quels objectifs étaient, et sont toujours, poursuivis. Nous nous proposons de répondre à ces questions par le panorama que voici, en soulignant l'importance que joue la logique dans ces forma-lismes et le lien privilégié avec la sémantique qui en résulte. Les résultats de base sont explicitement traités tandis que les recherches et réalisations récentes ne sont qu'esquissées.