反向推理是以已知事实作为出发点，按照一定的策略，运用知识库中的知识，推断出结论的过程。

A. 紧接于量词之后被量词作用的谓词公式称为该量词的辖域

B. 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元

C. 仅个体变元被量化的谓词成为一阶谓词

D. 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词

A. Weka

B. SAS

C. SPSS

D. Matlab

A. 感知机根据正确的程度进行权重调整；

B. 输入层接收外界输入信号传递给输出层；

C. 输出层是M-P神经元；

D. 感知机能容易实现逻辑与、或、非运算；

A. 训练经验的选择

B. 目标函数的选择

C. 目标函数的表示

D. 函数逼近算法的选择