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

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

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

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

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

4.填空题在框架和语义网络两种知识表示方法中，框架适合于表示结构性强的知识，而（）则适合表示一些复杂的关系和联系的知识。

5.填空题某产生式系统中的一条规则：A（x）B（x），则前件是A（x），后件是（）。

6.填空题在二人博弈问题中，最常用的一种分析技术是（），这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。

7.填空题在启发式搜索当中，通常用（）来表示启发性信息。

8.填空题在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为（）（或状态图）。

9.填空题几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

10.填空题在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。