登录
注册
首页
->
人工智能
下载题库
反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。
(A)永真式
(B)包孕式(subsumed)
(C)空子句
参考答案
继续答题:
下一题
更多人工智能试题
1
进行专家系统的开发通常采用的方法是 。
2
关于“与/或”图表示法的叙述中,正确的是( )。
3
C(B|A) 表示在规则A->B中,证据A为真的作用下结论B为真的
4
广度优先搜索方法的原理是、从树的根节点开始,在树中一层一层的查找,当找到目标节点时,搜索结束( )。
5
专家系统是以( )为基础,以推理为核心的系统。
6
人工智能的目的是让机器能够 ,以实现某些脑力劳动的机械化。
考试