用符号验证提升流体模拟智能体的物理可靠性。
PhyNiKCE: A Neurosymbolic Agentic Framework for Autonomous Computational Fluid Dynamics
- 将神经规划与符号验证分离,强制遵守物理守恒律。
- 在OpenFOAM上实现96%性能提升,减少59%纠错循环。
- 适合需要高可靠性的工业仿真自动化场景。
自主智能体在计算流体动力学(CFD)中的应用受限于大语言模型(LLM)的不确定性,难以满足物理模拟所需的严格守恒律与数值稳定性。依赖纯语义检索增强生成(RAG)常导致“上下文污染”,生成语法合理但物理无效的配置。为此,本文提出PhyNiKCE(物理与数值知识型上下文工程)框架,一种可信赖的神经符号智能体架构。不同于黑箱代理,PhyNiKCE将神经规划与符号验证解耦,采用符号知识引擎将仿真设置建模为约束满足问题,通过专用检索策略的确定性RAG引擎严格强制物理约束,涵盖求解器、湍流模型与边界条件。在实际非教程级CFD任务中,基于Gemini-2.5-Pro/Flash的开放验证表明,该框架相较现有最佳基线实现96%相对性能提升。同时,通过知识驱动初始化替代试错,使自主自我修正循环减少59%,并降低LLM token消耗17%。结果表明,解耦神经生成与符号约束强化能显著提升鲁棒性与效率。尽管在CFD中验证,该架构可扩展至更广泛的工业自动化可信人工智能领域。
原文摘要 · Abstract (English)
The deployment of autonomous agents for Computational Fluid Dynamics (CFD), is critically limited by the probabilistic nature of Large Language Models (LLMs), which struggle to enforce the strict conservation laws and numerical stability required for physics-based simulations. Reliance on purely semantic Retrieval Augmented Generation (RAG) often leads to "context poisoning," where agents generate linguistically plausible but physically invalid configurations due to a fundamental Semantic-Physical Disconnect. To bridge this gap, this work introduces PhyNiKCE (Physical and Numerical Knowledgeable Context Engineering), a neurosymbolic agentic framework for trustworthy engineering. Unlike standard black-box agents, PhyNiKCE decouples neural planning from symbolic validation. It employs a Symbolic Knowledge Engine that treats simulation setup as a Constraint Satisfaction Problem, rigidly enforcing physical constraints via a Deterministic RAG Engine with specialized retrieval strategies for solvers, turbulence models, and boundary conditions. Validated through rigorous OpenFOAM experiments on practical, non-tutorial CFD tasks using Gemini-2.5-Pro/Flash, PhyNiKCE demonstrates a 96% relative improvement over state-of-the-art baselines. Furthermore, by replacing trial-and-error with knowledge-driven initialization, the framework reduced autonomous self-correction loops by 59% while simultaneously lowering LLM token consumption by 17%. These results demonstrate that decoupling neural generation from symbolic constraint enforcement significantly enhances robustness and efficiency. While validated on CFD, this architecture offers a scalable, auditable paradigm for Trustworthy Artificial Intelligence in broader industrial automation.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。