支持集策略要求在每次歸結(jié)時,親本子句中至少應(yīng)有一個是由目標(biāo)的否定所得到的子句或者它們的后代。
(1)一階謂詞邏輯表示法適于表示確定性的知識。(2)它具有自然性、精確性、嚴(yán)密性及易實現(xiàn)等特點。