Thé ou café ? Oui

International audienceIn this paper, we present the aim and architecture of our dialogue modeling project. We focus on producing logical representations of questions and answers in dialogue. Our view is to narrow the problem of identifying incomprehension in dialogue to the one of finding logical incoherences in speech acts combinations

Treating clitics with minimalist grammars

International audienceWe propose an extension of Stabler's version of clitics treatment for a wider coverage of the French language. For this, we present the lexical entries needed in the lexicon. Then, we show the recognition of complex syntactic phenomena as (left and right) dislo- cation, clitic climbing over modal and extraction from determiner phrase. The aim of this presentation is the syntax-semantic interface for clitics analyses in which we will stress on clitic climbing over verb and raising verb

Outiller le diagnostic des pathologies mentales par l'analyse de la langue

National audienc

Counting dependencies and Minimalist Grammars

International audienceMinimalist Grammars (MG) are a formalism which allows a flexible syntactic analysis of natural languages. It was introduced by Stabler in [St 97]. Its generative capacity has been studies in [Ha 01]. This article describes the existence of a MG generating the counting dependencies L m = {1 n 2 n · · · m n , n ∈ IN}, and an algorithm of construction of the lexicon Lex m producing this language. It is a generalization of the Stabler presentation with n = 5 [St 97]. This class of languages belongs to the context-sensitive languages in the hierarchy of Chomsky. In a linguistic way, we could find example of this structure in sentence like : "Peter, Mary and Charles had respectively 14, 12 and 6 in math, history and sport". 1 Stabler's MG Stabler's Minimalist Grammars are lexicalised grammars. Therefore the generated language is the transitive closure of the lexicon under the generating functions. Each lexical entry is a list of features. The features are of two different natures and take part in the release of two distinct operations. Different types of feature : The set of base features is noted BF. The following features are also defined : – select : {= d | d ∈ BF}. The set of move features is noted MF. The following features are defined : – licensors : {+k | k ∈ MF}. – licensees : {−k | k ∈ MF}. Generating functions : – Merge : unification of a base feature with the corresponding selector. The result is the concatenation of the other feautures. – Move : unification of a licensor with a licensee. It corresponds to the move of the features to the components carrying the licensees in front of the structure. We use the following notation : e stand for a feature of an arbitrary type and E for a sequence of features. A lexical entry is made of a list of features and the associated phonological form, noted between oblique bars : e1. . ./z1/. The word generated is recognized by a left-right-hand side reading of the phonological forms in the analysis. The phonological form will be called "terminal" and the other elements of the list of features "non-terminal". Traditionally, the analyses are finite, binary and ordered trees with projections -which preserve the position of the head of the component. This order is marked on the nodes of the tree by ' ' -for the direction of the head. In this article, we will use list ordered from left to right. A component will be delimited by an under-brace and the head of this last will be marked in bold. To simplify the graphical representation, the group containing only one element and those containing only a phonological form will not be marked by a under-brace and the head will take back a normal font. The linear representation contains less information than the tree form but this information is sufficient to describe the mechanisms of our paper. Here an example of translation of an analysis in tree form to a linear representation

Le langage comme marqueur des troubles du langage et de la pensée

National audienc

Question the coherence of dialogical interaction through formalization

International audienc

Les lapins magiciens

In this document I introduce an unplugged activity to highlight the use of formal grammar. To do so I use rabbits, carrots and magic formulas.It is not widely known, but rabbits have magical powers. That's why magicians often use them in their tricks, for example to make them appear out of their hats. Everyone thinks that it is the magician who is doing the trick, but it is not. It is the rabbit. Before becoming a magician (and being able to perform), rabbits have to master magic. Before entering a real magic school, they pass on a book of formulas. Luckily, we managed to find a copy. In this book, the beginner rabbit has to learn the formulas to gather a lot of carrots to make one big one that will last all winter. And yes, rabbits are not magicians to perform, but because they need them to store their food. To do this, the rabbits have to line up their carrots in front of them and recite a magic formula. Be careful, the rabbits can't stop in the middle of their spell. It is impossible to touch the carrots, otherwise the magic disappears and the beginner rabbit is left with his original carrots. Therefore, the formulas are applied to carrots to transform them. The formulas are carried out in several stages. The intermediate productions are large carrots of different colours. First level of magic mastery: to transform a normal carrot into a giant carrot, you use the formula giantum. Beware, giantum on a normal orange carrot can produce a red giant carrot, sometimes a green giant carrot. It depends on the mastery of magic and the conditions. But beware, as we will see, magic is an unstable science. Only the big orange carrots are stable and can be stored.On le sait peu, mais les lapins ont des pouvoirs magiques. C'est d'ailleurs pour cela que les magiciens les utilisent souvent dans leurs tours, par exemple pour les faire apparaître de leur chapeau. Tout le monde croit que c'est le ma-gicien qui fait le tour, mais il n'en est rien. C'est le lapin. Avant de devenir magicien (et de pouvoir se produire en spectacle), les lapins doivent maîtriser la magie. Avant d'entrer dans une véritable école de magie, ils se transmettent un livre de formules. Et, par chance, nous avons réussi à en récupérer un exemplaire. Dans ce livre, le lapin débutant doit apprendre les formules permettant de rassembler une multitude de carottes pour en faire une seule grosse qui se conser-vera tout l'hiver. Et oui, les lapins ne sont pas magiciens pour faire des spectacles , mais parce qu'ils en ont besoin pour stocker leur nourriture. Pour cela, les lapins doivent aligner leurs carottes devant eux et réciter une formule magique. Attention, les lapins ne peuvent pas s'arrêter au milieu de leur formule. Il est impossible de toucher aux carottes sans quoi la magie disparaît et le lapin débutant se retrouve avec ses carottes de départ. Donc, les formules s'appliquent sur des carottes pour les transformer. Les formules se réalisent en plusieurs étapes. Les productions intermédiaires sont des grandes carottes de différentes couleurs. Premier niveau de maîtrise de la magie : pour transformer une carotte nor-male en carotte géante on utilise la formule géantum. Attention, géantum sur une carotte normale orange peut produire une carotte géante rouge, parfois une carotte géante verte. Cela dépend de la maîtrise de la magie et des conditions. Mais attention, comme nous allons le voir, la magie est une science (hum hum) instable. Seules les grandes carottes oranges sont stables et peuvent être stockées

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