Le traitement automatique de textes de spécifications écrits en langage naturel pose au moins deux problèmes : disposer d'outils généraux permettant de reconnaître les constituants de ces textes ; trouver une représentation de leur contenu permettant à l'utilisateur de les modifier et de vérifier leur cohérence. Les textes analysés ici spécifient les logiques d'alarmes d'un avion. On veut en extraire des règles pour un système expert simulant le comportement des processeurs embarqués, chargés de gérer ces alarmes. Le système ACTES offre, d'une part, un formalisme permettant de définir des grammaires et de construire une représentation sémantique intermédiaire des textes, et, d'autre part, un environnement de développement de grammaires et d'analyse de textes. Le formalisme s'inspire des grammaires d'unification et de la Théorie de la Représentation du Discours. L'approche mise en oeuvre ici présente l'avantage d'être unifiée: la syntaxe et la sémantique sont traitées par la même opération d'unification Prolog. Toutefois, Prolog ne prenant pas en compte les mécanismes d'héritage, une opération d'unification étendue gérant les contraintes hiérarchiques de types entre éléments du formalisme a été définie. L'environnement du système comprend, notamment, un module de résolution d'anaphores intégrant des sources de contraintes multiples ayant chacune leur propre stratégie dans une architecture en 'tableau noir'. Quant au modèle de représentation finale du contenu d'un texte, il s'inspire de la logique des défauts. Cette logique reflète bien la construction non-monotone de ces textes. Elle permet d'envisager la modification interactive avec vérification de cohérence.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

Cette thèse se centre sur les discordances dans l’ellipse périphérique (RNR) et propose une analyse basée sur l’identité de lexème entre le matériel manquant et le matériel périphérique. Les analyses précédentes accordent de l’importance au syncrétisme, ou identité phonologique (Pullum & Zwicky (1986)). Dans cette thèse, nous contestons cette hypothèse. Nous avons analysé 5 types de discordance dans l’ellipse périphérique: discordances de polarité, de possessifs, de prépositions, de voix et de formes verbales. Nos études de corpus sur Internet, sur Frtenten 2012 (1.6 milliard de mots) (Baroni et al. (2009)) et sur le English Web 2013 (19 milliard mots) montrent l’existence des discordances dans l’ellipse périphérique en français et en anglais. Les discordances sont assez nombreuses même dans des écrits soignés. Dans tous les cas, les discordances sont résolues par la forme qui correspond au second conjoint. Les résultats des expériences de jugements d’acceptabilité et de mouvements oculaires permettent d’intégrer les discordances dans la grammaire. Les résultats sont compatibles avec les analyses qui postulent l’identité sémantique entre le matériel manquant et l’antécédent pour l’ellipse. Nous proposons une analyse formelle en HPSG.Nous comparons les résultats obtenus avec les cas de coordination lexicale. Nous montrons que l’accord de proximité s’applique (Villavicencio et al. (2005)) et nous proposons une analyse HPSG pour la coordination de verbes et de prépositions. / This thesis focuses on mismatches in peripheral ellipsis (RNR) and proposes an analysis based on lexeme identity between the missing material and the peripheral material. Previous analyses put emphasis on syncretism, or phonological identity (Pullum & Zwicky (1986)). In this thesis, we challenge this hypothesis. We analyzed 5 types of mismatches in peripheral ellipsis: polarity mismatch, possessive mismatch, voice mismatch and verbal form mismatch. Our corpus studies on the Internet, on Frtenten 2012 (1.6 billion words) (Baroni et al. (2009)) and on English Web 2013 (19 billion words) shows the existence of mismatches in peripheral ellipsis in French and English. Mismatches are quite numerous even in careful writings. In all cases, the mismatches are resolved by the form that corresponds to the second conjunct. The results of acceptability judgment tests and eye tracking experiments allow the integration of these mismatches into the grammar. The results are compatible with analyses postulating semantic identity between the missing material and the antecedent for ellipsis. We formalize peripheral ellipsis with mismatch within HPSG.We finally compare our results with lexical coordination. We show that it obeys closest conjunct agreement (Villavicencio et al (2005)) and propose a HPSG analysis for coordination of verbs and prepositions.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal