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

在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。

填空题在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。

不确定性类型按性质分（），模糊性，不完全性，不一致性。

填空题不确定性类型按性质分（），模糊性，不完全性，不一致性。

（）不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。

填空题（）不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。