以下哪一项没有发生冲突________。
A. 一个已知事实可以与知识库中多个知识匹配成功
B. 多个已知事实与知识库中的一个知识匹配成功
C. 多个已知事实可以与知识库中多个知识匹配成功
D. 已知事实不能与知识库中的任何知识匹配成功
反演归结(消解)证明定理时,若当前归结式是_______时,则定理得证。
A. 永真式
B. 包孕式
C. 空子句
D. 永假式
在不确定推理中, 对于初始证据, 其值由用户给出, 对于推理所得 证据,其值由_______得到。
A. 不确定性的匹配算法计算得到
B. 不确定性的阈值选择算法得到
C. 不确定性的传递算法计算得到
D. 不确定性的合成算法计算得到
从已知事实出发,通过规则库求得结论的产生式系统的推理方式 是_______。
A. 正向推理
B. 反向推理
C. 双向推理
D. 混合推理