人工智能试卷(B) 试题部分： 一、选择题(15小题，共15分) 1、97年5月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王 卡斯帕罗夫击败，这台计算机被称为() A)深蓝 B)IBM C)深思 D)蓝天 2、下列不在人工智能系统的知识包含的4个要素中 A)事实 B)规则 C)控制和元知识D)关系 3、谓词逻辑下，子句，C1=LVC1,C2=一LVC2,若o是互补文字的（最一般）合一置换， 则其归结式C=() A)CI'cVC2'o B)CI'VC2 C)C1'6∧C2' D)C1'∧C2 4、或图通常称为 A)框架网络 B)语义图 C)博亦图 D)状态图 5、不属于人工智能的学派是 A)符号主义 B)机会主义 C)行为主义 D)连接主义。 6、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模 型，请问这个科学家是 A)明斯基 B).扎德 C)图林 D)冯.诺依曼 7、要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主 要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫()。 A)专家系统 B)机器学习 C)神经网络 D)模式识别 8、下列哪部分不是专家系统的组成部分() A.)用户 B)综合数据库 C)推理机 D)知识库 9、产生式系统的推理不包括() A)正向推理B)逆向推理 C)双向推理 D)简单推理 I0、C(BA)表示在规则A->B中，证据A为真的作用下结论B为真的 A)可信度 B)信度 C)信任增长度 D)概率 11、AI的英文缩写是 A)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information 12、反演归结（消解）证明定理时，若当前归结式是()时，则定理得证。 A)永真式 B)包孕式(subsumed) C)空子句 13、在公式中y3xp(x,y),存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖 于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函 数叫做() A.依赖函数 B.Skolem函数 C.决定函数 D.多元函数 14、子句~PvQ和P经过消解以后，得到() A.P B.Q 9 P D.PvO人工智能试卷（B） 试题部分： 一、选择题（15 小题，共 15 分） 1、97 年５月，著名的“人机大战”，最终计算机以 3.5 比 2.5 的总比分将世界国际象棋棋王 卡斯帕罗夫击败，这台计算机被称为（ ） A）深蓝 B）IBM C）深思 D）蓝天 2、下列不在人工智能系统的知识包含的 4 个要素中 A)事实 B)规则 C)控制和元知识 D)关系 3、谓词逻辑下，子句, C1=L∨C1‘, C2= ¬ L∨C2‘, 若σ是互补文字的（最一般）合一置换， 则其归结式 C=（ ） A) C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’ ∧C2’ 4、或图通常称为 A）框架网络 B)语义图 C)博亦图 D)状态图 5、不属于人工智能的学派是 A)符号主义 B)机会主义 C)行为主义 D)连接主义。 6、人工智能的含义最早由一位科学家于 1950 年提出，并且同时提出一个机器智能的测试模 型，请问这个科学家是 A)明斯基 B).扎德 C)图林 D)冯.诺依曼 7、要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主 要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（ ）。 A)专家系统 B)机器学习 C)神经网络 D)模式识别 8、下列哪部分不是专家系统的组成部分（ ） A.）用户 B）综合数据库 C）推理机 D）知识库 9、产生式系统的推理不包括（ ） A）正向推理 B）逆向推理 C）双向推理 D）简单推理 10、C(B|A) 表示在规则 A->B 中，证据 A 为真的作用下结论 B 为真的 A)可信度 B)信度 C)信任增长度 D)概率 11、AI 的英文缩写是 A)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information 12、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 A)永真式 B)包孕式（subsumed） C)空子句 13、在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的 x 可能依赖 于 y 值。令这种依赖关系明显地由函数所定义，它把每个 y 值映射到存在的那个 x。这种函 数叫做（ ） A. 依赖函数 B. Skolem 函数 C. 决定函数 D. 多元函数 14、子句~PQ 和 P 经过消解以后，得到（ ） A. P B. Q C. ~P D. PQ