科学家们的目标是发现能够准确描述实验数据的有意义的公式。自然现象的数学模型可以根据领域知识手动创建,或者也可以使用机器学习算法从大型数据集自动创建。学界已经研究了表示相关先验知识与相关函数模型合并的问题,认为寻找与一般逻辑公理先验知识一致的模型,是一个悬而未决的问题。
IBM 研究团队以及三星 AI 团队的研究人员开发了一种方法「AI-Descartes」,通过将逻辑推理与符号回归相结合,能够从公理知识和实验数据中对自然现象模型进行原则性推导。
该研究以「Combining data and theory for derivable scientific discovery with AI-Descartes」为题,于 2023 年 4 月 12 日发布在《Nature Communications》。
人工神经网络 (NN) 和统计回归通常用于自动发现数据中的模式和关系。NN 返回「黑盒」模型,其中底层函数通常仅用于预测。在标准回归中,函数形式是预先确定的,因此模型发现相当于参数拟合。在符号回归(SR)中,函数形式不是预先确定的,而是由给定列表中的运算符(例如, 、-、× 和 ÷)组成,并根据数据计算得出。
SR 模型通常比 NN 模型更「可解释」,并且需要的数据更少。因此,为了从实验数据中以符号形式发现自然法则,SR 可能比 NN 或固定形式回归更有效;NN 与 SR 的集成一直是神经符号 AI 近期研究的主题。SR 的一个主要挑战是从许多适合数据的模型中识别出具有科学意义的模型。科学家将有意义的函数定义为平衡准确性和复杂性的函数。然而,对于给定的数据集存在许多这样的表达式,并且并非所有表达式都与已知的背景理论一致。
另一种方法是从已知的背景理论开始,但目前还没有实用的推理工具可以从一组已知的公理中生成与实验数据一致的定理。自动定理证明器(ATP)是使用最广泛的推理工具,它可以为给定逻辑理论证明猜想。计算复杂性是 ATP 面临的主要挑战;对于某些类型的逻辑,证明猜想是不可判定的。
此外,当涉及算术和微积分运算符时,使用形式推理工具从逻辑理论推导模型尤其困难。机器学习技术已被用于提高 ATP 的性能,例如,通过使用强化学习来指导搜索过程。
可推导的模型不仅要在经验上准确,而且它们应该是可预测的、有洞察力的。
IBM 研究团队以及三星 AI 团队的研究人员,试图通过将一种新颖的基于数学优化的 SR 方法与推理系统相结合,来获得此类模型。这产生了一个端到端的发现系统「AI-Descartes」,它通过 SR 从数据中提取公式,然后从一组公理中提供公式的可推导性的证明,或提供不一致的证明。当模型可证明不可推导时,研究人员提出了表明公式与可推导公式的接近程度的新度量,并且使用他们的推理系统计算这些度量的值。
图示:系统概述。(来源:论文)
在早期将机器学习与推理相结合的工作中,科学家使用基于逻辑的描述来约束生成图像的 GAN 神经架构的输出。也有团队结合机器学习工具和推理引擎,来搜索满足预先指定约束的函数形式。这是用新点扩充初始数据集,从而提高学习方法的效率和最终模型的准确性。也有团队还利用先验知识来创建额外的数据点。然而,这些研究仅考虑对要学习的函数形式的约束,并没有包含一般背景理论公理(描述现象中涉及的其他定律和未测量变量的逻辑约束)。
该论文的第一作者,三星AI 的研究科学家Cristina Cornelio 表示,AI-Descartes 提供了一些优于其他系统的优势,但它最显着的特点是它的逻辑推理能力。如果有多个候选方程可以很好地拟合数据,系统会识别哪些方程最适合背景科学理论。推理能力也使该系统有别于 ChatGPT 等「生成式 AI」程序,后者的大型语言模型逻辑能力有限,有时还会搞乱基础数学。
「在我们的工作中,我们正在将第一性原理方法与机器学习时代更常见的数据驱动方法相结合,这种方法几个世纪以来一直被科学家用来从现有背景理论中推导出新公式。」Cornelio 说, 「这种结合使我们能够利用这两种方法,并为广泛的应用创建更准确和有意义的模型。」
AI-Descartes 这个名字是对17 世纪数学家和哲学家René Descartes 的致敬,他认为自然世界可以用一些基本的物理定律来描述,逻辑推论在科学发现中发挥了关键作用。
图示:对系统实施的科学方法的解释。 (来源:论文)
该团队的研究人员已经证明,将逻辑推理与符号回归相结合,在获得有意义的物理现象符号模型方面有重要价值;因为它们与背景理论一致,并且在明显大于实验数据的领域中具有很好的概括性。回归和推理的综合产生了比单独通过 SR 或逻辑推理更好的模型。
单个系统组件的改进或替换以及新模块的引入,例如溯因推理或实验设计将扩展整个系统的功能。推理和回归的更深入集成可以帮助合成数据驱动和基于第一性原理的模型,并导致科学发现过程的革命。发现与先验知识一致的模型将加速科学发现,并超越现有的发现范式。
该团队使用模型对开普勒行星运动第三定律、爱因斯坦相对论时间膨胀定律和朗缪尔吸附理论进行了推导;研究表明,当使用逻辑推理来区分在数据上具有相似误差的候选公式时,模型可以从少量数据点中发现支配规律。
图示:相关集合及其距离的可视化。 (来源:论文)
「在这项工作中,我们需要人类专家以正式的、计算机可读的方式写下背景理论的公理是什么,如果人类遗漏了任何或弄错了其中的任何一个,系统将无法工作。」UMBC 化学、生物化学和环境工程助理教授Tyler Josephson 说,「在未来,我们也希望将这部分工作自动化,这样我们就可以探索更多的科学和工程领域。」
最终,该团队希望他们的AI-Descartes 能够像真人科学家一样激发一种富有成效的新科学方法。 「我们工作中最令人兴奋的方面之一是更够在科学研究方面获得重大进展的潜力。」Cornelio 说。
论文链接:https://www.nature.com/articles/s41467-023-37236-y
相关报道:https://techxplore.com/news/2023-04-ai-scientist-combines-theory-scientific.html
以上是新的「AI科学家」结合理论和数据来发现科学方程的详细内容。更多信息请关注PHP中文网其他相关文章!

