機器翻譯:谷歌翻譯是如何對幾乎所有語言進行翻譯的?

全文共13204字，預計學習時長34分鐘

谷歌翻譯大家想必都不陌生，但你有沒有想過，它究竟是如何將幾乎所有的已知語言翻譯成我們所選擇的語言？本文將解開這個謎團，並且向各位展示如何用長短期記憶網絡（LSTM）構建語言翻譯程序。

本文分為兩部分。第一部分簡單介紹神經網絡機器翻譯（NMT）和編碼器-解碼器（Encoder-Decoder）結構。第二部分提供了使用Python創建語言翻譯程序的詳細步驟。

圖源：谷歌

什麼是機器翻譯？

機器翻譯是計算語言學的一個分支，主要研究如何將一種語言的源文本自動轉換為另一種語言的文本。在機器翻譯領域，輸入已經由某種語言的一系列符號組成，而計算機必須將其轉換為另一種語言的一系列符號。

神經網絡機器翻譯是針對機器翻譯領域所提出的主張。它使用人工神經網絡來預測某個單詞序列的概率，通常在單個集成模型中對整個句子進行建模。

憑藉神經網絡的強大功能，神經網絡機器翻譯已經成為翻譯領域最強大的算法。這種最先進的算法是深度學習的一項應用，其中大量已翻譯句子的數據集用於訓練能夠在任意語言對之間的翻譯模型。

谷歌語言翻譯程序

理解Seq2Seq架構

顧名思義，Seq2Seq將單詞序列（一個或多個句子）作為輸入，並生成單詞的輸出序列。這是通過遞歸神經網絡（RNN）實現的。具體來說，就是讓兩個將與某個特殊令牌一起運行的遞歸神經網絡嘗試根據前一個序列來預測後一個狀態序列。

一種簡單的編碼器-解碼器架構

它主要由編碼器和解碼器兩部分構成，因此有時候被稱為編碼器-解碼器網絡。

· 編碼器：使用多個深度神經網絡層，將輸入單詞轉換為相應的隱藏向量。每個向量代表當前單詞及其語境。

· 解碼器：與編碼器類似。它將編碼器生成的隱藏向量、自身的隱藏狀態和當前單詞作為輸入，從而生成下一個隱藏向量，最終預測下一個單詞。

任何神經網絡機器翻譯的最終目標都是接收以某種語言輸入的句子，然後將該句子翻譯為另一種語言作為輸出結果。下圖是一個漢譯英翻譯算法的簡單展示：

將「Knowledge ispower」翻譯成漢語。

它如何運行？

第一步，通過某種方式將文本數據轉換為數字形式。為了在機器翻譯中實現這一點，需要將每個單詞轉換為可輸入到模型中的獨熱編碼（One Hot Encoding）向量。獨熱編碼向量是在每個索引處都為0（僅在與該特定單詞相對應的單個索引處為1）的向量。

獨熱編碼

為輸入語言中的每個唯一單詞設置索引來創建這些向量，輸出語言也是如此。為每個唯一單詞分配唯一索引時，也就創建了針對每種語言的所謂的「詞彙表」。理想情況下，每種語言的詞彙表將僅包含該語言的每個唯一單詞。

如上圖所示，每個單詞都變成了一個長度為9（這是詞彙表的大小）的向量，索引中除去一個1以外，其餘全部都是0。

通過為輸入和輸出語言創建詞彙表，人們可以將該技術應用於任何語言中的任何句子，從而將語料庫中所有已翻譯的句子徹底轉換為適用於機器翻譯任務的格式。

現在來一起感受一下編碼器-解碼器算法背後的魔力。在最基本的層次上，模型的編碼器部分選擇輸入語言中的某個句子，並從該句中創建一個語義向量（thought vector）。該語義向量存儲句子的含義，然後將其傳遞給解碼器，解碼器將句子譯為輸出語言。

編碼器-解碼器結構將英文句子「Iam astudent」譯為德語

就編碼器來說，輸入句子的每個單詞會以多個連續的時間步分別輸入模型。在每個時間步（t）中，模型都會使用該時間步輸入到模型單詞中的信息來更新隱藏向量（h）。

