从Bengio演讲发散开来:探讨逻辑推理与机器学习(13)