arXiv:2606.22485cs.AIcs.CL2026-06中稿 · KR 2026

让AI决策像交响乐一样动态协同,既灵活又可审计。

VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning Workflows

论文配图:VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning Workflows
图 1 · 摘自论文原文
  • 用大模型生成可解释的推理流程,逻辑规则由Datalog+/-引擎执行。
  • 在真实金融场景中实现高可解释性,处理大规模数据仍高效。
  • 适合需要透明、可靠决策的金融、医疗等关键领域应用。

现实世界中的决策极少遵循固定流程,而是随新信息动态演化。传统业务流程管理系统虽严谨可审计,但难以实时调整;基于大语言模型(LLM)的智能体系统灵活却缺乏透明度,且在大数据集上扩展性差。为此,我们提出VADAOrchestra,一种神经符号框架,将复杂工作流建模为持续演化的推理过程。给定用户查询和数据源,一个基于LLM的编排器逐步规划并适应工作流,将其编码为Datalog+/-片段:谓词对应工具调用,规则包含预定义领域依赖及按需合成的逻辑构造以操作中间结果。所有逻辑推理由先进的Datalog+/-符号引擎执行,确保可验证的推理轨迹,支持全过程可审计与可复现。通过解耦高层编排与符号推理,该框架克服了可扩展性瓶颈,实现了对大规模数据的精准查询与复杂推理。我们在真实金融场景中评估,证明其相比标准智能体架构具有更高的忠实度、可扩展性与可解释性。

原文摘要 · Abstract (English)

Decision-making in real-world settings rarely follows a fixed script. Instead, it unfolds as a dynamic reasoning process in which the appropriate course of action evolves as new context and data become available. Traditional Business Process Management systems provide rigor, determinism, and auditability, yet they generally struggle to adapt their execution at runtime. Conversely, agentic systems based on Large Language Models (LLMs) bring flexibility to decision-making, but they are inherently opaque, often unreliable, and suffer from significant scalability constraints when operating over large datasets. To combine these complementary paradigms, we introduce VADAOrchestra, a neurosymbolic framework that models complex workflows as evolving reasoning processes. The framework adopts a hybrid approach: given a user query and a collection of data sources, an LLM-based orchestrator incrementally plans and adapts the workflow. This is encoded as a logic program in a fragment of Datalog+/- where predicates correspond to tool invocations and rules represent both predefined domain dependencies and logic constructs synthesized on demand to manipulate intermediate results. All logical inference tasks are then executed by a state-of-the-art Datalog+/- symbolic engine. This approach provides a verifiable reasoning trace, supporting the auditability and reproducibility of the entire process. Furthermore, by decoupling high-level orchestration from symbolic inference, it addresses scalability concerns, enabling complex reasoning over large datasets through targeted data querying. We evaluate VADAOrchestra on real-world financial use cases, demonstrating faithfulness, scalability, and explainability compared to standard agentic architectures.

神经符号智能体可解释性工作流

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