【自然性; 精确性; 严密性; 易实现】 5、 问题:下列（ &nb
第一讲 人工智能概述 第一讲 人工智能概述单元测试
1、 问题:人工智能中通常把（ ）作为衡量机器智能的准则。
选项：
A:图灵机
B:图灵测试
C:中文屋思想实验
D:人类智能
答案: 【图灵测试】
2、 问题:人工智能的目的是让机器能够（ ），以实现某些脑力劳动的机械化。
选项：
A:具有智能
B:和人一样工作
C:完全代替人的大脑
D:模拟、延伸和扩展人的智能
答案: 【模拟、延伸和扩展人的智能】
3、 问题:人类智能的特征包括（ ）。
选项：
A:感知能力
B:记忆与思维能力
C:学习能力
D:行为能力
答案: 【感知能力;
记忆与思维能力;
学习能力;
行为能力】
4、 问题:人工智能研究的基本内容包括（ ）。
选项：
A:机器行为
B:机器感知
C:机器思维
D:机器学习
答案: 【机器行为;
机器感知;
机器思维;
机器学习】
5、 问题:一般认为人类智能是知识与智力的总和，其中知识是一切智能行为的基础，而智力是获取知识并应用知识求解问题的能力。
选项：
A:正确
B:错误
答案: 【正确】
6、 问题:电子计算机的诞生为人工智能的研究奠定了物质基础。
选项：
A:正确
B:错误
答案: 【
第二讲 一阶谓词逻辑知识表示法 第二讲 一阶谓词逻辑知识表示法单元测试
1、 问题:李明的父亲是教师，用谓词逻辑可以表示为Teacher（father（Liming））这里father（Liming）是（ ）
选项：
A:常量
B:变元
C:函数
D:一元谓词
答案: 【函数】
2、 问题:（ ）表示“每个人都有喜欢的人”。
选项：
A:
B:
C:
D:
答案: 【】
3、 问题:对于谓词公式
，以下说法错误的是（ ）。
选项：
A:上述公式中的所有 y 是自由变元。
B:P(x， y) 中的 x 是约束变元。
C:R(x， y) 中的 x 是约束变元。
D:Q(x， y) 中的 x 是约束变元。
答案: 【R(x， y) 中的 x 是约束变元。】
4、 问题:一阶谓词逻辑表示的优点是（ ）
选项：
A:自然性
B:精确性
C:严密性
D:易实现
答案: 【自然性;
精确性;
严密性;
易实现】
5、 问题:下列（ ）是谓词公式。
选项：
A:P(x)
B:
P(x)
C:P(x)
Q(x)
D:P(x)+Q(x)
R(x)
答案: 【P(x);
P(x);
P(x)Q(x)】
6、 问题:一个命题不能同时既为真又为假，但可以在一种条件下为真，在另一种条件为假。
选项：
A:正确
B:错误
答案: 【正确】
7、 问题:命题逻辑可以把所描述的事物的结构及其逻辑特征反映出来，也能把不同事物间的共同特征表述出来。
选项：
A:正确
B:错误
答案: 【错误】
8、 问题:一阶谓词逻辑表示法可以表示不确定的知识。
选项：
A:正确
B:错误
答案: 【错误】
第三讲 产生式表示法和框架表示法 第三讲 产生式表示法和框架表示法单元测试
1、 问题:不适合用产生式表示法表示的知识是（ ）
选项：
A:由许多相对独立的知识元组成的领域知识
B:可以表示为一系列相对独立的求解问题的操作
C:具有结构关系的知识
D:具有经验性及不确定性的知识
答案: 【具有结构关系的知识】
2、 问题:下列不是框架表示法特点的是（ ）
选项：
A:结构性
B:模块性
C:继承性
D:自然性
答案: 【模块性】
3、 问题:产生式是蕴含式。
选项：
A:正确
B:错误
答案: 【错误】
4、 问题:框架表示法不能表示具有因果关系的知识。
选项：
A:正确
B:错误
答案: 【错误】
5、 问题:产生式系统求解问题的过程是一个反复进行“匹配–冲突消解–执行”的过程。
选项：
A:正确
B:错误
答案: 【正确】
6、 问题:框架的槽值或侧面值不能是另一个框架的名字。
选项：
A:正确
B:错误
答案: 【错误】
7、 问题:一个产生式系统由规则库、推理机、综合数据库三部分组成。
选项：
A:正确
B:错误
答案: 【正确】
8、 问题:产生式有固定的格式，每一条产生式规则都由前提与结论（操作）两部分组成。
选项：
A:正确
B:错误
答案: 【正确】
【作业】第四讲 基于谓词逻辑的推理方法 第四讲 基于谓词逻辑的推理方法作业
1、 问题:已知:(1)能阅读者是识字的;(2)海豚不识字;(3)有些海豚是聪明的;已知谓词R（x）表示x能阅读， L(x)表示识字，D（x）表示x是海豚，I（x）表示聪明的，请用归结原理证明：有些聪明者并不能阅读。
评分规则: 【 前提和结论的谓词公式表示为 （5分）
前提谓词公式和结论否定的谓词公式化为子句集 （5分）1）
2)
3)
4)
5)
归结过程如下： （5分）4)和5)归结得 6） 
6)和1)归结得 7) 
7)和2)归结得 8) 
8)和3)归结得 NIL，即证。
】
第四讲 基于谓词逻辑的推理方法 第四讲 基于谓词逻辑的推理方法单元测试
1、 问题:从初始证据出发，按某种策略不断运用知识库中的已知知识，逐步推出结论的过程称为推理。
选项：
A:正确
B:错误
答案: 【正确】
点击这里，查看后续答案①
点击这里，查看后续答案②（阿布查查更好用）
sp; &