該隱藏向量用來存儲輸入句子的信息。這樣，因為在時間步t=0時尚未有任何單詞輸入編碼器，所以編碼器在該時間步的隱藏狀態從空向量開始。下圖以藍色框表示隱藏狀態，其中下標t=0表示時間步，上標E表示它是編碼器（Encoder）的隱藏狀態[D則用來表示解碼器（Decoder）的隱藏狀態]。

在每個時間步中，該隱藏向量都會從該時間步的輸入單詞中獲取信息，同時保留從先前時間步中存儲的信息。因此，在最後一個時間步中，整個輸入句子的含義都會儲存在隱藏向量中。最後一個時間步中的隱藏向量就是上文中提到的語義向量，它之後會被輸入解碼器。

另外，請注意編碼器中的最終隱藏向量如何成為語義向量並在t=0時用上標D重新標記。這是因為編碼器的最終隱藏向量變成了解碼器的初始隱藏向量。通過這種方式，句子的編碼含義就傳遞給了解碼器，從而將其翻譯成輸出語言。但是，與編碼器不同，解碼器需要輸出長度可變的譯文。因此，解碼器將在每個時間步中輸出一個預測詞，直到輸出一個完整的句子。

開始翻譯之前，需要輸入<SOS>標籤作為解碼器第一個時間步的輸入。與編碼器一樣，解碼器將在時間步t=1處使用<SOS>輸入來更新其隱藏狀態。但是，解碼器不僅會繼續進行到下一個時間步，它還將使用附加權重矩陣為輸出詞彙表中的所有單詞創建概率。這樣，輸出詞彙表中概率最高的單詞將成為預測輸出句子中的第一個單詞。

解碼器必須輸出長度可變的預測語句，它將以該方式繼續預測單詞，直到其預測語句中的下一個單詞為<EOS>標籤。一旦該標籤預測完成，解碼過程就結束了，呈現出的是輸入句子的完整預測翻譯。

通過Keras和Python實現神經網絡機器翻譯

了解了編碼器-解碼器架構之後，創建一個模型，該模型將通過Keras和python把英語句子翻譯成法語。第一步，導入需要的庫，為將在代碼中使用的不同參數配置值。

#Import Libraries

import os, sys

from keras.models importModel

from keras.layers importInput, LSTM, GRU, Dense, Embedding

fromkeras.preprocessing.text importTokenizer

fromkeras.preprocessing.sequence import pad_sequences

from keras.utils import to_categorical

import numpy as np

import pandas as pd

import pickle

importmatplotlib.pyplot as plt

#Values fordifferent parameters:

BATCH_SIZE=64

EPOCHS=20

LSTM_NODES=256

NUM_SENTENCES=20000

MAX_SENTENCE_LENGTH=50

MAX_NUM_WORDS=20000

EMBEDDING_SIZE=200

數據集

我們需要一個包含英語句子及其法語譯文的數據集，下載fra-eng.zip文件並將其解壓。每一行的文本文件都包含一個英語句子及其法語譯文，通過制表符分隔。繼續將每一行分為輸入文本和目標文本。

input_sentences = []

output_sentences = []

output_sentences_inputs = []

count =0

for line inopen('./drive/MyDrive/fra.txt', encoding="utf-8"):

count +=1

if count >NUM_SENTENCES:

break

if'\t'notin line:

continue

input_sentence = line.rstrip().split('\t')[0]

output = line.rstrip().split('\t')[1]

output_sentence = output +' <eos>'

output_sentence_input ='<sos> '+ output

input_sentences.append(input_sentence)

output_sentences.append(output_sentence)

output_sentences_inputs.append(output_sentence_input)

print("Number ofsample input:", len(input_sentences))

print("Number ofsample output:", len(output_sentences))

print("Number ofsample output input:", len(output_sentences_inputs))

Output:

Number of sample input: 20000

Number of sample output: 20000

Number of sample output input: 20000

