填空题
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略
填空题 人工智能应用的主要领域有（），（），（），（），（）和（）
填空题 人工智能作为一门学科，它研究的对象是（），而研究的近期目标是（）；远期目标是（）
单项选择题 产生式系统中推理的结论存放在：（）
