35、IBM的()是第一个在国际象棋上战胜人类棋手的人工智能计算机。( )

40、在诸如走迷宫、下棋、八数码游戏等游戏中,常用到的一种人工智能的核心技术称为( )技术,解这类问题时,常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表,这种图称为()

39、几种常用的归结策略:( )、支持集策略、线形归结策略、输入归结策略、单元归结策略

38、假言推理

37.在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的( ),而在一个量词的中与该量词的指导变元相同的变元称为( ),其他变元称为( )

36、人工智能的远期目标是(),近期目标是()。

35、1997年5月,著名的“人机大战”,最终名为“()”的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。

34、合一算法:求非空有限具有相同谓词名的原子公式集的()。

33、图:指由()组成的网络。按连接同一节点的各边的逻辑关系又可分为()和(与)。

32、对证据的可信度CF( )、CF(A1)、CF(A2)之间,规定如下关系:

31、在删除策略归结的过程中删除以下子句:含有()的子句;含有()的子句;子句集中被别的子句()的子句。