判断题 鲁宾逊归结原理中空子句是不可满足的，若一个子句集包含空子句集，则这个子句集一定是不可满足的。

判断题 当使用梯度下降执行监督训练时，每步梯度计算并不需要完整地运行整个网络的前向传播和反向传播。

判断题 通过一种通用的搜索机制，串联基本推理步骤来寻找完全解的方法被称为弱方法。