FR 3117639 A1 20220617 FR 2013202 A 20201214 Un procédé de conversion, mis en œuvre par ordinateur, d’un document source (DS) en langage naturel en une représentation abstraite en langage universel ayant un sens garanti (RA), le procédé de conversion comprenant une phase d’analyse (P1) qui comprend : une étape d’analyse morphologique (P11) au cours de laquelle chaque phrase est transformée en un graphe de chaînes (GC) représentant la suite des solutions lexicales pour les différents mots de la phrase, une étape d’analyse structurale sémantique (P12) au cours de laquelle le graphe de chaînes (GC) est transformé en une collection de structures multiniveaux (SMC), une étape de désambiguïsation (P13) au cours de laquelle une structure multiniveau concrète est sélectionnée (SMC1) et une étape de conversion (P15) de la structure multiniveau sélectionnée en la représentation abstraite (RA). Figure de l’abrégé : Figure 2 Système et procédé de conversion d’un document source en langage naturel en une représentation abstraite en langage universel ayant un sens garanti La présente invention concerne le domaine de la conversion d’un document source en langage naturel en une représentation abstraite en langage universel ayant un sens garanti, en particulier, à des fins de traduction ou d’élimination de contradiction. Dans le domaine de la traduction d’un document source en un document cible, il est connu de traduire le document source au moyen d’un système de traduction, mis en œuvre par ordinateur, par apprentissage statistique à partir de lexiques et de syntaxes préalablement appris. Un tel système de traduction est rapide mais possède une prouvabilité faible. Le sens du document cible n’est pas garanti et il peut exister des erreurs de sens. Aussi, il est nécessaire de réviser de manière approfondie le document cible obtenu pour obtenir un texte de qualité. Lorsque le document source comporte de très nombreuses phrases (par exemple, une spécification d’un équipement/système technique complexe), des erreurs peuvent être présentes dans le document source qui induisent une contradiction. Par exemple, le document source peut indiquer à un premier passage « la lampe possède trois couleurs : rouge, orange et vert » et à un deuxième passage « En cas de dysfonctionnement, la lampe s’allume en jaune ». Il existe ainsi une contradiction entre les passages du document source. De manière générale, une contradiction peut correspondre à un manque ou une incohérence dans le document source. La présence d’une ou plusieurs contradictions dans une spécification peut être critique étant donné qu’elle peut engager la responsabilité du rédacteur. Pour limiter ce risque, une spécification subit de nombreuses relectures mais le risque ne peut pas être annulé. Une contradiction est encore plus pénalisante lorsque l’on doit traduire un document source en un document cible dans une autre langue. Une contradiction dans le document source peut induire des défauts de traduction majeurs dans le document cible. On connaît dans l’art antérieur par la demande de brevet US6704700A un système pour convertir un document source en langage naturel dans un langage universel du type UNL (Universal Networking Language). Un tel système de traduction permet d’offrir une traduction de manière automatique et de meilleure qualité. Néanmoins, le sens du document source n’est pas garanti et il subsiste de nombreuses erreurs/imprécisions. Du fait de ces inconvénients, il n’est pas aisé de déterminer des contradictions. L’invention vise ainsi à éliminer au moins certains de ces inconvénients en améliorant la conversion d’un document source dans un langage universel et en améliorant la détection de contradiction dans un tel type de langage. PRESENTATION DE L’INVENTION L’invention concerne un procédé de conversion, mis en œuvre par ordinateur, d’un document source en langage naturel en une représentation abstraite en langage universel ayant un sens garanti, ci-après « représentation abstraite », le document source comprenant une pluralité de phrases, le procédé de conversion comprenant une phase d’analyse qui comprend : Une étape d’analyse morphologique au cours de laquelle chaque phrase est transformée en un graphe de chaînes représentant la suite des solutions lexicales pour les différents mots de la phrase, Une étape d’analyse structurale sémantique au cours de laquelle le graphe de chaînes est transformé en une collection de structures multiniveaux, chaque structure multiniveau représentant la syntaxe et la sémantique de chaque phrase obtenue à partir des solutions lexicales du graphe de chaînes, Une étape de désambiguïsation au cours de laquelle une structure multiniveau concrète est sélectionnée et Une étape de conversion de la structure multiniveau sélectionnée en la représentation abstraite. L’étape d’analyse structurale sémantique permet de déterminer tous les sens d’un graphe de chaînes, c’est-à-dire, toutes les solutions sémantiques d’une phrase. L’étape de désambiguïsation permet de choisir la solution sémantique la plus adaptée et ainsi former une représentation abstraite dont le sens est garanti. Cela permet de réaliser des traductions de qualité et/ou de déterminer des contradictions de manière optimale. De manière avantageuse, les structures multiniveaux, en particulier les structures de Vauquois, représentent à la fois la syntaxe et la sémantique du texte. Cela permet de faciliter la reformulation lors de l’étape de désambiguïsation interactive et de définir le sens de manière rigoureuse. De préférence, l’étape d’analyse structurale est mise en œuvre par un analyseur structural utilisant des règles structurales définies dans au moins une grammaire STCG. L’utilisation de règles déterminées dans une grammaire STCG permet de pouvoir valider les règles de manière pratique pour un linguiste étant donné qu’elles sont déclaratives et donc compréhensibles en tant que tel sans interprétation poussée. De manière préférée, l’étape d’analyse structurale est mise en œuvre par un analyseur structural utilisant des règles structurales définies dans au moins une grammaire STCG et au moins une grammaire AMUFA. L’utilisation conjointe et complémentaire des technologies STCG et AMUFA permet de bénéficier de la puissance de STCG et de la vitesse d’AMUFA. La complexité reste avantageusement réduite étant donné que les règles de la grammaire STCG sont volontairement limitées à du « hors contexte » et peuvent ainsi être traités par des algorithmes ayant une complexité bien plus faible que des règles contextuelles. Selon un aspect de l’invention, en cas d’ambiguïté, au cours de l’étape de désambiguïsation, au moins une reformulation sémantique est proposée à un opérateur afin qu’il réalise la sélection d’une structure multiniveau parmi une pluralité de structures multiniveaux. L’opérateur bénéficie avantageusement de reformulations pour choisir entre les diverses solutions sémantiques. La nature projective (concrète) des structures de Vauquois produites permet de faciliter cette reformulation. Selon un aspect de l’invention, la structure multiniveau sélectionnée étant concrète, c’est-à-dire comportant l’ensemble des mots de ladite phrase, la phase d’analyse comprend une étape d’abstraction de la structure multiniveau concrète en une structure multiniveau abstraite dans laquelle le nombre de mots est modifié afin de simplifier l’expression du sens de la phrase. Une structure multiniveau abstraite permet d’accélérer une phase ultérieure de génération ou de raisonnement en requérant moins de ressources informatiques. De préférence, la représentation abstraite est un graphe UNL « Universal Networking Language ». Une telle représentation abstraite est utilisée pour réaliser un pivot linguistique. Selon un aspect de l’invention, le procédé de conversion comprend une phase de génération au cours de laquelle la représentation abstraite est convertie en un document en langage naturel cible. Ainsi, on tire avantage de la représentation abstraite à sens garanti pour obtenir un document en langue source dont le sens est précisé ou un document en langue cible dénué d’erreur sémantique, en particulier, grâce à un document compagnon qui explicite le sens correct en cas d’ambiguïté. Cela est particulièrement pertinent pour obtenir un document cible dans une langue différente de celle du document source. Selon un aspect de l’invention, le procédé comprend une phase de raisonnement au cours de laquelle les contradictions dans la représentation abstraite sont détectées afin de former une représentation abstraite corrigée. La pertinence de la représentation abstraite permet de faciliter la détection et l’élimination de contradiction dans le document source. En effet, étant donné que le sens est garanti, des contradictions de sens peuvent être détectées de manière optimale. De préférence, la phase de raisonnement comporte : Une étape de conversion logique de la représentation abstraite en une pluralité d’équations logiques et Une étape de détection de contradiction dans la pluralité d’équations logiques au moyen d’un analyseur logique. L’analyseur logique, appelé également raisonneur, permet de déterminer des contradictions entre les équations formées à partir de la représentation abstraite. Le sens garanti de la représentation abstraite permet une analyse logique performante. La conversion du document source en équations logiques pertinentes permet avantageusement d’appliquer un moteur de règles logiques afin de déterminer toute contradiction sur l’ensemble du document source. Ainsi, une spécification technique de plusieurs centaines de pages peut être analysée de manière automatique et rigoureuse pour détecter toute contradiction. De préférence, l’analyseur logique utilise au moins une ontologie définissant des conditions logiques. De telles conditions logiques forment de nouvelles équations logiques qui sont susceptibles de révéler de nouvelles contradictions. De préférence, l’analyseur logique utilise au moins une ontologie générale et au moins une ontologie spécifique au domaine technique auquel appartient le document source. Une telle ontologie spécifique permet d’améliorer la détection de contradiction en s’appuyant sur un glossaire logique de termes liés au métier auquel appartient le document source. Une telle ontologie permet de définir les termes propres au métier afin de permettre la détection de contradictions avec des connaissances implicites. La détection de contradictions est sophistiquée et permet de détecter des contradictions à partir d’une source externe qui fait référence. De préférence, les équations logiques sont exprimées dans un format OWL dont la faible puissance d’expression évite l’indécidabilité. L’invention concerne également un système de conversion, mis en œuvre par ordinateur, d’un document source en langage naturel en une représentation abstraite en langage universel ayant un sens garanti, ci-après « représentation abstraite », le document source comprenant une pluralité de phrases, le système de conversion comprenant un module d’analyse configuré pour : Réaliser une étape d’analyse morphologique au cours de laquelle chaque phrase est transformée en un graphe de chaînes représentant la suite des solutions lexicales pour les différents mots de la phrase, Réaliser une étape d’analyse structurale sémantique au cours de laquelle le graphe de chaînes est transformé en une collection de structures multiniveau, chaque structure multiniveau représentant la syntaxe et la sémantique de chaque phrase obtenue à partir des solutions lexicales du graphe de chaînes, Réaliser une étape de désambiguïsation au cours de laquelle une structure multiniveau concrète est sélectionnée et Réaliser une étape de conversion de la structure multiniveau sélectionnée en la représentation abstraite. PRESENTATION DES FIGURES L’invention sera mieux comprise à la lecture de la description qui va suivre, donnée à titre d’exemple, et se référant aux figures suivantes, données à titre d’exemples non limitatifs, dans lesquelles des références identiques sont données à des objets semblables. La est une représentation schématique des phases d’un procédé de traduction selon une mise en œuvre de l’invention. La est une représentation schématique des étapes d’une première phase d’analyse. La est une représentation d’un graphe de chaînes suite à l’étape d’analyse morphologique. La est une représentation schématique de l’étape d’analyse structurale. La est une représentation simplifiée d’une première structure de Vauquois. La est une représentation simplifiée d’une deuxième structure de Vauquois. La est une représentation schématique d’un procédé de traduction comprenant une phase de raisonnement. La est une représentation schématique des étapes d’une phase de raisonnement selon une mise en œuvre de l’invention. Il faut noter que les figures exposent l’invention de manière détaillée pour mettre en œuvre l’invention, lesdites figures pouvant bien entendu servir à mieux définir l’invention le cas échéant. Procédé de conversion, mis en œuvre par ordinateur, d’un document source (DS) en langage naturel en une représentation abstraite en langage universel ayant un sens garanti (RA), ci-après « représentation abstraite (RA) », le document source comprenant une pluralité de phrases, le procédé de conversion comprenant une phase d’analyse (P1) qui comprend : Une étape d’analyse morphologique (P11) au cours de laquelle chaque phrase est transformée en un graphe de chaînes (GC) représentant la suite des solutions lexicales pour les différents mots de la phrase, Une étape d’analyse structurale sémantique (P12) au cours de laquelle le graphe de chaînes (GC) est transformé en une collection de structures multiniveaux (SMC1, SMC2), chaque structure multiniveau (SMC1, SMC2) représentant la syntaxe et la sémantique de chaque phrase obtenue à partir des solutions lexicales du graphe de chaînes (GC), Une étape de désambiguïsation (P13) au cours de laquelle une structure multiniveau concrète est sélectionnée (SMC1) et Une étape de conversion (P15) de la structure multiniveau sélectionnée en la représentation abstraite (RA) une phase de raisonnement (P2) au cours de laquelle les contradictions dans la représentation abstraite (RA) sont détectées, la phase de raisonnement (P2) comportant : Une étape de conversion logique (P21) de la représentation abstraite (RA) en une pluralité d’équations logiques (EQ) et Une étape de détection de contradiction (P22) dans la pluralité d’équations logiques (EQ) au moyen d’un analyseur logique. Procédé de conversion selon la revendication 1, dans lequel, au cours de l’étape de désambiguïsation (P13), au moins une reformulation sémantique est proposée à un opérateur (OP) afin qu’il réalise la sélection d’une structure multiniveau parmi une pluralité de structures multiniveaux (SMC1, SMC2). Procédé de conversion selon l’une des revendications 1 à 2, dans lequel, l’étape d’analyse structurale (P12) est mise en œuvre par un analyseur structural (A-STRUCT) utilisant des règles structurales définies dans au moins une grammaire STCG. Procédé de conversion selon la revendication 3, dans lequel, l’étape d’analyse structurale (P12) est mise en œuvre par un analyseur structural (A-STRUCT) utilisant des règles structurales définies dans au moins une grammaire STCG et au moins une grammaire AMUFA. Procédé de conversion selon l’une des revendications 1 à 4, dans lequel, la structure multiniveau sélectionnée étant concrète (SMC1), c’est-à-dire comportant l’ensemble des mots de ladite phrase, la phase d’analyse (P1) comprend une étape d’abstraction (P14) de la structure multiniveau concrète (SMC1) en une structure multiniveau abstraite (SMA1) dans laquelle le nombre de mots est modifié afin de simplifier l’expression du sens de la phrase. Procédé de conversion selon l’une des revendications 1 à 5, dans lequel la représentation abstraite (RA) est un graphe UNL (Universal Networking Language). Procédé de conversion selon l’une des revendications 1 à 6, comprenant une phase de génération (M3) au cours de laquelle la représentation abstraite (RA) est convertie en un document cible (DC) en langage naturel. Procédé de conversion selon la revendication 1, dans lequel, l’analyseur logique utilise au moins une ontologie (ONT) définissant des conditions logiques, de préférence, au moins une ontologie générale et au moins une ontologie spécifique au domaine technique auquel appartient le document source. Procédé de conversion selon la revendication 1, dans lequel, les équations logiques (EQ) sont exprimées dans un format OWL (Web Ontology Language). Système de conversion (S), mis en œuvre par ordinateur, d’un document source (DS) en langage naturel en une représentation abstraite en langage universel ayant un sens garanti (RA), ci-après « représentation abstraite (RA) », le document source comprenant une pluralité de phrases, le système de conversion (S) comprenant un module d’analyse (M1) configuré pour : Réaliser une étape d’analyse morphologique (P11) au cours de laquelle chaque phrase est transformée en un graphe de chaînes (GC) représentant la suite des solutions lexicales pour les différents mots de la phrase, Réaliser une étape d’analyse structurale sémantique (P12) au cours de laquelle le graphe de chaînes (GC) est transformé en une collection de structures multiniveau (SMC1, SMC2), chaque structure multiniveau (SMC1, SMC2) représentant la syntaxe et la sémantique de chaque phrase obtenue à partir des solutions lexicales du graphe de chaînes (GC), Réaliser une étape de désambiguïsation (P13) au cours de laquelle une structure multiniveau concrète est sélectionnée (SMC1) et Réaliser une étape de conversion (P15) de la structure multiniveau sélectionnée en la représentation abstraite (RA) un module de raisonnement (M2) configuré pour réaliser : Réaliser une étape de conversion logique (P21) de la représentation abstraite (RA) en une pluralité d’équations logiques (EQ) et Réaliser une étape de détection de contradiction (P22) dans la pluralité d’équations logiques (EQ) au moyen d’un analyseur logique.