A computable linguistics for bidirectional machine translation
Pierre Isabelle · 1996
Cette these part du postulat que toute operation de traduction met crucialement (bien que non exclusivement) en jeu une relation entre deux systemes linguistiques $L\sb1$ et $L\sb2$. Cette relation, que nous designons sous le terme de competence traductionnelle, associe a chaque signe (par exemple, les phrases) de l'une ou l'autre des deux langues un ensemble de traductions linguistiquement possibles dans l'autre langue. Notre objet est de proposer un cadre formel specifique permettant: (1) l'elaboration de descriptions claires, precises, theoriquement motivees et aisement extensibles d'instances particulieres d'un telle competence; et (2) le calcul automatique bidirectionnel (c'est-a-dire aussi bien de $L\sb1$ vers $L\sb2$ que de $L\sb2$ vers $L\sb1$) des traductions sanctionnees par ces desriptions. Le chapitre 2 situe notre effort a l'interieur de l'evolution recentes des cadres formels en linguistique theorique et en linguistique informatique. Cet examen montre que les grammaires d'unification fortement lexicalisees permettent d'obtenir un niveau eleve de puissance expressive sans compromettre d'emblee la calculabilite par une puissance formelle excessive. Le chapitre 3 presente des propositions detaillees sur la structure d'un modele de description linguistique calculable. Le cadre formel propose repose entierement sur la logique des clauses definies qui, moyennant certaines extensions notationnelles, nous permet d'obtenir des descriptions etroitement apparentees a celles realisees au moyen de formalismes de grammaires d'unification comme PATR-II (138). Le chapitre 4 decrit un cadre calculatoire qui permet d'exploiter les descriptions linguistiques obtenues aussi bien en mode analyse qu'en mode synthese, ce qui presente des avantages theoriques et pratiques considerables. Le calcul bidirectionnel est realise en convertissant une description en clauses definies S en deux descriptions declarativement equivalentes, $S\sb{a}$ et S$\sb{s}$, appropriees l'une pour faire de l'analyse et l'autre de la synthese. Le chapitre 5 examine le debat classique entre l'approche interlinguistique et l'approche par transfert. Nous argumentons que pour eviter d'etre banalisee comme une demarche a double transfert, l'approche interlinguistique devrait surmonter des obstacles qui paraissent infranchissables. Nous optons alors pour une approche par transfert semantique qui considere l'equivalence traductionnelle comme une donnee primitive des descriptions de la competence traductionnelle. Le chapitre 6 propose une approche relationnelle au transfert semantique entre deux langues. Cette approche, a l'instar de celle que nous avons developpee pour les descriptions monolingues, facilite la mise au point de descriptions susceptibles de faire l'objet d'un calcul bidirectionnel. En consequence, en connectant deux descriptions monolingues par un transfert semantique relationnel on obtiendra un systeme de traduction reversible, c'est-a-dire un systeme capable de produire des retro-traductions. Grace a notre utilisation des arbres de derivation semantique, les traductions obtenues preservent non seulement le contenu denotationnel du texte en langue de depart, mais egalement, dans un certaine mesure, sa forme superficielle.