第5章 经典逻辑推理

5经典逻辑推理测验

1、单选题:

在公式中,存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x。这种函数叫做

‌选项:
A: 依赖函数
B: Skolem函数
C: 决定函数
D: 多元函数
答案: 【 Skolem函数

2、单选题:

‏子句和P经过消解以后,得到

‌选项:
A: P
B: Q
C: ~P
D: ~Q
答案: 【 Q

3、单选题:

称为

‌选项:
A: 结合律
B: 分配律
C: 吸收律
D: 德摩根律
答案: 【 吸收律

4、单选题:

 称为

​选项:
A: 结合律
B: 吸收律
C: 分配律
D: 德摩根律
答案: 【 德摩根律

5、单选题:
​反演归结(消解)证明定理时,若当前归结式是(     )时,则定理得证。‌
选项:
A: 永真式
B: 包孕式
C: 空子句
D: 永假式
答案: 【 空子句

6、单选题:

‍选项:
A: 附加律
B: 拒取律
C: 假言推理
D: 假言三段论
答案: 【 假言推理

7、单选题:
‏命题是可以判断真假的‌
选项:
A: 陈述句
B: 疑问句
C: 祈使句
D: 感叹句
答案: 【 陈述句

8、单选题:

称为

‏选项:
A: 附加律
B: 拒取律
C: 假言推理
D: 假言三段论
答案: 【 拒取律

9、多选题:
‍个体可以是​
选项:
A: 常量
B: 变元
C: 函数
D: 谓词
答案: 【 常量;
变元;
函数;
谓词

10、多选题:
​谓词公式具有以下哪些特性‍
选项:
A: 永真性
B: 永假性
C: 可满足性
D: 不可满足性
答案: 【 永真性;
永假性;
可满足性;
不可满足性

11、多选题:
​经典逻辑推理中用到的规则有‏
选项:
A: P规则:在推理的任何步骤上都可引入前提。
B: T规则:在推理过程中,如果前面步骤中有一个或多个公式永真蕴含公式S,则可把S引入推理过程中。
C: CP规则:如果能从任意引入的谓词R和前提集合中推出S来,则可从前提集合推出R → S来。
D: F规则:在推理的任何步骤上都可引入永假蕴含式。
答案: 【 P规则:在推理的任何步骤上都可引入前提。;
T规则:在推理过程中,如果前面步骤中有一个或多个公式永真蕴含公式S,则可把S引入推理过程中。;
CP规则:如果能从任意引入的谓词R和前提集合中推出S来,则可从前提集合推出R → S来。

12、多选题:
​推理方向包括‏
选项:
A: 正向推理
B: 逆向推理
C: 双向推理
D: 混合推理
答案: 【 正向推理;
逆向推理;
双向推理;
混合推理

13、多选题:
‌推理控制策略包括‏
选项:
A: 推理方向
B: 搜索策略
C: 冲突消解策略
D: 求解及限制策略
答案: 【 推理方向;
搜索策略;
冲突消解策略;
求解及限制策略

14、多选题:
‎下列属于归结演绎推理中的删除策略的是‎
选项:
A: 纯文字删除法
B: 重言式删除法
C: 包孕删除法
D: 永真删除法
答案: 【 纯文字删除法;
重言式删除法;
包孕删除法

15、判断题:
‍约束变元是指在辖域内与量词同名的变元‎
选项:
A: 正确
B: 错误
答案: 【 正确

16、判断题:
‏自由变元是指在辖域内与量词同名的变元​
选项:
A: 正确
B: 错误
答案: 【 错误

17、判断题:
​个体域中实体的真值指派就是一个解释‌
选项:
A: 正确
B: 错误
答案: 【 正确

18、判断题:
​正向推理是以已知事实作为出发点的一种推理,又称数据驱动推理、前向链推理及前件推理等。‎
选项:
A: 正确
B: 错误
答案: 【 正确

19、判断题:
​在推理过程中,需要从知识库中选出可适用的规则,就要用知识库中的规则的前提条件与数据库中的已知事实进行匹配,为此需确定匹配方法。‍
选项:
A: 正确
B: 错误
答案: 【 正确