在上面的腳本中創建input_sentences[]、output_sentences[]和output_sentences_inputs[]這三個列表。接下來，在for循環中，逐個讀取每行fra.txt文件。每一行都在制表符出現的位置被分為兩個子字符串。左邊的子字符串（英語句子）插入到input_sentences[]列表中。制表符右邊的子字符串是相應的法語譯文。

此處表示句子結束的<eos>標記被添加到已翻譯句子的前面。同理，表示「句子開始」的<sos>標記和已翻譯句子的開頭相連接。還是從列表中隨機列印一個句子：

print("English sentence: ",input_sentences[180])

print("French translation: ",output_sentences[180])

Output:English sentence: Join us.

French translation: Joignez-vous à nous.<eos>

標記和填充

下一步是標記原句和譯文，並填充長度大於或小於某一特定長度的句子。對於輸入而言，該長度將是輸入句子的最大長度。對於輸出而言，它也是輸出句子的最大長度。在此之前，先設想一下句子的長度。將分別在兩個單獨的英語和法語列表中獲取所有句子的長度。

eng_len = []

fren_len = []

# populate thelists with sentence lengths

for i ininput_sentences:

eng_len.append(len(i.split()))

for i inoutput_sentences:

fren_len.append(len(i.split()))

length_df = pd.DataFrame({'english':eng_len, 'french':fren_len})

length_df.hist(bins =20)

plt.show()

上面的直方圖顯示，法語句子的最大長度為12，英語句子的最大長度為6。

接下來，用Keras的Tokenizer()類矢量化文本數據。句子將因此變為整數序列。然後，用零填充這些序列，使它們長度相等。

標記器類的word_index屬性返回一個單詞索引詞典，其中鍵表示單詞，值表示對應的整數。最後，上述腳本列印出詞典中唯一單詞的數量和輸入的最長英文句子的長度。

#tokenize the input sentences(inputlanguage)

input_tokenizer =Tokenizer(num_words=MAX_NUM_WORDS)

input_tokenizer.fit_on_texts(input_sentences)

input_integer_seq = input_tokenizer.texts_to_sequences(input_sentences)

print(input_integer_seq)

word2idx_inputs =input_tokenizer.word_index

print('Total uniquewords in the input: %s'%len(word2idx_inputs))

max_input_len =max(len(sen) for sen in input_integer_seq)

print("Length oflongest sentence in input: %g"% max_input_len)

Output:

Total unique words in the input: 3501

Length of longest sentence in input: 6

同樣，輸出語句也可以用相同的方式標記：

#tokenize theoutput sentences(Output language)

output_tokenizer =Tokenizer(num_words=MAX_NUM_WORDS, filters='')

output_tokenizer.fit_on_texts(output_sentences+output_sentences_inputs)

output_integer_seq =output_tokenizer.texts_to_sequences(output_sentences)

output_input_integer_seq =output_tokenizer.texts_to_sequences(output_sentences_inputs)

print(output_input_integer_seq)

word2idx_outputs=output_tokenizer.word_index

print('Total uniquewords in the output: %s'%len(word2idx_outputs))

num_words_output=len(word2idx_outputs)+1

max_out_len =max(len(sen) for sen inoutput_integer_seq)

print("Length oflongest sentence in the output: %g"% max_out_len)

Output:

Total unique words in the output: 9511

Length of longest sentence in the output: 12

現在，可以通過上面的直方圖來驗證兩種語言中最長句子的長度。還可以得出這樣的結論：英語句子通常較短，平均單詞量比法語譯文句子的單詞量要少。

接下來需要填充輸入。填充輸入和輸出的原因是文本的句子長度不固定，但長短期記憶網絡希望輸入的例句長度都相等。因此需要將句子轉換為長度固定的向量。為此，一種可行的方法就是填充。

#Padding theencoder input

encoder_input_sequences =pad_sequences(input_integer_seq,maxlen=max_input_len)

print("encoder_input_sequences.shape:",encoder_input_sequences.shape)

#Padding thedecoder inputs

decoder_input_sequences =pad_sequences(output_input_integer_seq,maxlen=max_out_len, padding='post')

print("decoder_input_sequences.shape:",decoder_input_sequences.shape)

#Padding thedecoder outputs

