单项选择题
用归结反演证明定理时，若当前归结式为（），则定理得证。
A.永真式B.包孕式C.原子谓词D.空子句
单项选择题 聚类分析法算法属于（）。
单项选择题 KN近邻元法较之PARZEN窗法的优点是（）。
单项选择题 在主观Bayes方法中，规则E→H，有LS=LN=1，这意味（）。
