（满分）北语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  分

wlin1977

哈哈，爽！

912728026

学长介绍来的

lxzsnow

谋学网老师确实厉害！

肥肥2014

不错

好学生彬

谋学网越办越好，加油！

枳缨

谋学网越办越好，加油！