arXiv:2603.14918stat.MLcs.LG2026-03中稿 · IFAC World Congres…

用贝叶斯方法提升物理模型缺失时的可解释性与可信度

Bayesian Symbolic Regression for Missing Physics

  • 采用贝叶斯符号回归,通过马尔可夫链采样表达式树后验分布
  • 在洛特卡-沃尔泰拉系统中恢复出带置信度的微分方程形式
  • 适用于需要可解释模型的生物反应器等复杂系统建模

基于模型的(生物)过程系统常因对底层物理、化学或生物规律认知不全而受限。通用微分方程将神经网络嵌入微分方程,可从实验数据中学习缺失的物理机制。但神经网络本身不可解释,需通过符号回归转化为可读数学表达式。传统基于遗传算法的符号回归仅提供点估计,无法量化发现方程的置信度。本文提出贝叶斯符号回归,利用可逆跳跃马尔可夫链蒙特卡洛(Reversible Jump MCMC)对符号表达式树的后验分布进行采样,自然量化模型结构的不确定性。我们在洛特卡-沃尔泰拉捕食者-猎物系统上验证该方法,并证明合理设计的实验能显著降低连续流生物反应器案例中的不确定性。

原文摘要 · Abstract (English)

Model-based approaches for (bio)process systems often suffer from incomplete knowledge of the underlying physical, chemical, or biological laws. Universal differential equations, which embed neural networks within differential equations, have emerged as powerful tools to learn this missing physics from experimental data. However, neural networks are inherently opaque, motivating their post-processing via symbolic regression to obtain interpretable mathematical expressions. Genetic algorithm-based symbolic regression is a popular approach for this post-processing step, but provides only point estimates and cannot quantify the confidence we should place in a discovered equation. We address this limitation by applying Bayesian symbolic regression, which uses Reversible Jump Markov Chain Monte Carlo to sample from the posterior distribution over symbolic expression trees. This approach naturally quantifies uncertainty in the recovered model structure. We demonstrate the methodology on a Lotka-Volterra predator-prey system and then show how a well-designed experiment leads to lower uncertainty in a fed-batch bioreactor case study.

符号回归贝叶斯方法可解释模型生物过程

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。