Th.--Paris IX--Orsay, 1988. / Bibliogr. p. 299-307. Index.

Th. univ.--Informatique--Paris 6, 1994. / 1994 d'après la déclaration du dépôt légal. Bibliogr. p. 156-158.

Th. doct.--Informatique--Orléans, 1993. / 1993 d'après la déclaration de dépôt légal. INRIA = Institut national de recherche en informatique et en automatique. Bibliogr. p. 213-216.

Habilitation à diriger des recherches : Informatique : Rennes 1 : 1998. / Bibliogr. p.61-65.

Présentation de problemes clés liés à la traduction automatisée et des solutions apportées par les transducteurs. Établissement d'un formalisme de représentation de la langue au moyen de grammaires statiques qui sont des grammaires de descriptions dans un modele multiniveau.

Les langages réguliers sont des langages qui ont été largement étudiés, notamment du point de vue de leurs propriétés de clôture ensembliste : l'ensemble des langages réguliers (pour un alphabet donné) forme une algèbre de Boole close par concaténation et étoile de Kleene. Ces propriétés ne se généralisent pas toutes à l ensemble des langages algébriques qui est un sur-ensemble de l'ensemble des langages réguliers. Notamment les langages algébriques ne sont pas clos par intersection. Pour engendrer ces langages, nous utilisons les grammaires déterministes de graphes. Une grammaire de graphes est un système fini de récriture d'hypergraphes finis. Par récriture itérée à partir d'un non-terminal, la grammaire engendre un graphe régulier dont les traces forment un langage algébrique. En définissant une relation de synchronisation entre ces grammaires, on montre que l'on peut définir des sous-ensembles stricts de langages algébriques non-ambigus qui forment des algèbres de Boole effectives contenant les langages réguliers. Nous donnons également des conditions suffisantes pour que ces algèbres booléennes soient closes par concaténation et étoile de Kleene.

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.<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.

No description available.

Nos recherches portent sur l'analyse automatique de textes par application de grammaires lexicalisées en utilisant des ressources linguistiques à large couverture. Dans ce contexte, nous avons approfondi nos travaux dans trois domaines : l'algorithmique, la réalisation d'applications utilisables dans un contexte industriel et l'analyse syntaxique profonde. En ce qui concerne le premier point, nous avons implémenté des algorithmes originaux pour l'optimisation des grammaires locales en préalable à leur utilisation pour l'analyse et nous proposons un algorithme efficace pour l'application de ce type de grammaire sur un texte. Notre algorithme améliore le traitement des ambiguïtés lexicales et syntaxiques. Nous montrons par des évauations chiffrées que nos algorithmes permettent de traiter de gros volumes de données textuelles en combinaison avec des ressources linguistiques fines et à large couverture. Au niveau applicatif, nous avons participé au développement de la plate-forme RNTL Outilex dédiée aux traitements automatiques de textes écrits. L'architecture modulaire de la plate-forme et sa licence peu restrictive (LGPL) permet la réalisation, à faible coût, d'applications hybrides mélangeant les méthodes à base de ressources linguistiques avec les méthodes statistiques. Enfin, le troisième axe de nos recherches porte sur l'exploitation des tables du lexique-grammaire, pour l'analyse syntaxique profonde et l'extraction des prédicats et de leurs arguments dans les textes français. A cet effet, nous avons fait évoluer le formalisme de nos grammaires vers un formalisme à structure de traits. Les équations sur les traits qui décorent notre grammaire nous permettent de résoudre de manière déclarative différents phénomènes syntaxiques et de représenter de manière formelle les résultats d'analyse. Nous présentons notre grammaire du français dans l'état actuel, qui est générée de manière semi-automatique à partir des tables du lexique grammaire, et nous donnons des évaluations de sa couverture lexicale et syntaxique.

S’intéresser au nom, objet d’étude interdisciplinaire, peut faire figure de lieu commun, à plus forte raison dans le domaine grammatical. Nous partons néanmoins de l’hypothèse que les travaux des théoriciens des XVIIe et XVIIIe siècles, qui oscillent entre une étude du français calquée sur celle du latin et une volonté d’émancipation, présentent un intérêt certain. Trois problématiques se dégagent du corpus. La première concerne le traitement général des parties d’oraison, héritage gréco-latin auquel les grammairiens ont dû s’accommoder, en se confrontant à des difficultés de recensement et de définitions. Il s’agit de savoir comment est justifiée la subdivision nom substantif / nom adjectif chez la quasi totalité des auteurs et quel lien particulier le premier entretient avec le verbe dans l’énoncé. Le deuxième faisceau de questions, qui porte sur les classements à la fois morphologiques et sémantico-syntaxiques du nom, incite à s’interroger entre autres sur la théorisation des accidents du genre et du nombre. Mais c’est surtout le paradoxe du nom abstrait, nom substantif au référent dénué de « substance », qui concentre l’essentiel des débats. Le dernier volet s’intéresse à la détermination par l’article, occurrence en mal de légitimité, qui regroupe à elle seule trois difficultés théoriques. Il convient de se demander quel est le statut de l’occurrence, au sein des parties d’oraison (classe autonome ? Catégorie de l’adjectif ou du pronom ?). Quel est son rôle vis-à-vis du nom et qu’entend-on par article défini, indéfini et partitif ? Enfin, en quoi le traitement de l’article débouche-t-il au XVIIIe siècle sur une réflexion générale de la détermination ? / Studying the noun, the subject of interdisciplinary study, may seem commonplace, especially in the grammatical sphere. Nevertheless, we will start from the assumption that the work of 17th and 18th-century theorists, who vacillated between a study of French based on that of Latin, and a desire for emancipation, is of definite interest. Three problems stand out in this body of work.The first concerns the general treatment of the parts of speech, a Greco-Roman heritage to which grammarians were forced to adapt, dealing with difficulties of collection and definitions. We seek to understand how the substantive noun / adjective noun subdivision is justified by almost all authors and what particular link the first has with the verb in speech. The second type of question, which addresses both morphological and semantic-syntactic classifications of the noun, leads us to wonder, among other things, about the theorisation of accidents of gender and number. However, it is above all the paradox of the abstract noun, a substantive noun that refers to something without “substance”, which will be the focus of most of our discussion.The last aspect looks at determination by the article, an occurrence lacking legitimacy, which alone raises three theoretical difficulties. We ask ourselves what the occurrence’s status is in the parts of speech (autonomous class? Adjective or pronoun category?). What is its role with respect to the noun and what do we mean by definite, indefinite and partitive article? Last, how did the treatment of the article lead to a general discussion of determination in the 18th century?