arXiv:2607.01595cs.AIcs.CL2026-07

用神经符号模型验证大模型生成的云故障恢复方案,实现更智能自适应修复。

Safe and Adaptive Cloud Healing: Verifying LLM-Generated Recovery Plans with a Neural-Symbolic World Model

论文配图:Safe and Adaptive Cloud Healing: Verifying LLM-Generated Recovery Plans with a Neural-Symbolic World Model
图 1 · 摘自论文原文
  • 将故障恢复视为神经符号程序合成任务,大模型生成结构化修复计划。
  • 在真实云故障数据集上,平均恢复时间缩短超40%,未知故障检测准确率提升。
  • 适合关注AI运维自动化、系统自愈能力的研究者与工程师。

随着基于云的AI系统规模与复杂度持续增长,通过快速故障检测与自适应恢复保障服务可靠性已成为关键挑战。现有方法虽结合大语言模型(LLM)进行语义理解与深度强化学习(DRL)优化策略,但多采用顺序、松耦合架构,未能充分发挥LLM的生成与推理能力。本文提出PASE——一种规划感知的语义自愈引擎,将恢复重构为神经符号程序合成任务。PASE利用LLM作为核心计划生成引擎,从语义原语库中生成结构化恢复计划;神经符号世界模型通过仿真验证计划可行性;元提示优化器通过DRL训练,学习生成最优提示以引导LLM的规划过程。该紧密的‘推理-规划-验证-适应’闭环,支持动态、上下文感知的恢复策略生成,突破预定义动作空间限制。在真实云故障注入数据集上的实验表明,PASE显著优于当前最先进方法,平均恢复时间减少超40%,在未知故障场景下故障检测准确率提升。本框架通过融合大模型推理、模型辅助验证与元学习引导,推动了自主系统管理的发展。

原文摘要 · Abstract (English)

As the scale and complexity of cloud-based AI systems continue to escalate, ensuring service reliability through rapid fault detection and adaptive recovery has become a critical challenge. While existing approaches integrate Large Language Models (LLMs) for semantic understanding and Deep Reinforcement Learning (DRL) for policy optimization, they often rely on sequential, loosely coupled architectures that underutilize the generative and reasoning capabilities of LLMs. In this paper, we propose a paradigm shift with PASE, a Planning-Aware Semantic self-healing engine, a novel fault self-healing framework that reconceptualizes recovery as a neuro-symbolic program synthesis task. PASE employs an LLM as a core Plan Synthesis Engine to generate structured recovery plans from a library of semantic primitives. A Neural-Symbolic World Model verifies plan feasibility through simulation, while a Meta-Prompt Optimizer, trained via DRL, learns to generate optimal prompts that guide the LLM's planning process. This tight reason-plan-verify-adapt loop enables dynamic, context-aware recovery strategy generation beyond predefined action spaces. Experiments on a real-world cloud fault injection dataset demonstrate that PASE significantly outperforms state-of-the-art methods, reducing average system recovery time by over 40% and improving fault detection accuracy in unknown fault scenarios. Our framework advances autonomous system management by unifying LLM-based reasoning with model-assisted verification and meta-learned guidance.

云自愈大模型神经符号AI运维

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