填空题
合一算法:求非空有限具有相同谓词名的原子公式集的()
最一般合一(MGU)
填空题 不确定性类型按性质分:(),(),(),()
填空题 1997年5月,著名的“人机大战”,最终名为“()”的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。
问答题 在一般图搜索算法中,当对某一个节点n进行扩展时,n的后继节点可分为三类,请举例说明对这三类节点的不同的处理方法。