ai合并图层的快捷键是“Ctrl+Shift+E”,它的作用是把目前所有处在显示状态的图层合并,在隐藏状态的图层则不作变动。也可以选中要合并的图层,在菜单栏中依次点击“窗口”-“路径查找器”,点击“合并”按钮。

ai橡皮擦擦不掉东西是因为AI是矢量图软件,用橡皮擦不能擦位图的,其解决办法就是用蒙板工具以及钢笔勾好路径再建立蒙板即可实现擦掉东西。

虽然谷歌早在2020年,就在自家的数据中心上部署了当时最强的AI芯片——TPU v4。但直到今年的4月4日,谷歌才首次公布了这台AI超算的技术细节。论文地址:https://arxiv.org/abs/2304.01433相比于TPU v3,TPU v4的性能要高出2.1倍,而在整合4096个芯片之后,超算的性能更是提升了10倍。另外,谷歌还声称,自家芯片要比英伟达A100更快、更节能。与A100对打,速度快1.7倍论文中,谷歌表示,对于规模相当的系统,TPU v4可以提供比英伟达A100强1.

ai可以转成psd格式。转换方法:1、打开Adobe Illustrator软件,依次点击顶部菜单栏的“文件”-“打开”,选择所需的ai文件;2、点击右侧功能面板中的“图层”,点击三杠图标,在弹出的选项中选择“释放到图层(顺序)”;3、依次点击顶部菜单栏的“文件”-“导出”-“导出为”;4、在弹出的“导出”对话框中,将“保存类型”设置为“PSD格式”,点击“导出”即可;

ai顶部属性栏不见了的解决办法:1、开启Ai新建画布,进入绘图页面;2、在Ai顶部菜单栏中点击“窗口”;3、在系统弹出的窗口菜单页面中点击“控制”,然后开启“控制”窗口即可显示出属性栏。

Yann LeCun 这个观点的确有些大胆。 「从现在起 5 年内,没有哪个头脑正常的人会使用自回归模型。」最近,图灵奖得主 Yann LeCun 给一场辩论做了个特别的开场。而他口中的自回归,正是当前爆红的 GPT 家族模型所依赖的学习范式。当然,被 Yann LeCun 指出问题的不只是自回归模型。在他看来,当前整个的机器学习领域都面临巨大挑战。这场辩论的主题为「Do large language models need sensory grounding for meaning and u

引入密集强化学习,用 AI 验证 AI。 自动驾驶汽车 (AV) 技术的快速发展,使得我们正处于交通革命的风口浪尖,其规模是自一个世纪前汽车问世以来从未见过的。自动驾驶技术具有显着提高交通安全性、机动性和可持续性的潜力,因此引起了工业界、政府机构、专业组织和学术机构的共同关注。过去 20 年里,自动驾驶汽车的发展取得了长足的进步,尤其是随着深度学习的出现更是如此。到 2015 年,开始有公司宣布他们将在 2020 之前量产 AV。不过到目前为止,并且没有 level 4 级别的 AV 可以在市场

ai移动不了东西的解决办法:1、打开ai软件,打开空白文档;2、选择矩形工具,在文档中绘制矩形;3、点击选择工具,移动文档中的矩形;4、点击图层按钮,弹出图层面板对话框,解锁图层;5、点击选择工具,移动矩形即可。


热AI工具

Undresser.AI Undress
人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover
用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool
免费脱衣服图片

Clothoff.io
AI脱衣机

AI Hentai Generator
免费生成ai无尽的。

热门文章

热工具

适用于 Eclipse 的 SAP NetWeaver 服务器适配器
将Eclipse与SAP NetWeaver应用服务器集成。

PhpStorm Mac 版本
最新(2018.2.1 )专业的PHP集成开发工具

SublimeText3汉化版
中文版,非常好用

螳螂BT
Mantis是一个易于部署的基于Web的缺陷跟踪工具,用于帮助产品缺陷跟踪。它需要PHP、MySQL和一个Web服务器。请查看我们的演示和托管服务。

VSCode Windows 64位 下载
微软推出的免费、功能强大的一款IDE编辑器