decoder_output_sequences =pad_sequences(output_integer_seq,maxlen=max_out_len, padding='post')

print("decoder_output_sequences.shape:",decoder_output_sequences.shape)

encoder_input_sequences.shape: (20000, 6)

decoder_input_sequences.shape: (20000, 12)

decoder_output_sequences.shape: (20000, 12)

輸入中有20000個句子（英語），每個輸入句子的長度都為6，所以現在輸入的形式為（20000，6）。同理，輸出中有20000個句子（法語），每個輸出句子的長度都為12，所以現在輸出的形式為（20000，12），被翻譯的語言也是如此。

大家可能還記得，索引180處的原句為join us。標記生成器將該句拆分為join和us兩個單詞，將它們轉換為整數，然後通過對輸入列表中索引180處的句子所對應的整數序列的開頭添加四個零來實現前填充（pre-padding）。

print("encoder_input_sequences[180]:",encoder_input_sequences[180])Output:

encoder_input_sequences[180]: [ 0 0 0 0 464 59]

要驗證join和us的整數值是否分別為464和59，可將單詞傳遞給word2index_inputs詞典，如下圖所示：

print(word2idx_inputs["join"])

print(word2idx_inputs["us"])Output:

464

59

更值得一提的是，解碼器則會採取後填充（post-padding）的方法，即在句子末尾添加零。而在編碼器中，零被填充在開頭位置。該方法背後的原因是編碼器輸出基於出現在句末的單詞，因此原始單詞被保留在句末，零則被填充在開頭位置。而解碼器是從開頭處理句子，因此對解碼器的輸入和輸出執行後填充。

詞嵌入向量（Word Embeddings）

圖源：unsplash

我們要先將單詞轉換為對應的數字向量表示，再將向量輸入給深度學習模型。我們也已經將單詞轉化成了數字。那麼整數/數字表示和詞嵌入向量之間有什麼區別呢？

單個整數表示和詞嵌入向量之間有兩個主要區別。在整數表示中，一個單詞僅用單個整數表示。而在向量表示中，一個單詞可以用50、100、200或任何你喜歡的維數表示。因此詞嵌入向量可以獲取更多與單詞有關的信息。其次，單個整數表示無法獲取不同單詞之間的關係。而詞嵌入向量卻能做到這一點。

對於英語句子（即輸入），我們將使用GloVe詞嵌入模型。對於輸出的法語譯文，我們將使用自定義詞嵌入模型。點擊此處可下載GloVe詞嵌入模型。

首先，為輸入內容創建詞嵌入向量。在此之前需要將GloVe詞向量加載到內存中。然後創建一個詞典，其中單詞為鍵，其對應的向量為值：

from numpy import array

from numpy import asarray

from numpy import zeros

embeddings_dictionary=dict()

glove_file =open(r'./drive/My Drive/glove.twitter.27B.200d.txt', encoding="utf8")

for line in glove_file:

rec = line.split()

word= rec[0]

vector_dimensions =asarray(rec[1:], dtype='float32')

embeddings_dictionary[word] = vector_dimensions

glove_file.close()

回想一下，輸入中包含3501個唯一單詞。我們將創建一個矩陣，其中行數代表單詞的整數值，而列數將對應單詞的維數。該矩陣將包含輸入句子中單詞的詞嵌入向量。

num_words =min(MAX_NUM_WORDS, len(word2idx_inputs)+1)

embedding_matrix =zeros((num_words, EMBEDDING_SIZE))

for word, index inword2idx_inputs.items():

embedding_vector = embeddings_dictionary.get(word)

if embedding_vector isnotNone:

embedding_matrix[index] =embedding_vector

創建模型

第一步，為神經網絡創建一個嵌入層。嵌入層被認為是網絡的第一隱藏層。它必須指定3個參數：

· input_dim：表示文本數據中詞彙表的容量。比如，如果數據被整數編碼為0-10之間的值，那麼詞彙表的容量為11個單詞。

· output_dim：表示將嵌入單詞的向量空間大小。它決定該層每個單詞的輸出向量大小。比如，它可以是32或100，甚至還可以更大。如果大家對此有疑問，可以用不同的值測試。

