DeepMind提出了可微分归纳逻辑编程方法∂ILP并进行解读

神经网络的强大功能有目共睹,但它往往需要大量与目标测试领域数据分布相似的训练数据;而用于符号领域的归纳逻辑编程只需少量数据,却无法对抗噪声,适用领域也很狭窄。
deepmind在最近发表的一篇论文中,提出了可微分归纳逻辑编程方法∂ilp,既能解决传统归纳逻辑编程擅长的符号类任务,也对噪声数据、训练集中的误差有一定容忍度,还可以通过梯度下降来训练。
怎么样?我们来看看deepmind在官方博客上对这种方法的解读:
想象一下踢足球的场景,球到了你脚下,你决定把它传给没人盯防的前锋。这个看似简单的行为,需要两种不同的思维。
首先,你认识到自己脚下有一个球,这需要的是直观的感性思维——你没办法简单地描述出你是怎么知道脚下有个球的。
其次,你决定把球传给特定的一个前锋。这个决策需要概念性思维,你的决定依赖于理由——你把球传给这个前锋的原因,是没有人盯防她。
这种区别对我们来说很有意思,因为这两类思维对应着两种不同的机器学习方法:深度学习和符号程序合成(symbolic program synthesis)。
深度学习专注于直观的感性思维,而符号程序合成专注于概念性的、基于规则的思考。这两个系统各有各的优点,深度学习系统能适用于噪声数据,但难以解释,而且需要大量训练数据;符号系统更易于解释,需要的训练数据也更少,但一遇到噪声数据就不行了。
人类认知将这两种截然不同的思维方式无缝结合在了一起,但想要把这种结合复制到一个ai系统里,我们还不太清楚是否可能、如何做到。
我们最近在《jair》期刊(journal of ai research)上发表的论文表明,系统可以将直观的感性思维和概念性的可解释推理结合起来。我们所描述的∂ilp(可微分归纳逻辑编程,differentiable inductive logic programming)系统具有下列特性:抗噪声、数据上很经济、能产生可解释的规则。
我们用一个归纳任务来演示∂ilp的工作原理:
已知一对表示数字的图片,系统需要根据左侧图像数字是否小于右侧图像的数字,输出0或1的标签,如下图所示:
解决这个问题涉及两种思维方式。从图像中认出数字,需要直观的感性思维;要整体理解“小于”关系,则需要概念性的思考。
其实,如果给标准的深度学习模型(例如带有mlp的卷积神经网络)提供足够的训练数据,它能学会有效地解决这个问题,训练完成后给它一对从未见过的新图像,它也可以正确分类。
但实际上,只有每对数字你都给它多个样例,它才能正确地泛化。这个模型擅长视觉上的泛化,比如说测试集中的每一对数字它都见过了,要泛化到新的图像,就很容易(见下图绿色方块)。但它不适用于符号的泛化,比如说它就不能泛化到从未见过的数字(见下图蓝色方块)。
马库斯(gary marcus)、joel grus等研究者最近都撰文指出了这一点。
不同于标准的神经网络,∂ilp能够进行符号的泛化;它和标准的符号程序也不一样,可以进行视觉上的泛化。∂ilp从样例中学习可读、可解释、可验证的,明确的程序。已知部分样例(也就是预期的结果,下图中的desired results),∂ilp能生成一个满足需求的程序。它用梯度下降从程序空间中搜索,如果程序的输出与参考数据需要的输出相冲突,系统就会修改程序以更好地匹配数据。
∂ilp的训练过程如下图所示:
∂ilp能进行符号性的泛化,给它足够多x上图总结了我们的“小于”实验:蓝色曲线表示标准的深度神经网络,无法正确泛化到从未见过的数字对,相比之下,在只用40%数字对训练过的情况下,绿色曲线表示的∂ilp依然能保持较低的测试误差。这表明,∂ilp能够进行符号性的泛化。
我们相信,对于深度神经网络中是否能够实现符号泛化这个问题,我们的系统能够在某种程度上给予答案。今后,我们计划将类似∂ilp的系统集成到强化学习智能体以及更大的深度学习模块中,赋予系统推理、反应的能力。

破5.8GHz AMD Ryzen处理器挑战超频极限
电气元器件损坏率高的原因是什么
全球智能手机存储芯片市场三星占据份额47%
高速PCB布局设计技巧
京东方为华硕独家提供17.3英寸可折叠OLED屏
DeepMind提出了可微分归纳逻辑编程方法∂ILP并进行解读
黑鲨游戏手机2怎么样 值不值得买
空气产品公司中国区总裁被任命为陕西省政府国际高级经济顾问
电源模块是什么?电源模块噪音过大的原因及解决办法
运动控制器哪家好_全球十大运动控制器品牌排行版
九阳净热一体机JYW-RF660,重新定义中式饮水
如何利用现成IP不写代码实现三线制SPI?
ios11正式版已发布!升级后有哪些有趣的新功能和槽点?
区块链的运行机制介绍
优步与其自动驾驶汽车部门进行10亿美元投资 用于开发自动驾驶技术
pcie3.0和4.0差距大吗 怎么看pcie3.0还是4.0
恒大“高举高打”的造车终于迎来了新时刻
并购传感器公司 飞利浦在智能互联路上再下一城
一文解析功率MOS管的五种损坏模式
中兴通讯联合中国移动和腾讯完成了3GPP 5G SA标准的云游戏切片演示