北语17春《人工智能导论》作业4答案资料

openhelp100

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

一、单选题：
1.将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。          (满分:4)
    A. 归结树
    B. 证明树
    C. 修改证明树
    D. 置换
2.在公式（v）（Q（v，u）∧~（（R（v）∨P（v））∧S（u，v）））中，Q（v，u）是一个主合取元，是另一个主合取元。          (满分:4)
    A. （R（v）∨P（v））∧S（u，v）
    B. S（u，v）
    C. （R（v）∨P（v））
    D. R（v）
3.基于规则的正向演绎系统的目标公式为＿。          (满分:4)
    A. 文字析取形
    B. 任意形式
    C. 子句的合取式
    D. 文字合取形
4.基于规则的逆向演绎系统的子句形式：＿。          (满分:4)
    A. 子句的合取式（合取范式）
    B. 子句的析取式（析取范式）
    C. 文字的析取式
    D. 文字的合取式
5.基于规则的逆向演绎系统的子集形式：＿。          (满分:4)
    A. 子句的合取式（合取范式）
    B. 子句的析取式（析取范式）
    C. 文字的析取式
    D. 文字的合取式
6.基于规则的逆向演绎系统的初始综合数据库是＿。          (满分:4)
    A. 事实表达式的与或树
    B. 目标公式的与或树
    C. 与或树
    D. 证明树
7.设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。          (满分:4)
    A. 合一复合
    B. 一致置换
    C. 一致解图
    D. 合一者
8.基于规则的正向演绎系统的子句形式：＿。          (满分:4)
    A. 子句的合取式（合取范式）
    B. 子句的析取式（析取范式）
    C. 文字的析取式
    D. 文字的合取式
9.基于规则的正向演绎系统的的子集形式：＿。          (满分:4)
    A. 子句的合取式（合取范式）
    B. 子句的析取式（析取范式）
    C. 文字的析取式
    D. 文字的合取式
10.基于规则的正向演绎系统的初始综合数据库是＿。          (满分:4)
    A. 事实表达式的与或树
    B. 目标公式的与或树
    C. 与或树
    D. 证明树
二、多选题：
1.置换集一致的充分必要条件是该置换集存在合一复合。          (满分:4)
    A. 错误
    B. 正确
2.一般人工智能系统所用到的知识分为三种类型：陈述知识、过程知识和控制知识。          (满分:4)
    A. 错误
    B. 正确
3.正是由于PROLOG语言自己决定"如何做"，使得求解问题的效率比较低，严重影响了它的使用。          (满分:4)
    A. 错误
    B. 正确
三、判断题：
4.LISP语言的基本结构是S－表达式，其中最常用的是原子和表这两种形式。          (满分:4)
    A. 错误
    B. 正确
5.基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。          (满分:4)
    A. 错误
    B. 正确
6.无论是正向系统还是逆向系统，其目标都是从众多的解图中，找一个一致解图。          (满分:4)
    A. 错误
    B. 正确
7.谓词逻辑，除了要对事实和规则进行处理外，与命题逻辑最大的差别是在匹配时需要进行合一，而且还要检查同一个解图中的合一置换是否是一致的。          (满分:4)
    A. 错误
    B. 正确
8.对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。          (满分:4)
    A. 错误
    B. 正确
9.将归结过程用树的形式表示出来，称为归结树。归结树又可以称为证明树。          (满分:4)
    A. 错误
    B. 正确
10.基于规则的正向演绎系统的事实表达式是文字合取形式。          (满分:4)
    A. 错误
    B. 正确
11.合一复合是可结合、可交换的。这是一个很好的性质，说明在用基于规则的正向演绎方法求解问题时，与使用规则的次序无关。          (满分:4)
    A. 错误
    B. 正确
12.EQ、EQL和EQUAL是三个判断相等的谓词函数，其区别是判断相等的"标准"不一样。          (满分:4)
    A. 错误
    B. 正确
1.在LISP语言中，总是试图对任何S-表达式进行求值。在求值的过程中，有这样几个基本约定：＿。          (满分:4)
    A. 如果S-表达式是一个数字，则它的值就是数字本身。
    B. 如果S-表达式是一个文字原子，则它的值是在此之前，通过赋值函数赋给该原子的值。
    C. 如果S－表达式是一个表，则该表被认为是一个函数。
    D. 符号"'"是阻止求值符号，如果一个S－表达式前面有符号"'"，则其值就是该S－表达式本身。
2.表述有关问题的知识分为两类：＿。          (满分:4)
    A. 规则
    B. 事实
    C. 陈述知识
    D. 控制知识
3.关于演绎系统的搜索策略的说法正确的是：＿。          (满分:4)
    A. 在寻找完所有解图之后，再判断解图的一致性。
    B. 首先找一个任意解图，再检验其一致性，看是否是一致解图。如果这个候选解图不一致，则继续搜索直到找到一个一致解图为止。
    C. 在扩展局部的候选解图前，就进行一致性的检验，修剪不一致的局部候选解图，致使效率提高。
    D. 建立规则连接图结构，从而提高系统的求解效率。
更多免费学习资料请登录www.openhelp100.com