问题：
[填空题] 鲁宾逊提出了（）使机器定理证明成为可能
问题：
[填空题] 当某个算符被认为是问题求解的决定步骤时，此算符为（）
问题：
[填空题] 宽度优先搜索与深度优先搜索方法的一个致命的缺点是当问题比较复杂是可能会发生（）。
问题：
[问答题] 在一般图搜索算法中，当对某一个节点n进行扩展时，n的后继节点可分为三类，请举例说明对这三类节点的不同的处理方法。
问题：
[填空题] 1997年5月，著名的“人机大战”，最终名为“（）”的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。
问题：
[填空题] 不确定性类型按性质分：（），（），（），（）
问题：
[填空题] 合一算法：求非空有限具有相同谓词名的原子公式集的（）
问题：
[填空题] 宽度优先搜索对应的数据结构是（）；深度优先搜索是（）
问题：
[填空题] 确定因子法中函数MB是描述（）、而函数MD是描述（）