· input_length：表示輸入序列的長度，正如大家為Keras模型的輸入層所定義的那樣。比如，如果所有的輸入文檔都由1000個單詞組成，那麼該值也為1000。

embedding_layer = Embedding(num_words, EMBEDDING_SIZE,weights=[embedding_matrix], input_length=max_input_len)

接下來需要做的是定義輸出，大家都知道輸出將是一個單詞序列。回想一下，輸出中唯一單詞的總數為9511。因此，輸出中的每個單詞都可以是這9511個單詞中的一個。輸出句子的長度為12。每個輸入句子都需要一個對應的輸出句子。因此，輸出的最終形式將是：（輸入量、輸出句子的長度、輸出的單詞數）

#shape of the output

decoder_targets_one_hot = np.zeros((len(input_sentences), max_out_len,num_words_output),

dtype='float32'

)decoder_targets_one_hot.shapeShape: (20000, 12, 9512)

為了進行預測，該模型的最後一層將是一個稠密層（dense layer），因此需要以獨熱編碼向量的形式輸出，因為我們將在稠密層使用softmax激活函數。為創建獨熱編碼輸出，下一步是將1分配給與該單詞整數表示對應的列數。

for i, d in enumerate(decoder_output_sequences):

for t, word in enumerate(d):

decoder_targets_one_hot[i, t,word] = 1

下一步是定義編碼器和解碼器網絡。編碼器將輸入英語句子，並輸出長短期記憶網絡的隱藏狀態和單元狀態。

encoder_inputs =Input(shape=(max_input_len,))

x =embedding_layer(encoder_inputs)

encoder =LSTM(LSTM_NODES, return_state=True)

encoder_outputs,h, c =encoder(x)

encoder_states = [h, c]

下一步是定義解碼器。解碼器將有兩個輸入：編碼器的隱藏狀態和單元狀態，它們實際上是開頭添加了令牌後的輸出語句。

decoder_inputs =Input(shape=(max_out_len,))

decoder_embedding =Embedding(num_words_output,LSTM_NODES)

decoder_inputs_x =decoder_embedding(decoder_inputs)

decoder_lstm =LSTM(LSTM_NODES,return_sequences=True, return_state=True)

decoder_outputs, _, _ =decoder_lstm(decoder_inputs_x,initial_state=encoder_states)

#Finally, theoutput from the decoder LSTM is passed through a dense layer to predict decoderoutputs.

decoder_dense =Dense(num_words_output,activation='softmax')

decoder_outputs =decoder_dense(decoder_outputs)

訓練模型

編譯定義了優化器和交叉熵損失的模型。

#Compile

model =Model([encoder_inputs,decoder_inputs],decoder_outputs)

model.compile(

optimizer='rmsprop',

loss='categorical_crossentropy',

metrics=['accuracy']

)

model.summary()

結果在意料之中。編碼器lstm_2接受來自嵌入層的輸入，而解碼器lstm_3使用編碼器的內部狀態及嵌入層。該模型總共有大約650萬個參數！訓練模型時，筆者建議指定EarlyStopping()的參數，以避免出現計算資源的浪費和過擬合。

es =EarlyStopping(monitor='val_loss', mode='min', verbose=1)

history = model.fit([encoder_input_sequences,decoder_input_sequences], decoder_targets_one_hot,

batch_size=BATCH_SIZE,

epochs=20,

callbacks=[es],

validation_split=0.1,

)

保存模型權重。

model.save('seq2seq_eng-fra.h5')

繪製訓練和測試數據的精度曲線。

#Accuracy

plt.title('model accuracy')

plt.plot(history.history['accuracy'])

plt.plot(history.history['val_accuracy'])

plt.ylabel('accuracy')

plt.xlabel('epoch')

plt.legend(['train', 'test'], loc='upper left')

plt.show()

如大家所見，該模型達到了約87%的訓練精度和約77%的測試精度，這表示該模型出現了過擬合。我們只用20000條記錄進行了訓練，所以大家可以添加更多記錄，還可以添加一個dropout層來減少過擬合。

測試機器翻譯模型

