Afficher la notice abrégée

dc.contributor.advisorChristian Retoré(retore@labri.fr)
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorAMBLARD, Maxime
dc.contributor.otherNicholas ASHER (examinateur)
dc.contributor.otherGregory KOBELE (membre invité)
dc.contributor.otherAlain LECOMTE (co-directeur)
dc.contributor.otherUwe ONNICH (rapporteur)
dc.contributor.otherChristian RETORÉ (directeur)
dc.contributor.otherGéraud SÉNIZERGUES (président)
dc.contributor.otherIsabelle TELLIER (rapporteur)
dc.date.accessioned2024-04-15T09:56:25Z
dc.date.available2024-04-15T09:56:25Z
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198834
dc.description.abstractLes travaux de cette thèse se situent dans le cadre de la linguistique computationnelle. La problématique est de définir une interface syntaxe / sémantique basée sur les théories de la grammaire générative.<br />Une première partie, concernant le problème de l'analyse syntaxique, présente tout d'abord, la syntaxe générative, puis un formalisme la réalisant: les grammaires minimalistes de Stabler. <br />À partir de ces grammaires, nous réalisons une étude sur les propriétés de l'opération de fusion pour laquelle nous définissons des notions d'équivalence, ainsi qu'une modélisation abstraite des lexiques.<br />Une seconde partie revient sur le problème de l'interface. Pour cela, nous proposons un formalisme de type logique, basé sur la logique mixte (possédant des connecteurs commutatifs et non-commutatifs), qui équivaut, sous certaines conditions, aux grammaires de Stabler. <br />Dans ce but, nous introduisons une normalisation des preuves de cette logique, normalisation permettant de vérifier la propriété de la sous-formule. Ces propriétés sont également étendues au calcul de Lambek avec produit.<br />À partir de l'isomorphisme de Curry-Howard, nous synchronisons un calcul sémantique avec les preuves réalisant l'analyse syntaxique. Les termes de notre calcul font appel aux propriétés du lambda mu-calcul, ainsi qu'à celles de la DRT (Discourse Representative Theory).<br />Une dernière partie applique ces formalismes à des cas concrets. Nous établissons des fragments d'une grammaire du français autour du problème des clitiques.
dc.description.abstractEnThese works are parts of the framework of computational linguistic. We focus on the syntax/semantic interface based on generative grammars.<br />The first part treats of syntax analysis. We introduce Generative Grammars, which are a theoretical approach of syntax, and, then, Stabler minimalist grammars which are a formalism based on generative theory. We analyse the merge operation and we define equivalence for merge and an abstract modelling of lexicon.<br />The aim of the second part is now the syntax/semantic interface. We introduce a new logic formalism based on mixed logic (both commutative and non-commutative connectors). This formalism is equivalent to GM without SMC. We propose a normalisation (a non canonical one) for mixed logic which checks the sub-formula property. Then, these properties are both checked for Lambek calculus with product.<br />Syntactic analysis is performed by proof. On this proof, we synchronise a semantic calculus, using Curry-Howard isomorphism. Terms are based on lambda mu-calculus, and include DRT properties (Discourse Representative Theory).<br />The last part treats some linguistic phenomena. We focus on the cliticisation in french and propose a categorial minimalist grammar for french.
dc.language.isofr
dc.subjectgrammaires génératives
dc.subjectinterface syntaxe/sémantique
dc.subjectisomomrphisme de Curry-Howard
dc.subjectlambda-calcul
dc.subjectlambda mu-calcul
dc.subjectlogique linéaire
dc.subjectlangages formels
dc.subjectgrammaires catégorielles
dc.subjectgrammaires minimalistes
dc.subjecttypes de Montague
dc.subject.engenerative syntax
dc.subject.ensyntax/semantic interface
dc.subject.enCurry-Howard isomorphism
dc.subject.enlambda-calculus
dc.subject.enlambda mu-calculus
dc.subject.enlinear logic
dc.subject.enformal languages
dc.subject.encategorial grammars
dc.subject.enminimalist grammars
dc.subject.enMontague semantic
dc.titleCalculs de représentations sémantiques et syntaxe générative : les grammaires <br />minimalistes catégorielles
dc.title.enSémantic representations and generative grammar: the Minimalist Categorial Grammars
dc.typeThèses de doctorat
dc.subject.halInformatique [cs]/Autre [cs.OH]
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.type.institutionUniversité Sciences et Technologies - Bordeaux I
bordeaux.ecole.doctoraleMathématiques, Sciences et Technologies de l'Information (Informatique)
hal.identifiertel-00185844
hal.version1
hal.origin.linkhttps://hal.archives-ouvertes.fr//tel-00185844v1
bordeaux.COinSctx_ver=Z39.88-2004&amp;rft_val_fmt=info:ofi/fmt:kev:mtx:journal&amp;rft.title=Calculs%20de%20repr%C3%A9sentations%20s%C3%A9mantiques%20et%20syntaxe%20g%C3%A9n%C3%A9rative%20:%20les%20grammaires%20%3Cbr%20/%3Eminimalistes%20cat%C3%A9gorielles&amp;rft.atitle=Calculs%20de%20repr%C3%A9sentations%20s%C3%A9mantiques%20et%20syntaxe%20g%C3%A9n%C3%A9rative%20:%20les%20grammaires%20%3Cbr%20/%3Eminimalistes%20cat%C3%A9gorielles&amp;rft.au=AMBLARD,%20Maxime&amp;rft.genre=unknown


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée