北语17春《人工智能导论》作业4 下载本文

内容发布更新时间 : 2024/6/16 22:02:10星期一 下面是文章的全部内容请认真阅读。

2017秋北语17春《人工智能导论》作业4

一、单选题(共 10 道试题,共 40 分。)

1. 将结论的否定所对应的子句s在归结树中的位置,用重言式s ~s代替s,并参予归结树中所有的置换,所得到的树称为_。 A. 归结树 B. 证明树 C. 修改证明树 D. 置换 正确答案:

2. 在公式(v)(Q(v,u)∧~((R(v)∨P(v))∧S(u,v)))中,Q(v,u)是一个主合取元,是另一个主合取元。 A. (R(v)∨P(v))∧S(u,v) B. S(u,v)

C. (R(v)∨P(v)) D. R(v) 正确答案:

3. 基于规则的正向演绎系统的目标公式为_。 A. 文字析取形 B. 任意形式 C. 子句的合取式 D. 文字合取形 正确答案:

4. 基于规则的逆向演绎系统的子句形式:_。 A. 子句的合取式(合取范式) B. 子句的析取式(析取范式) C. 文字的析取式 D. 文字的合取式 正确答案:

5. 基于规则的逆向演绎系统的子集形式:_。 A. 子句的合取式(合取范式) B. 子句的析取式(析取范式) C. 文字的析取式 D. 文字的合取式 正确答案:

6. 基于规则的逆向演绎系统的初始综合数据库是_。 A. 事实表达式的与或树

B. 目标公式的与或树 C. 与或树 D. 证明树 正确答案:

7. 设有置换集S,首先根据S构造U1、U2两个表达式,其中U1由置换集S中的所有被置换的变量组成,U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时,它们的mgu就是该置换集的_。 A. 合一复合 B. 一致置换 C. 一致解图 D. 合一者 正确答案:

8. 基于规则的正向演绎系统的子句形式:_。 A. 子句的合取式(合取范式) B. 子句的析取式(析取范式) C. 文字的析取式 D. 文字的合取式 正确答案:

9. 基于规则的正向演绎系统的的子集形式:_。 A. 子句的合取式(合取范式) B. 子句的析取式(析取范式) C. 文字的析取式 D. 文字的合取式 正确答案:

10. 基于规则的正向演绎系统的初始综合数据库是_。 A. 事实表达式的与或树 B. 目标公式的与或树 C. 与或树 D. 证明树 正确答案:

17春《人工智能导论》作业4

二、判断题(共 12 道试题,共 48 分。)

1. 置换集一致的充分必要条件是该置换集存在合一复合。 A. 错误 B. 正确

正确答案:

2. 一般人工智能系统所用到的知识分为三种类型:陈述知识、过程知识和控制知识。 A. 错误 B. 正确 正确答案:

3. 正是由于PROLOG语言自己决定\如何做\,使得求解问题的效率比较低,严重影响了它的使用。 A. 错误 B. 正确 正确答案:

4. LISP语言的基本结构是S-表达式,其中最常用的是原子和表这两种形式。 A. 错误 B. 正确 正确答案:

5. 基于规则的逆向演绎系统是从目标出发,逆向使用规则对目标表达式的与或图进行变换,直到找到一个含有事实节点的一致解图为止。 A. 错误 B. 正确 正确答案:

6. 无论是正向系统还是逆向系统,其目标都是从众多的解图中,找一个一致解图。 A. 错误 B. 正确 正确答案:

7. 谓词逻辑,除了要对事实和规则进行处理外,与命题逻辑最大的差别是在匹配时需要进行合一,而且还要检查同一个解图中的合一置换是否是一致的。 A. 错误 B. 正确 正确答案:

8. 对基于规则的正向演绎系统,目标表达式中的\∧\号在与或树中表达为\与\的关系,\∨\号在与或树中表达为\或\的关系。 A. 错误 B. 正确 正确答案:

9. 将归结过程用树的形式表示出来,称为归结树。归结树又可以称为证明树。 A. 错误 B. 正确 正确答案:

10. 基于规则的正向演绎系统的事实表达式是文字合取形式。 A. 错误 B. 正确 正确答案:

11. 合一复合是可结合、可交换的。这是一个很好的性质,说明在用基于规则的正向演绎方法求解问题时,与使用规则的次序无关。