20、判断题:
‏为了进行匹配,就要查找知识,这就牵涉到按什么路线进行查找的问题,既按什么搜索策略搜索知识库,可用盲目搜索、启发式搜索等等。‌
选项:
A: 正确
B: 错误
答案: 【 正确

21、判断题:
‎正向推理是以某个假设目标作为出发点的一种推理,又称为目标驱动推理、逆向链推理及后件推理等。‍
选项:
A: 正确
B: 错误
答案: 【 错误

22、判断题:
‎所谓推理的限制策略是指,推理是只求一个解,还是求所有解以及最优解等。‌
选项:
A: 正确
B: 错误
答案: 【 错误

23、判断题:
‏归结演绎推理中的删除策略是通过删除某些无用的子句来缩小归结的范围。‎
选项:
A: 正确
B: 错误
答案: 【 正确

24、判断题:
‌归结演绎推理中的限制策略是通过对参加归结的子句进行种种限制,尽可能减小归结的盲目性, 使其尽快的归结出亲本子句。​
选项:
A: 正确
B: 错误
答案: 【 错误

第6章 不确定性推理

6不确定性推理测验

1、单选题:
‎以下说法错误的是​
选项:
A: 蕴含式只能表示精确知识,而产生式不仅可以表示精确的知识,还可以表示不精确知识。
B: 蕴含式的匹配总要求是精确的。产生式匹配可以是精确的,也可以是不精确的,只要按某种算法求出的相似度落在预先指定的范围内就认为是可匹配的。
C: 除逻辑蕴含外,产生式还包括各种操作、规则、变换、算子、函数等。例如,“如果炉温超过上限,则立即关闭风门”是一个产生式,但不是蕴含式。
D: 蕴含式就是产生式,都可以表示不精确的知识
答案: 【 蕴含式就是产生式,都可以表示不精确的知识

2、单选题:
​以下不是产生式系统基本组成部分的是‎
选项:
A: 控制系统
B: 规则库
C: 知识库
D: 综合数据库
答案: 【 知识库

3、单选题:
​以下说法错误的是‍
选项:
A: 好的规则库应该能有效的表达领域内的过程性知识。
B: 好的规则库能够对知识进行合理的组织与管理。
C: 对知识库进行合适的管理,可以检测并排除那些冗余及矛盾的知识,保持知识的一致性,提高规则库的质量。
D: 好的规则库需要包含所有的规则。
答案: 【 好的规则库需要包含所有的规则。

4、单选题:
​以下说法错误的是‎
选项:
A: 可信度带有较大的主观性和经验性,其准确性难以把握。
B: 人工智能所面向的多是结构不良的复杂问题,难以给出精确的数学模型。
C: 人工智能问题中先验概率及条件概率的确定相对容易
D: 由于领域专家都是所在领域的行家里手,有丰富的专业知识及实践经验,也不难对领域内的知识给出其可信度。
答案: 【 人工智能问题中先验概率及条件概率的确定相对容易

5、单选题:
‎以下说法错误的是‍
选项:
A: 若 CF(H,E)>0,这说明由于前提条件E所对应的证据出 现增加了H为真的概率,即增加了H为真的可信度,CF(H,E)的值越大,增加H为真的可信度就越大。
B: 若 CF(H,E)=1,即由于E所对应的证据出现使H为真。
C: 若 CF(H,E)<0,这说明由于E所对应的证据出现减少了H为真的概率,即增加了H为假的可信度,CF(H,E)的值越小,增加H为假的可信度就越大。
D: 若CF(H,E)=-1,表示H与E独立,即E所对应的证据出现对H没有影响。 
答案: 【 若CF(H,E)=-1,表示H与E独立,即E所对应的证据出现对H没有影响。 

6、单选题:
‍以下说法错误的是​
选项:
A: 空集的信任函数为0
B: 空集的概率分配函数为0
C: 样本空间的信任函数为1
D: 样

剩余75%内容付费后可查看

发表评论

电子邮件地址不会被公开。 必填项已用*标注