一、单选题（共 10 道试题，共 40 分。）V
1. 将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。
A. 归结树
B. 证明树
C. 修改证明树
D. 置换
满分：4 分
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）
满分：4 分
3. 基于规则的正向演绎系统的目标公式为＿。
A. 文字析取形
B. 任意形式
C. 子句的合取式
D. 文字合取形
满分：4 分
4. 基于规则的逆向演绎系统的子句形式：＿。
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
满分：4 分
5. 基于规则的逆向演绎系统的子集形式：＿。
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
满分：4 分
6. 基于规则的逆向演绎系统的初始综合数据库是＿。
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树