GenOR-Twin：一种将运营话语与数学优化集成的语义中间件
GenOR-Twin: A Semantic Middleware for Integrating Operational Discourse with Mathematical Optimization
浏览论文内容
中文总结 AI 辅助
GenOR-Twin是一个神经符号语义中间件，利用大语言模型作为语义翻译器，通过动态约束注入和自适应决策策略，实现运营日志与数学优化的双向耦合，从而构建适应现实不确定性的弹性数字孪生系统。
中文摘要 AI 辅助
我们引入了GenOR-Twin，这是一种神经符号框架，弥合了非结构化运营日志与严谨数学优化之间的翻译鸿沟。我们的架构独特地将大型语言模型定位为语义翻译器而非直接求解器，确保系统保留精确组合方法的可行性保证。我们设计了一种动态约束注入机制（将定性干扰事件实时翻译为形式化数学约束），使系统能够基于定性人类输入实时结构化地修改优化问题的可行域。由此产生的双向耦合——运营观测更新虚拟模型状态，优化决策反映回知识图谱——满足真正数字孪生的同步要求。该框架具有自适应决策策略，通过分析可用系统裕度，自动在低复杂度调度修复与完全重新优化之间进行选择。最后，我们展示了该方法在六个不同优化领域的泛化能力，将静态模型转变为能够适应现实世界运营不确定性和多变性的弹性系统。
英文摘要
We introduce GenOR-Twin, a neuro-symbolic framework that bridges the translation gap between unstructured operational logs and rigorous mathematical optimization. Our architecture uniquely positions Large Language Models as semantic translators rather than direct solvers, ensuring that the system retains the feasibility guarantees of exact combinatorial methods. { \color{red}We design a dynamic constraint injection mechanism (the runtime translation of qualitative disruption events into formal mathematical constraints) that allows the system to structurally modify the optimization problem's feasibility region in real-time based on qualitative human inputs. The resulting bidirectional coupling---where operational observations update the virtual model state and optimized decisions are reflected back into the Knowledge Graph---satisfies the synchronization requirement of a proper Digital Twin. The framework features an adaptive decision policy} that automatically selects between low-complexity schedule repair and full re-optimization by analyzing the available system slack. Finally, we demonstrate the generalization of this approach across six distinct optimization domains, {\color{red}turning static models into resilient systems that adapt to the operational uncertainty and variability of real-world environments.}
发表机构
- Sharkey Predictim Globe（沙基预测环球公司）
- IUT de Béthune, Université d’Artois（阿尔图瓦大学贝蒂讷大学技术学院）
- Federal University of Rio de Janeiro（里约热内卢联邦大学）
- Henan Normal University（河南师范大学）
机构由 AI 辅助整理，请以论文原文为准。
