1997年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界...

单项选择题1997年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）

A.深蓝
B.IBM
C.深思
D.蓝天

1.单项选择题仅个体变元被量化的谓词称为（）

A.一阶谓词
B.原子公式
C.二阶谓词
D.全称量词

2.单项选择题命题是可以判断真假的（）

A.祈使句
B.疑问句
C.感叹句
D.陈述句

3.单项选择题语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（）。

A.无悖性
B.可扩充性
C.继承性

4.单项选择题反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

A.永真式
B.包孕式
C.空子句

5.单项选择题要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。

A.专家系统
B.机器学习
C.神经网络
D.模式识别

6.单项选择题下列哪部分不是专家系统的组成部分（）

A.用户
B.综合数据库
C.推理机
D.知识库

7.单项选择题产生式系统的推理不包括（）

A.正向推理
B.逆向推理
C.双向推理
D.简单推理

8.单项选择题已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）

A.状态空间法
B.问题归约法
C.谓词逻辑法
D.语义网络法

9.单项选择题神经网络研究属于下列（）学派

A、符号主义
B、连接主义
C、行为主义
D、都不是

10.单项选择题下列哪个不是人工智能的研究领域（）

A.机器证明
B.模式识别
C.人工生命
D.编译原理