关于神经网络中经典使用的优化器，以下说法正确的是？

一阶谓词的个体不能是 （）

产生式规则的形式化描述遵循 （）

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

置换是一个形如{ t1/x1, t2/x2, …, tn/xn }的有限集合：xi可以是（）

极大极小分析法中，用于极大极小分析法中计算各节点分数的是 （）

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

基于状态空间的搜索算法是 （）

在有序搜索中，如果节点x在希望树中，若x是 （），则其所有子节点都在希望树中。

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

Teacher(father(Zhan))的个体是 （）