Machine learning models have been successfully used in many scientific and engineering fields. However, it remains difficult for a model to simultaneously utilize domain knowledge and experimental observation data. The application of knowledge-based symbolic AI represented by an expert system is limited by the expressive ability of the model, and data-driven connectionism AI represented by neural networks is prone to produce predictions that violate physical mechanisms. In order to fully integrate domain knowledge with observations, and make full use of the prior information and the strong fitting ability of neural networks, this study proposes theory-guided hard constraint projection (HCP). This model converts physical constraints, such as governing equations, into a form that is easy to handle through discretization, and then implements hard constraint optimization through projection. Based on rigorous mathematical proofs, theory-guided HCP can ensure that model predictions strictly conform to physical mechanisms in the constraint patch. The performance of the theory-guided HCP is verified by experiments based on the heterogeneous subsurface flow problem. Due to the application of hard constraints, compared with fully connected neural networks and soft constraint models, such as theory-guided neural networks and physics-informed neural networks, theory-guided HCP requires fewer data, and achieves higher prediction accuracy and stronger robustness to noisy observations.
翻译:在许多科学和工程领域成功地应用了机器学习模型,然而,对于一个模型来说,仍然很难同时利用域知识和实验观测数据。专家系统代表的基于知识的象征性AI的应用由于模型的显性能力而受到限制,而神经网络代表的数据驱动连接AI则容易产生违反物理机制的预测。为了将域知识充分结合到观测中,充分利用先前的信息和神经网络的强大适当能力,本研究提出了理论引导的硬性约束预测(HCP)。这一模型将物理制约(例如调节等式)转换成一种易于通过离散处理的形式,然后通过预测实施硬性约束优化。根据严格的数学证据,理论引导的HCP可以确保模型预测完全符合制约线的物理机制。理论引导的HCP的性能通过基于混杂的地表下流动问题的实验得到验证。与完全相连的神经网络和软性制约模型相比,例如理论引导的更高性网络和对物理学的精确度的精确度观测,需要更强的HCP的理论导导测测测网络。