填空题

用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

【参考答案】

删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略
<上一题 目录 下一题>
热门 试题

填空题
人工智能应用的主要领域有（），（），（），（），（）和（）
填空题
人工智能作为一门学科，它研究的对象是（），而研究的近期目标是（）；远期目标是（）
相关试题