北语17秋《人工智能导论》作业4答案资料
1.在公式（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）
正确答案：A满分：4分
2.基于规则的正向演绎系统的的子集形式：＿。
A.子句的合取式（合取范式）
B.子句的析取式（析取范式）
C.文字的析取式
D.文字的合取式
正确答案：A满分：4分
3.基于规则的正向演绎系统的初始综合数据库是＿。
A.事实表达式的与或树
B.目标公式的与或树
C.与或树
D.证明树
正确答案：A满分：4分
4.基于规则的逆向演绎系统的子句形式：＿。
A.子句的合取式（合取范式）
B.子句的析取式（析取范式）
C.文字的析取式
D.文字的合取式
正确答案：D满分：4分
5.基于规则的正向演绎系统的子句形式：＿。
A.子句的合取式（合取范式）
B.子句的析取式（析取范式）
C.文字的析取式
D.文字的合取式
正确答案：C满分：4分
6.基于规则的逆向演绎系统的初始综合数据库是＿。
A.事实表达式的与或树
B.目标公式的与或树
C.与或树
D.证明树
正确答案：B满分：4分
7.基于规则的逆向演绎系统的子集形式：＿。
A.子句的合取式（合取范式）
B.子句的析取式（析取范式）
C.文字的析取式
D.文字的合取式
正确答案：B满分：4分
8.基于规则的正向演绎系统的目标公式为＿。
A.文字析取形
B.任意形式
C.子句的合取式
D.文字合取形
正确答案：A满分：4分
9.将结论的否定所对应的子句s在归结树中的位置，用重言式s~s代替s，并参予归结树中所有的置换，所得到的树称为＿。
A.归结树
B.证明树
C.修改证明树
D.置换
正确答案：C满分：4分
10.设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。
A.合一复合
B.一致置换
C.一致解图
D.合一者
正确答案：A满分：4分
更多学习资料请登录www.openhelp100.com
页:
[1]