北语17秋《人工智能导论》作业4

《北语17秋《人工智能导论》作业4》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、~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      满分：

2、4  分4.  基于规则的逆向演绎系统的子句形式：＿。~~~~A.子句的合取式（合取范式）B.子句的析取式（析取范式）C.文字的析取式D.文字的合取式正确答案：D      满分：4  分5.  基于规则的正向演绎系统的子句形式：＿。A.子句的合取式（合取范式）B.子句的析取式（析取范式）C.文字的析取式D.文字的合取式正确答案：C      满分：4  分6.  基于规则的逆向演绎系统的初始综合数据库是＿。A.事实表达式的与或树B.目标公式的与或树C.与或树D.证明树正确答案：B      满分：4  分7.  基于规则的逆向演绎系统的子集形式：＿。A.子句的合取式（合取范

3、式）~~~~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中的变量所对应的置

4、换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。~~~~A.合一复合B.一致置换C.一致解图D.合一者正确答案：A      满分：4  分1.  基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W（L为单文字，W为任意形式）A.错误B.正确正确答案：A      满分：4  分2.  规则公式不以蕴涵形给出，是表示该问题领域的专门知识。A.错误B.正确正确答案：A      满分：4  分3.  EQ、EQL和EQUAL是三个判断相等的谓词函数，其区别是判断相等的"标准"不一样。A.错误B.正确正确答案：B      满分：4  分4.  对基于规则的

5、正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。A.错误B.正确~~~~正确答案：A      满分：4  分5.  人工智能是一门综合技术，所处理的问题非常广泛，因此任何一种语言都不可能对所有的问题处理起来都很灵活、方便，至于究竟使用哪种语言，应根据问题的性质来决定。A.错误B.正确正确答案：B      满分：4  分6.  在逆向系统中，事实表达式限定为是文字的合取，并且进行了普通的Skolem化简，变量受全称量词约束。A.错误B.正确正确答案：B      满分：4  分7.  PROLOG中的表与LISP中的表

6、，在概念上是一致的，且表示形式也完全相同。A.错误B.正确正确答案：A      满分：4  分8.  当多次使用同一规则时，需要对规则中的变量进行换名，使得规则在不同的使用处，其变量名是不相同的。A.错误B.正确正确答案：B      满分：4  分9.  PROLOG属于逻辑程序设计语言，其理论基础是一阶谓词逻辑。A.错误B.正确~~~~正确答案：B      满分：4  分10.  基于规则的演绎系统将类似于P→Q这样的蕴涵关系作为规则使用，直接用于推理，故这类方法又称为直接法。A.错误B.正确正确答案：B      满分：4  分11.  置换集一致的充分必要条件是该

7、置换集存在合一复合。A.错误B.正确正确答案：B      满分：4  分12.  谓词逻辑，除了要对事实和规则进行处理外，与命题逻辑最大的差别是在匹配时需要进行合一，而且还要检查同一个解图中的合一置换是否是一致的。A.错误B.正确正确答案：B      满分：4  分1.  基于规则的逆向演绎系统的使用条件：＿。A.事实表达式是文字合取形式B.事实表达式是任意形式C.规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。D.目标公式是任意形式正确答案：ACD      满分：4  分2.