【統一】

豐碩

【統一】

 

英語翻譯：unification

 

【辭書名稱】資訊與通信術語辭典

 

(一)在人工智能領域的謂詞邏輯方法中，用歸結原理進行定理證明時，要不斷地在待歸結的子句集合中，尋求能夠進行歸結的子句對，這一匹配過程稱為「統一」，它通常包括搜索、模式匹配和實例化。

 

(二)為計算語言學和現代語法理論的專門術語，概念來源於謂詞演算，是作用於複雜特徵集的一種基本運算。

 

當兩個較小的語言成分組合成一個較大的語言成分時，通過統一運算，可以把每個成分的複雜特徵集所承載的資訊，累加組合成大成分的複雜特徵集。

 

在統一運算中，資訊只增不減，這一點符合自然語言的合成性假設。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary