填空题
合一算法:求非空有限具有相同谓词名的原子公式集的()。
最一般合一
填空题 在删除策略归结的过程中删除以下子句:含有()的子句;含有永真式的子句;子句集中被别的子句类含的子句。
填空题 不确定性类型按性质分(),模糊性,不完全性,不一致性。
填空题 ()不仅仅是一种知识表示方法,也是一种流行的软件设计和开发技术。