【课程·研】高级人工智能 | MOOC习题及课后作业：第1~3章

本文主要内容：

第1章　绪论
第2章　知识表示
第3章　确定性推理方法

第1章　绪论

1、人工智能的英文全称是( )
A、Artifact Intelligence
B、Artificial Intelligence
C、artificial intelligence
D、AI

2、人工智能概念是在哪次会议上首次提出？
A、1956年朴茨茅斯会议
B、1956年赫尔辛基会议
C、1956年芝加哥会议
D、1956年达特茅斯会议

3、人工智能的目的是让机器能够（），以实现某些脑力劳动的机械化。
A、具有智能
B、和人一样工作
C、完全代替人的大脑
D、模拟、延伸和扩展人的智能

4、人工智能中通常把（）作为衡量机器智能的准则。
A、图灵机
B、图灵测试
C、中文屋思想实验
D、人类智能

5、人类智能的特征包括（）
A、感知能力
B、记忆与思维能力
C、学习能力
D、行为能力

6、人工智能研究的基本内容包括（）
A、机器行为
B、机器感知
C、机器思维
D、机器学习

7、新一代人工智能的核心包括( )
A、大数据
B、互联网
C、深度学习算法
D、计算力

8、符号主义学派认为人工智能的核心是( )
A、知识工程
B、知识表示
C、知识图谱
D、知识推理

9、一般认为人类智能是知识与智力的总和，其中知识是一切智能行为的基础，而智力是获取知识并应用知识求解问题的能力。

10、电子计算机的诞生为人工智能的研究奠定了物质基础。

第2章　知识表示

1、李明的父亲是教师，用谓词逻辑可以表示为Teacher（father（Liming））这里father（Liming）是（）
A、常量
B、变元
C、函数
D、一元谓词

2、定义谓词Like(x,y) 表示x喜欢y，个体域为全体人类，以下表示“每个人都有喜欢的人”含义的谓词公式是( )
A、
B、
C、
D、

3、对于谓词公式，以下说法错误的是（）
A、上述公式中的所有 y 是自由变元
B、P(x, y) 中的 x 是约束变元
C、C.R(x, y) 中的 x 是约束变元
D、Q(x, y) 中的 x 是约束变元

4、不适合用产生式表示法表示的知识是（）
A、由许多相对独立的知识元组成的领域知识
B、可以表示为一系列相对独立的求解问题的操作
C、具有结构关系的知识
D、具有经验性及不确定性的知识

5、下列不是框架表示法特点的是（）
A、结构性
B、模块性
C、继承性
D、自然性

6、假设我们定义了以下谓词： Study(x) x肯学习 Lucky(x) x是幸运的那么下列哪个谓词公式对于以下知识的表示是正确的？ “小张不肯学习但他是幸运的”
A、﹁Study(zhang)∧Lucky(zhang)
B、﹁(Study(zhang)∧Lucky(zhang))
C、﹁(Study(zhang)∨Lucky(zhang))
D、﹁Study(zhang)∨Lucky(zhang)

7、以下哪一项属于产生式？
A、编译原理中的文法
B、数据库中的SQL语句
C、程序设计中的IF语句
D、操作系统中的作业调度算法

8、把一组产生式放在一起，让他们互相配合，协同作用，一个产生式生成的结论可以供另一个产生式作为已知事实使用，以求得问题的解，这样的系统称为产生式系统。一般来说，一个产生式系统由( )组成。
A、解释器
B、规则库
C、综合数据库
D、推理机

9、一阶谓词逻辑中的个体可以是( )
A、常量
B、变元
C、函数
D、一元谓词

10、一阶谓词逻辑表示法的优点有（）
A、自然性
B、精确性
C、严密性
D、易实现

11、以下哪些是谓词公式？
A、P(x)
B、﹁P(x)∧Q(x)←R(x)
C、P(x)→Q(x)
D、P(x)+Q(X)→Q(x)

12、一个命题不能同时既为真又为假，但可以在一种条件下为真，在另一种条件为假。

13、命题逻辑可以把所描述的事物的结构及其逻辑特征反映出来，也能把不同事物间的共同特征表述出来。

14、一阶谓词逻辑表示法可以表示不确定的知识。

15、框架表示法不能表示具有因果关系的知识。

16、产生式系统求解问题的过程是一个反复进行“匹配–冲突消解–执行”的过程。

17、框架的槽值或侧面值不能是另一个框架的名字。

18、产生式有固定的格式，每一条产生式规则都由前提与结论（操作）两部分组成。

19、论域是由所讨论对象的全体构成的非空集合。

第3章　确定性推理方法

1、由一般性知识推出适合于某一具体情况的结论的推理是？
A、演绎推理
B、归纳推理
C、默认推理
D、单调推理

2、若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）=( )
A、P(x) ∨Q(x)
B、P(a) ∨Q(x)
C、Q(x) ∨R(y)
D、Q(a) ∨R(y)

3、在公式中 ∀y∃xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，把每个y值映射到存在的那个x。这种函数叫做（）
A、依赖函数
B、Skolem函数
C、决定函数
D、多元函数

4、P→Q Q→R => P→R 该永真蕴含式属于（）
A、假言推理
B、拒取式推理
C、假言三段论
D、全称固化

5、谓词逻辑下，子句 C1=L∨C1’, C2= ┐L∨C2’, 若σ是互补文字的最一般合一代换，则其归结式 C12=（）
A、C1’σ∨C2’σ
B、C1’∨C2’
C、C1’σ∧C2’σ
D、C1’∧C2’

6、以下属于不合法代换的有( )
A、{f(a)/b}
B、{x/y,f(y)/x}
C、{a/y,f(y)/x}
D、{f(x)/y,x/z}

7、以下推理错误的是（）
A、P,P→Q => Q
B、┓Q,P→Q => ┓P
C、Q,P→Q => P
D、┓P,P→Q => ┓Q

8、从初始证据出发，按某种策略不断运用知识库中的已知知识，逐步推出结论的过程称为推理。

9、任何文字的合取式称为子句。

10、空子句是可以满足的。

11、谓词公式不可满足的充要条件是其子句集不可满足。

12、对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。

13、对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。

— The End —