合一運算

合一運算((unification)自然語言處理中複雜特徵集的運算。

.如果運算口具有如下性質，則口是合一運算:

集合論中的求並運算是合一運算的一種特殊情況.當合一的對象所含的元素為不可分解的原子時，合一的結果等於並集.當合一的對象是有結構的複雜特徵集時，就要檢驗特徵的相容性.只有當特徵相容時，相應的複雜特徵才能合一，如果參與合一的特徵相衝突，就立即宣布合一失敗.合一運算在合併自然語言處理中各方面來的特徵信息的同時，還提供了檢驗限制條件的機制.