北语16秋《人工智能导论》作业4.doc免费

一、单选题（共 1０ 道试题，共 4０ 分。) V 1． 在公式（v)(Q（ｖ，u）∧～（(R（ｖ）∨Ｐ（v）)∧Ｓ（u，ｖ))）中，Q（v，u）是一个主合取元，是另一个主合取元。 . （R（v)∨Ｐ（v)）∧S（u,v) . S（u,v) .　（Ｒ（v）∨P(v)) .　Ｒ（v） 　　 　标准答案: ２.　 基于规则的逆向演绎系统的子句形式:＿。 .　子句的合取式（合取范式） . 子句的析取式（析取范式） .　文字的析取式 . 文字的合取式 标准答案: 3. 　基于规则的正向演绎系统的目标公式为_。 ． 文字析取形 .　任意形式 . 子句的合取式 . 文字合取形 　 　标准答案： 4． 　基于规则的正向演绎系统的子句形式:_。 . 子句的合取式（合取范式) . 子句的析取式（析取范式） ． 文字的析取式 .　文字的合取式 　 　标准答案： 5.　 将结论的否定所对应的子句s在归结树中的位置，用重言式ｓ　～s代替ｓ，并参予归结树中所有的置换,所得到的树称为＿。 .　归结树 ． 证明树 . 修改证明树 . 置换 　 　　标准答案: ６. 设有置换集S,首先根据S构造U１、U2两个表达式,其中U1由置换集S中的所有被置换的变量组成,Ｕ2由与U1中的变量所对应的置换项组成。当U１、U2可以合一时,它们的mｇu就是该置换集的＿。 .　合一复合 .　一致置换 . 一致解图 ．