Synchronisation syntaxe-sémantique, des grammaires minimalistes catégorielles (GMC) aux Constraint Languages for Lambda Structures (CLLS)

International audienceRésumé -Abstract Ces travaux se basent sur l'approche computationelle et logique de Ed Stabler (?), qui donne une formalisation sous forme de grammaire du programme minimaliste de Noam Chomsky (?). La question que je veux aborder est comment, à partir d'une analyse syntaxique retrouver la forme prédicative de l'énoncé. Pour cela, il faut mettre en place une interface entre syntaxe et sémantique. C'est ce que je propose en utilisant les Grammaires Minimalistes Catégorielles (GMC) extension des GM vers le calcul de Lambeck. Ce nouveau formalisme permet une synchronisation simple avec le λ-calcul. Parmi les questions fréquemment rencontrées dans le traitement des langues naturelles, j'interroge la performance de cette interface pour la résolution des problèmes de portée des quantificateurs. Je montre pourquoi et comment il faut utiliser un λ-calcul plus élaboré pour obtenir les dif-férentes lectures, en utilisant Constraint Languages for Lambda Structures -CLLS. This work is based on the computational and logical approach of Ed Stabler (?), which gives a formalization of the minimalist program of Noam Chomsky (?). The question I want to solve is, starting from a syntactic analysis, how to find the predicative forms of a sentence

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

National audienceLes 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 :

Vers une analyse automatique de la LSF: une modélisation de la Langue des Signes Française par les Grammaires Minimalistes

Rapport de recherche INRIA 00186965This paper is about verbal inflection and sign order in French Sign Language. In fact we study the effect of verbal inflection on the order of the sign (for example SOV or OSV). We choose to analyse this inflection like noun incorporation. And we need minimalist grammars to explain this phenomenon.Il s'agit dans cet article, de présenter la Langue des Signes Française du point de vue de son organisation syntaxique et plus particulièrement de l'ordre des signe adopté dans la phrase simple (de type SVO). Partant de ce constat, nous examinerons plus particulièrement les contraintes apportées par le verbe selon la forme fléchie ou non fléchie qu'il revêt. En effet, selon si le verbe s'accorde avec l'actant 1 ou avec l'actant 2, l'ordre des signes dans une phrase donnée sera modifié (SOV ou OSV par exemple). La flexion verbale sera analysée comme une manifestation de l'existence du phénomène d'incorporation nominale. Le cadre théorique choisi, les grammaires minimalistes, nous permettra de proposer une formalisation des différents phénomènes décrits ci-dessus, notamment les transformations qui peuvent s'opérer selon l'accord verbal qui est réalisé (ou non)

La non-commutativité comme argument linguistique : modéliser la notion de phase dans un cadre logique

International audienceRÉSUMÉ. L'une des questions du traitement automatique des langues est de discuter de la réalité de la capacité langagière des formalismes. Au delà de la modélisation linguistique, la théorie générative de Chomsky et le minimalisme s'intéressent à appréhender le langage humain en tant que processus cognitif, ce qui conduit à introduire le principe de dérivation par phases. Une première formalisation du minimalisme a été proposée dans (Stabler, 1997) afin, notamment, d'en étudier les propriétés computationnelles. L'extension formelle proposée ici, basée sur les Grammaires Minimalistes Catégorielles, (Amblard, 2011), s'attache à intégrer la notion de phase dans un cadre logique qui permet aussi de définir un calcul sémantique. Les enjeux de cette modélisation nous amènent à discuter de la commutativité et de la non-commutativité dans le formalisme. ABSTRACT. One of the recurring questions in natural language processing is the models's ability to account for the reality of language ability. Chomsky's Generative Theory and Minimalism are interested in understanding human language as a cognitive process, which is especially highlighted in the latest proposals by the principle of derivation by phases. A first formaliza-tion of Minimalism was introduced in (Stabler, 1997) to study the computational properties. The extension proposed here attempts to account for the idea of phase in a logical framework that allows to easily define a semantic calculus from parsing. This approach raises the problem of using the commutativity and non-commutativity in the Minimalist Categorial Grammars , (Amblard, 2011)

Calculs de représentations sémantiques et syntaxe générative : les grammaires minimalistes catégorielles

Les 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.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. À 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.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. 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.À 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).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

Analyse déductive pour les grammaires d'interaction

We propose a parsing algorithm for Interaction Grammars using the deductive parsing framework. This approach brings new perspectives on this problem, departing from previous methods relying on constraint-solving techniques to interpret it as a graph-rewriting problem. Furthermore, this presentation allows a standard description of the algorithm and a fine-grained inspection of the sources of non-determinism

Approche logique de grammaires pour les langues naturelles

Les contributions majeures de cette thèse s’articulent autour des trois axes de base de la linguistique computationnelle, à savoir la logique, la linguistique et l’informatique. Nous proposons ainsi un nouveau système non-directionnel GLE permettant de simuler les opérations transformationnelles du Programme Minimaliste dans un cadre logique qui fait appel au raisonnement hypothétique de manière contrôlée. La pertinence de ce formalisme est soulignée en montrant sa capacité de prendre en charge des phénomènes linguistiques complexes, nécessitant un partage contraint de ressources, tels que le liage d’anaphores ou la résolution d’ellipse. En outre, nous présentons un atelier logique ICHARATE destiné à la recherche et l’enseignement de la linguistique computationnelle. Cet outil est composé de bibliothèques pour l’assistant à la démonstration Coq, qui comprennent la formalisation de systèmes logiques avancés dédiés au traitement des langues naturelles, dont la logique multimodale.The major contributions of this thesis are articulated around the three basic axes of computational linguistics, namely logic, linguistics and computer science. We propose a new undirected system GLE which allows to simulate the transformational operations of Minimalist Program within a logical setting. The relevance of this formalism is underlined by showing its ability to deal with complex linguistic phenomena, requiring constrained resource sharing, such as anaphora binding or ellipsis resolution. Moreover, we present a logical framework ICHARATE intended for the study of computational linguistics. This tool is composed of libraries, built upon the Coq proof assistant, which include the formalization of advanced logical systems dedicated to natural language analysis, such as multimodal logic

Syntax and Semantics interacting in a Minimalist theory

International audienceAfter several proposals of a logical account of minimalism [5, 4, 6, 1], on the basis of the formalization provided by Edward Stabler [7, 8], we explore more precisely the interface between syntax and semantics. The main idea is that, according to many observations made for instance by Ray Jackendoff [3], the logical form is not the mere result of a derivation after the consumption of formal features. Indeed, there are rather two tasks which are performed on a par : the syntactic analysis properly speaking and the semantical analysis. Both analyses are connected by synchronization links in such a way that a parse can crash for (at least) two reasons : either because of a mismatch of syntactic features, or because of a failure in the semantic derivation

Ludique : une logique sans axiome d'identit\'e

In Logic, non reflexivity translates into the absence of the identity axiom. This opens the field to the treatment of many language phenomena, like fallacies. Ludics, a frame invented by J-Y Girard, because it is founded on loci (adresses) and not on formulae, allows such a treatment.Comment: 23 page

Semantics in Minimalist Categorial Grammar

International audienceThis paper is an attempt to develop a strictly derivationalist version of Chomsky's Minimalist Theory integrating theta roles and quantifier scoping without referring to a LF level. It is assumed different readings of a same sentence are obtained by various evaluation strategies, in a calculus which integrates a non deterministic version of lambda mu calculu