L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégorielles

Maxime Amblard 1, 2 Alain Lecomte 3 Christian Retoré 2, 1
1 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
INRIA Futurs, Université Sciences et Technologies - Bordeaux 1, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Université Bordeaux Montaigne, CNRS - Centre National de la Recherche Scientifique : UMR5800
Résumé : Les propositions [2] de systèmes déductifs décrivant les grammaires minimalistes d'Edward Stabler [3] permettent d'étudier l'interface syntaxe sémantique [1] . L'idée principale est que la forme logique n'est pas le résultat immédiat de la dérivation syntaxique mais qu'il existe une analyse sémantique construite en parallèle. Les deux analyses participent à la bonne formation de la phrases, en ceci que les dérivations correctes sont celles dont les deux pendants, syn-taxique et sémantique, sont synchronisés. Nous montrons ici comment l'utilisation de contextes permet cette synchronisation. Grammaires Minimalistes Catégorielles La fusion (merge) correspond aux règles clas-siques d'élimination de / et \ des grammaires catégorielles. Le déplacement (move), correspond à l'élimination du produit noté ×. Les règles du produit sont les suivantes, Γ x : A ∆ y : B [i×] Γ,∆ (x,y) : A × B Γ w : A × B ∆,x : A,y : B,∆ z : C [e×] ∆,Γ,∆ let(x,y) = (π 1 (w),π 2 (w))inz : C π 1 et π 2 sont les projections des deux composantes la contruction let u = v in w de la programmation fonctionnelle L'élimination du produit peut intervenir à tout moment dans la dérivation, dès que les hypo-thèses à décharger ont été introduites. En pratique, nous utilisons une règle avec trois prémisses, règles qui s'obtient à partir de celles ci-dessus: Γ w : A × B x : A x : A y : B,∆ y : B [e×] 3 Γ,∆ let(x,y) = (π 1 (w),π 2 (w))inz : C
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [3 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01079275
Contributor : Maxime Amblard <>
Submitted on : Friday, October 31, 2014 - 6:25:53 PM
Last modification on : Thursday, November 8, 2018 - 11:48:02 AM
Document(s) archivé(s) le : Monday, February 2, 2015 - 4:42:00 PM

Files

minimal-gdr04HAL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01079275, version 1

Citation

Maxime Amblard, Alain Lecomte, Christian Retoré. L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégorielles. Journée de Sémantique et Modélisation, Mar 2004, Lyon, France. ⟨hal-01079275⟩

Share

Metrics

Record views

214

Files downloads

153