填空題

合一算法：求非空有限具有相同謂詞名的原子公式集的（）。

答案：最一般合一

你可能感興趣的試題

在刪除策略歸結(jié)的過程中刪除以下子句：含有（）的子句；含有永真式的子句；子句集中被別的子句類含的子句。

答案：純文字

不確定性類型按性質(zhì)分（），模糊性，不完全性，不一致性。

答案：隨機(jī)性