A、紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B、在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C、仅个体变元被量化的谓词成为一阶谓词
D、个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
答案：ABCD
解析：见算法解析
A、紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B、在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C、仅个体变元被量化的谓词成为一阶谓词
D、个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
答案：ABCD
解析：见算法解析
A. action
B. reward
C. state
D. agent
解析：见算法解析
A. 符号主义
B. 联结主义
C. 行为主义
D. 仿生主义
A. 智能客服
B. 智能座席
C. 智能运营
D. 智能助理
解析：主要应用
A. [[ 1., 2., 1.],[ 4., 5., 4.]]
B. [[ 4., 5., 4.],[ 4., 5., 4.]]
C. 以上都不对
D. [[ 4., 5., 4.],[ 1., 2., 1.]]
解析：正确
A. 交叉验证
B. 集成方法
C. 增加正则化
D. 特征工程
A. TCP
B. UDP
C. SMB
D. ICMP
解析：ICMP(Internet Control Message Protocol)协议是因特网控制报文协议，ICMP常被认为是网络层协议
A. Java
B. C
C. Scala
D. Python
解析：Keras是一个由Python编写的开源人工神经网络库
A. sigmod函数
B. Relu函数
C. tanh函数
D. ELU函数
解析：见算法解析
解析：自然语言处理被用来理解给定文本数据的含义（语义），而文本挖掘被用来理解给定文本数据的结构（句法）。
