L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégorielles
hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
dc.contributor.author | AMBLARD, Maxime | |
hal.structure.identifier | Structures Formelles du Langage [SFL] | |
dc.contributor.author | LECOMTE, Alain | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
dc.contributor.author | RETORÉ, Christian | |
dc.date.accessioned | 2024-04-15T09:57:56Z | |
dc.date.available | 2024-04-15T09:57:56Z | |
dc.date.conference | 2004-03-25 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198957 | |
dc.description.abstract | 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 | |
dc.language.iso | fr | |
dc.title | L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégorielles | |
dc.type | Communication dans un congrès | |
dc.subject.hal | Sciences cognitives | |
dc.subject.hal | Informatique [cs] | |
bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.institution | CNRS | |
bordeaux.conference.title | Journée de Sémantique et Modélisation | |
bordeaux.country | FR | |
bordeaux.conference.city | Lyon | |
bordeaux.peerReviewed | oui | |
hal.identifier | hal-01079275 | |
hal.version | 1 | |
hal.invited | non | |
hal.proceedings | oui | |
hal.popular | non | |
hal.audience | Nationale | |
hal.origin.link | https://hal.archives-ouvertes.fr//hal-01079275v1 | |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=L'interface%20entre%20syntaxe%20et%20s%C3%A9mantique%20pour%20les%20grammaires%20minimalistes%20cat%C3%A9gorielles&rft.atitle=L'interface%20entre%20syntaxe%20et%20s%C3%A9mantique%20pour%20les%20grammaires%20minimalistes%20cat%C3%A9gorielles&rft.au=AMBLARD,%20Maxime&LECOMTE,%20Alain&RETOR%C3%89,%20Christian&rft.genre=unknown |
Fichier(s) constituant ce document
Fichiers | Taille | Format | Vue |
---|---|---|---|
Il n'y a pas de fichiers associés à ce document. |