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é à 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, nommé 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.

Étude de la représentation de programmes dans un atelier de génie logiciel et des principaux concepts de l'édition syntaxique. Justification de l'utilité de la manipulation structurée des programmes, avant de présenter les spécifications externes d'un éditeur dirigé par la syntaxique. Étude des diverses techniques permettant d'effectuer une analyse contextuelle incrémentale d'un programme, mise en œuvre après chacune de ses modifications. Les différents concepts étudiés ont fait l'objet d'un prototype, réalisé dans le cadre du projet d'atelierADELE.

.

.

.

Cette thèse porte sur le traitement du langage oral spontané dans le contexte du dialogue homme-machine. En partant du constat que l'usage de la langue orale s'écarte d'une "bonne" syntaxe de l'écrit, des méthodes de traitement particulières sont alors développées pour adresser des phénomènes grammaticaux et extragrammaricaux comme les répétitions, hésitations, auto-corrections, faux-départs, etc. Une approche de traitement des extragrammaticalitks basée sur l'analyse d'un corpus ainsi qu'un formalisme grammatical pour l'oral (Sm-TAG) sont proposés et implémentés dans trois outils : Corrector, Oasis et Navigator. Les résultats d'évaluations quantitatives et qualitatives de ces outils sont donnés et commentés.

Les travaux de cette thèse portent sur l'analyse syntaxique et sémantique de la phrase, en utilisant pour l'analyse syntaxique un formalisme grammatical lexicalisé polarisé et en prenant comme exemple les grammaires d'interaction. Dans les formalismes grammaticaux lexicalisés, les polarités permettent de contrôler explicitement la composition des structures syntaxiques. Nous exploitons d'abord le besoin de composition exprimé par certaines polarités pour définir une notion faible de réduction de grammaire applicable à toute grammaire lexicalisée polarisée. Nous étudions ensuite la première phase de l'analyse syntaxique des formalismes lexicalisés: l'étiquetage grammatical. Nous exploitons là encore le besoin de composition de certaines polarités pour concevoir trois méthodes symboliques de filtrage des étiquetages grammaticaux que nous implantons sur automate. Nous abordons enfin l'interface syntaxe-sémantique des formalismes lexicalisés. Nous montrons comment l'utilisation de la réécriture de graphes comme modèle de calcul permet concrètement d'utiliser des structures syntaxiques riches pour calculer des représentations sémantiques sous-spécifiées.

Cette note de synthèse rédigée en vue de soutenir une habilitation à diriger des recherches (HDR) a comme but de proposer une relecture de l'ensemble de travaux de recherche que je conduis depuis une quinzaine d'année sur l'articulation entre la logique et le raisonnement mathématique à la lumière de la théorie élémentaire des modèles de Tarski, qui joue ici le rôle de référence épistémologique pour les analyses didactiques. Une première partie présente les aspects de la théorie des modèles que j'ai retenu pour les études didactiques, ainsi qu'un exemple de l'utilisation de ce cadre pour repenser les questions de vérité, de validité, de nécessité et de certitude. La suite du document développe les analyses suivant trois axes : un retour sur les connecteurs logiques au-delà des tables de vérité ; un questionnement de différentes pratiques ordinaires dans la classe de mathématiques concernant la gestion des questions de quantification ; l'interprétation des énoncés mathématiques sous les angles syntaxique, sémantique et pragmatique. Ceci permet de réinterpréter un certain nombre d'erreurs classiques de logique ; de réduire la distance supposée entre logique de sens commun et logique mathématique et de s'interroger sur certains choix d'enseignement eu égards en particulier aux objectifs d'apprentissage visés en terme de rigueur.<br />Les résultats obtenus dans ce cadre théorique général permettent d'envisager un programme de recherche suivant deux axes complémentaires. Le premier axe concerne le développement des travaux visant à élucider le rôle que joue le formalisme logique dans l'élaboration des connaissances mathématiques au niveau de l'enseignement universitaire en lien avec la mise en œuvre d'ingénieries didactiques. Le second axe concerne la poursuite des recherches amorcées sur le croisement entre analyses didactiques et analyses dynamiques du discours dans la classe de mathématiques en mobilisant les ressources offertes par la sémantique logique.

Etude de trois entretiens entre un même psychanalyste et des patients atteints de maladies dites psychosomatiques dans un service de médecine générale, après une observation d'une année, à l'hôpital Bichat. Ces interactions choisies comme représentatives du dialogue psychosomatique par le thérapeute (un des théoriciens du sujet) caractérisent une forme de prise interactionnelle d'information sur la maladie, à visée pronostique et diagnostique, dans le cadre d'une courte hospitalisation.<br />ces malades qui constituent habituellement une population dite de référence lors des enquêtes sur le discours des schizophrènes, des obsessionnels ou des hystériques présentent, selon les psychosomaticiens un type de langage déficitaire, entièrement actualisé, réaliste, peu soutenu sur le plan fantasmatique et peu fonctionnel.<br />L'étude a porté tout d'abord sur les caractéristiques linguistiques de la situation (prises de parole, lexique des interlocuteurs, types de structures syntaxiques, modes de continuité et de rupture).<br />Elle montre une assez forte variation syntaxique et narrative chez les patients et une grande stabilité chez l'analyste au cours des trois entretiens.<br />L'étude fréquentielle du lexique ainsi que l'analyse du discours sur la base de l'analyse des co-occurrences et d'une analyse harrissienne explicite comment, à partir d'un lexique relativement commun des formes de continuité discursives et des récurrences logico-narratives particularisent fortement ces malades.<br />L'analyse ne montre aucune carence strictement linguistique du langage de ces patients ; l'entretien psychosomatique apparaît comme une variante institutionnelle hospitalière de l'interview, fortement typée, constituant un sous-genre discursif particulier.

Dans cette thèse nous proposons un modèle de grammaire basé sur une théorie originale de la langue, et représenté formellement. Elle s'articule en trois parties. Dans la première partie nous dressons un bilan des positions théoriques sous-jacentes à un certain nombre de grammaires formelles coexistantes, afin de faire ressortir quatre éléments dont la conjonction fait de notre proposition une approche nouvelle: le non-générativisme, la non-modularité, la non-lexicalisation et la multi-dimensionnalité. Nous présentons ensuite le formalisme des Grammaires de Propriétés (GP), que nous avons utilisé pour représenter notre grammaire. A la suite de cela nous introduisons notre modèle de grammaire, basé sur les choix théoriques précédents et formalisé en GP, et nous proposons quelques formalisations d'autres modèles afin d'illustrer les possibilités de GP et l'originalité de notre modèle. Dans la seconde partie nous proposons un ensemble de descriptions syntaxiques du français basées sur notre modèle et constituant un noyau de grammaire; nous y présentons notamment les constructions nominales, verbales, adjectivales, propositionnelles, ainsi que les entassements paradigmatiques (coordinations et disfluences). Enfin, dans la troisième partie nous illustrons le fonctionnement notre proposition avec l'analyse de quelques phénomènes syntaxiques, dont notamment le traitement des pronoms clitiques dans les constructions verbales, et celui des coordinations et des disfluences. Ce travail apporte à toute une partie de la linguistique descriptive une validation par son expression formelle, et à la linguistique formelle l'intégration de descriptions syntaxiques jusqu'ici non encore prises en considération. En outre, elle apporte une validation de GP en tant que formalisme linguistique en montrant ce qu'il permet par sa souplesse de représentation.