登录
注册
首页
->
人工智能
下载题库
反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。
（A）永真式
（B）包孕式（subsumed）
（C）空子句
参考答案
继续答题：
下一题
更多人工智能试题
1
下列关于不确定性知识描述错误的是( )。
2
下列关于不精确推理过程的叙述错误的是( )。
3
人工神经网络特点和优越性主要表现在( )。
4
97年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（ ）
5
一般来讲，下列语言属于人工智能语言的是 。
6
框架表示法是马文.明斯基首创( )。
考试
