科学家们的目标是发现能够准确描述实验数据的有意义的公式。自然现象的数学模型可以根据领域知识手动创建,或者也可以使用机器学习算法从大型数据集自动创建。学界已经研究了表示相关先验知识与相关函数模型合并的问题,认为寻找与一般逻辑公理先验知识一致的模型,是一个悬而未决的问题。
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-Ready劳动力”一词,但是在供应链行业中确实意味着什么? 供应链管理协会(ASCM)首席执行官安倍·埃什肯纳齐(Abe Eshkenazi)表示,它表示能够评论家的专业人员

分散的AI革命正在悄悄地获得动力。 本周五在德克萨斯州奥斯汀,Bittensor最终游戏峰会标志着一个关键的时刻,将分散的AI(DEAI)从理论转变为实际应用。 与闪闪发光的广告不同

企业AI面临数据集成挑战 企业AI的应用面临一项重大挑战:构建能够通过持续学习业务数据来保持准确性和实用性的系统。NeMo微服务通过创建Nvidia所描述的“数据飞轮”来解决这个问题,允许AI系统通过持续接触企业信息和用户互动来保持相关性。 这个新推出的工具包包含五个关键微服务: NeMo Customizer 处理大型语言模型的微调,具有更高的训练吞吐量。 NeMo Evaluator 提供针对自定义基准的AI模型简化评估。 NeMo Guardrails 实施安全控制,以保持合规性和适当的

AI:艺术与设计的未来画卷 人工智能(AI)正以前所未有的方式改变艺术与设计领域,其影响已不仅限于业余爱好者,更深刻地波及专业人士。AI生成的艺术作品和设计方案正在迅速取代传统的素材图片和许多交易性设计活动中的设计师,例如广告、社交媒体图片生成和网页设计。 然而,专业艺术家和设计师也发现AI的实用价值。他们将AI作为辅助工具,探索新的美学可能性,融合不同的风格,创造新颖的视觉效果。AI帮助艺术家和设计师自动化重复性任务,提出不同的设计元素并提供创意输入。 AI支持风格迁移,即将一种图像的风格应用

Zoom最初以其视频会议平台而闻名,它通过创新使用Agentic AI来引领工作场所革命。 最近与Zoom的CTO XD黄的对话揭示了该公司雄心勃勃的愿景。 定义代理AI 黄d

AI会彻底改变教育吗? 这个问题是促使教育者和利益相关者的认真反思。 AI融入教育既提出了机遇和挑战。 正如科技Edvocate的马修·林奇(Matthew Lynch)所指出的那样

美国科学研究和技术发展或将面临挑战,这或许是由于预算削减导致的。据《自然》杂志报道,2025年1月至3月期间,美国科学家申请海外工作的数量比2024年同期增加了32%。此前一项民意调查显示,75%的受访研究人员正在考虑前往欧洲和加拿大寻找工作。 过去几个月,数百项NIH和NSF的拨款被终止,NIH今年的新拨款减少了约23亿美元,下降幅度接近三分之一。泄露的预算提案显示,特朗普政府正在考虑大幅削减科学机构的预算,削减幅度可能高达50%。 基础研究领域的动荡也影响了美国的一大优势:吸引海外人才。35

Openai推出了强大的GPT-4.1系列:一个专为现实世界应用设计的三种高级语言模型家族。 这种巨大的飞跃提供了更快的响应时间,增强的理解和大幅降低了成本


热AI工具

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

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

Undress AI Tool
免费脱衣服图片

Clothoff.io
AI脱衣机

Video Face Swap
使用我们完全免费的人工智能换脸工具轻松在任何视频中换脸!

热门文章

热工具

SublimeText3 Mac版
神级代码编辑软件(SublimeText3)

MinGW - 适用于 Windows 的极简 GNU
这个项目正在迁移到osdn.net/projects/mingw的过程中,你可以继续在那里关注我们。MinGW:GNU编译器集合(GCC)的本地Windows移植版本,可自由分发的导入库和用于构建本地Windows应用程序的头文件;包括对MSVC运行时的扩展,以支持C99功能。MinGW的所有软件都可以在64位Windows平台上运行。

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

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

记事本++7.3.1
好用且免费的代码编辑器