加載模型權重並測試模型。

encoder_model = Model(encoder_inputs, encoder_states)

model.compile(optimizer='rmsprop', loss='categorical_crossentropy')

model.load_weights('seq2seq_eng-fra.h5')

設置好權重之後，是時候通過翻譯幾個句子來測試機器翻譯模型了。推理模式的工作原理與訓練過程略有不同，其過程可分為以下4步：

· 編碼輸入序列，返回其內部狀態。

· 僅使用start-of-sequence字符作為輸入，並使用編碼器內部狀態作為解碼器的初始狀態來運行解碼器。

· 將解碼器預測的字符（在查找令牌之後）添加到解碼序列中。

· 將先前預測的字符令牌作為輸入，重複該過程，更新內部狀態。

由於只需要編碼器來編碼輸入序列，因此我們將編碼器和解碼器分成兩個獨立的模型。

decoder_state_input_h =Input(shape=(LSTM_NODES,))

decoder_state_input_c=Input(shape=(LSTM_NODES,))

decoder_states_inputs=[decoder_state_input_h, decoder_state_input_c]

decoder_inputs_single=Input(shape=(1,))

decoder_inputs_single_x=decoder_embedding(decoder_inputs_single)

decoder_outputs,h, c =decoder_lstm(decoder_inputs_single_x, initial_state=decoder_states_inputs)

decoder_states = [h, c]

decoder_outputs =decoder_dense(decoder_outputs)

decoder_model =Model(

[decoder_inputs_single] +decoder_states_inputs,

[decoder_outputs] + decoder_states

我們想讓輸出內容為法語的單詞序列。因此需要將整數轉換回單詞。我們將為輸入和輸出創建新詞典，其中鍵為整數，對應的值為單詞。

idx2word_input = {v:k for k, v inword2idx_inputs.items()}

idx2word_target = {v:k for k, v inword2idx_outputs.items()}

該方法將接受帶有輸入填充序列的英語句子（整數形式），並返回法語譯文。

deftranslate_sentence(input_seq):

states_value = encoder_model.predict(input_seq)

target_seq = np.zeros((1, 1))

target_seq[0, 0] =word2idx_outputs['<sos>']

eos = word2idx_outputs['<eos>']

output_sentence = []

for _ inrange(max_out_len):

output_tokens, h, c = decoder_model.predict([target_seq] + states_value)

idx = np.argmax(output_tokens[0, 0, :])

if eos == idx:

break

word =''

if idx >0:

word =idx2word_target[idx]

output_sentence.append(word)

target_seq[0, 0] = idx

states_value = [h, c]

return' '.join(output_sentence)

預測

為測試該模型性能，從input_sentences列表中隨機選取一個句子，檢索該句子的對應填充序列，並將其傳遞給translate_sentence()方法。該方法將返回翻譯後的句子。

i = np.random.choice(len(input_sentences))

input_seq=encoder_input_sequences[i:i+1]

translation=translate_sentence(input_seq)

print('Input Language: ', input_sentences[i])

print('Actualtranslation : ', output_sentences[i])

print('Frenchtranslation : ', translation)

結果：

很成功！該神經網絡翻譯模型成功地將這麼多句子譯為了法語。大家也可以通過谷歌翻譯進行驗證。當然，並非所有句子都能被正確翻譯。為進一步提高準確率，大家可以搜索「注意力」機制（Attention mechanism），將其嵌入編碼器-解碼器結構。

圖源：unsplash

大家可以從manythings.org上面下載德語、印地語、西班牙語、俄語、義大利語等多種語言的數據集，並構建用於語言翻譯的神經網絡翻譯模型。

神經機器翻譯（NMT）是自然語言處理領域中的一個相當高級的應用，涉及非常複雜的架構。本文闡釋了結合長短期記憶層進行Seq2Seq學習的編碼器-解碼器模型的功能。編碼器是一種長短期記憶，用於編碼輸入語句，而解碼器則用於解碼輸入內容並生成對應的輸出內容。

留言點讚關注

我們一起分享AI學習與發展的乾貨

如轉載，請後臺留言，遵守轉載規範