（2）x(┓L(x，Fly）)==〉┓L(x，Fly）

（3)P（Fly)．．．结论的反

（4）L（f（Fly），Fly）．．．（1）(3)归结,置换｛Fly/y｝

（5)□．．．(2）(4)归结，｛f（Fly)/x｝

得证。

人工智能试卷（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