利用计算机证明非数值性的结果，处理如医疗诊断、信息检索、难题求解等方面的技术...

单项选择题利用计算机证明非数值性的结果，处理如医疗诊断、信息检索、难题求解等方面的技术是（）。

A.语言理解
B.检测系统
C.逻辑方法
D.自动定理证明

1.单项选择题遗传算法中的交叉算子、选择算子和变异算子属于（）。

A.遗传算子
B.种群算子
C.编码算子
D.控制算子

2.单项选择题谓词公式取真值为1的充分必要条件是（）。

A.对任意y，使p（y）都取真值1
B.存在一个y0，使p（y0）取真值1
C.存在某些y，使p（y）都取真值1
D.存在y0，使p（y0）取真值0

3.单项选择题用归结反演证明定理时，若当前归结式为（），则定理得证。

A.永真式
B.包孕式
C.原子谓词
D.空子句

4.单项选择题聚类分析法算法属于（）。

A.无监督分类
B.有监督分类
C.统计模式识别
D.句法模式识别

5.单项选择题KN近邻元法较之PARZEN窗法的优点是（）。

A.所需样本少
B.稳定性好
C.分辨率高
D.连续性好

6.单项选择题在主观Bayes方法中，规则E→H，有LS=LN=1，这意味（）。

A.E对H没有影响
B.E支持H
C.-E支持H
D.E支持-H

7.单项选择题不完备的搜索过程是（）。

A.广度优先搜索
B.深度优先搜索
C.有界深度优先搜索
D.代价树广度优先搜索

8.单项选择题在主观Bayes方法中，专家给出的LN和LS值，不能出现下两种情况（）。
Ⅰ.LN< 1, LS< 1
Ⅱ.LN< 1, LS>1
Ⅲ.LN>1, LS< 1
Ⅳ.N>1, LS>1

A.Ⅰ,Ⅱ
B.Ⅱ,Ⅲ
C.Ⅰ,Ⅳ
D.Ⅱ,Ⅳ

9.单项选择题类域界面方程法中，不能求线性不可分情况下分类问题近似或精确解的方法是（）。

A.感知器算法
B.违逆法
C.基于二次准则的H-K算法
D.势函数法

10.单项选择题归结策略中，（）是完备的。
Ⅰ.线性输入策略
Ⅱ.支持集策略
Ⅲ.单文字策略
Ⅳ.祖先过滤策略

A.Ⅰ，Ⅱ
B.Ⅰ，Ⅲ
C.Ⅱ，Ⅳ
D.Ⅲ，Ⅳ