單元歸結

單元歸結（unit resolution）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。

基本介紹

• 中文名：單元歸結
• 外文名：unit resolution
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

一種歸結策略。如果歸結過程中，每次做歸結的兩個子句中，都有一個是單元（只含一個文字的）子句或單元因子，這種歸結的形式稱為單元歸結。

出處

《計算機科學技術名詞 》第三版。