超星 - 推理 - 查题吧

单选题

反演归结（消解）证明定理时，若当前归结式是_______时，则定理得证。

A. 永真式
B. 包孕式
C. 空子句
D. 永假式

查看答案

单选题

在不确定推理中，对于初始证据，其值由用户给出，对于推理所得证据，其值由_______得到。

A. 不确定性的匹配算法计算得到
B. 不确定性的阈值选择算法得到
C. 不确定性的传递算法计算得到
D. 不确定性的合成算法计算得到

查看答案

单选题

从已知事实出发，通过规则库求得结论的产生式系统的推理方式是_______。

A. 正向推理
B. 反向推理
C. 双向推理
D. 混合推理

查看答案

单选题

设甲、乙、丙三人中有人从不说真话，也有人从不说假话，某人向着三人分别提出一个问题：谁是说谎者？甲答：“B和 C都是说谎者”；乙答：“A 和 C都是说谎者”；丙答：“A 和 B 至少有一个是说谎者” 。谁是老实人，谁是说谎者？_______。

A. 甲是老实人，乙是说谎者
B. 甲是老实人，丙是说谎者
C. 丙是老实人，甲是说谎者
D. 丙是老实人，乙是说谎者

查看答案

单选题

A. 永真性：如果谓词公式P对个体域D上的任何一个解释都取得真值T，则称P在D上是永真的
B. 可满足性：对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是可满足的
C. 永真性：如果谓词公式P在个体域D上，存在一个解释都取得真值T，则称P在D上是永真的
D. 不可满足性：如果谓词公式P对于个体域D上的任何一个解释都取得真值F，则称P在D上是永久假的，如果P在每个非空个体域上均永假，则称P永假

查看答案

多选题

下列选项中那一种情况不是发生冲突_______。

A. 已知事实能与知识库中的任何知识匹配成功；
B. 已知事实不能与知识库中的任何知识匹配成功；
C. 已知事实恰好只与知识库中的一个知识匹配成功；
D. 已知事实可以与知识库中的多个知识匹配成功；或者有多个（组）已知事实都可与知识库中的一个知识匹配成功；或者有多个（组）已知事实可与知识库中的多个知识匹配成功

查看答案

判断题