一般情况下，KNN最近邻方法在（ ）情况下效果最好（）

对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是

设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上

消去存在量词时，当（）时，用skolem函数

二阶谓词的个体是（）

通过一组符号及其组合来描述事物的是

连接词的优先级

当P为F，Q为F，R为T时，（P ∨ Q） ↔ R的真值是

专家系统是（）学派的成果

人工智能是指（）

神经网络是（）学派的成果