問答題

【簡答題】支持集策略對參加歸結的子句提出了什么限制？

答案：

支持集策略要求在每次歸結時，親本子句中至少應有一個是由目標的否定所得到的子句或者它們的后代。

你可能感興趣的試題

【簡答題】一階謂詞邏輯表示法適于表示什么類型的知識？它有何特點？

答案：

（1）一階謂詞邏輯表示法適于表示確定性的知識。
（2）它具有自然性、精確性、嚴密性及易實現(xiàn)等特點。

【簡答題】什么是歸結控制策略？什么樣的歸結控制策略是完備的？

答案：對子句集S進行歸結時，如果采用盲目的、全面的歸結，其結果將產生大量的不必要的歸結式，如果要在計算機上實現(xiàn)，不但浪費計算機...