IndustryAssetEQA: A Neurosymbolic Operational Intelligence System for Embodied Question Answering in Industrial Asset Maintenance¶

会议: ACL 2026
arXiv: 2604.23446
代码: https://github.com/IBM/AssetOpsBench/tree/IndustryAssetEQA/IndustryAssetEQA (有)
领域: 知识图谱 / 工业 / 神经符号 / Embodied QA
关键词: FMEA 知识图谱、Embodied QA、反事实风险、Provenance、工业维护

一句话总结¶

本文把工业资产维护问答重新建模成"具身决策"任务，提出由 episode 化遥测、FMEA 知识图谱、参数化反事实风险模拟器、provenance 校验和安全门组成的神经符号系统 IndustryAssetEQA，在 4 个工业数据集上把结构有效性、反事实方向准确率、解释蕴含率分别提升最多 0.51 / 0.47 / 0.64，并把专家判定的严重过度断言从 28% 压到 2%。

研究背景与动机¶

领域现状：现代工厂依赖运行情报系统对多元遥测、报警流、维修记录进行解读，目前主流做法是在文档和仪表盘上层套一个 LLM，以自然语言界面回答 "为什么故障 / 怎么处理 / 干预后会怎样" 这类问题。

现有痛点：实际部署中 LLM 维护助手暴露三类一致性问题——(i) 给出泛泛的故障教科书解释，但根本没绑定到具体 episode 的传感器读数与上下文；(ii) 没有可验证的 provenance，答案不引用对应时间窗、传感器和工单记录，无法审计；(iii) 反事实和动作建议只给出定性结论，缺少明确的风险模型，不能被检验。

核心矛盾：把维护问答框成"语言生成"任务，而它本质是"传感器 + 风险"的决策任务——前者的目标函数只要求流畅与符合语料分布，后者却需要时序定位、证据链和可检验的干预效应，二者错位是泛化失败的根源。

本文目标：构造一个同时满足时间定位、证据可追溯、风险可约束、领域知识对齐 4 个要求的工业 EQA 系统，并设计专门衡量"可部署可靠性"而非"语言流畅度"的评测协议。

切入角度：作者注意到 Embodied AI 的感知→推理→预测→决策环路与工业维护工作流（感知遥测→诊断故障→规划干预→执行维护）在结构上同构，因此把维护问答显式建成具身决策问题；同时用神经符号融合让 LLM 的自由文本被 FMEA 知识图谱和 episodic store 双重锚定。

核心 idea：用 episode 化事实 + FMEA-KG + 多项式 logistic 反事实模拟器 + provenance 强制 + 安全门，把 LLM 包成一个只能"在已给证据上回答"的具身 QA 服务。

方法详解¶

整体框架¶

输入是操作员在 CMMS 前端输入的自然语言查询；系统先按 5 类 QA 任务（描述 / 时序 / 诊断 / 反事实 / 动作建议）做问题分类，再走 6 个模块组成的流水线：

Fact Extractor：把遥测时间序列切成以失败时刻 \(t_f\) 为锚的固定窗口 \([t_f-\Delta, t_f]\)，对每个数值传感器 \(s\) 抽取摘要描述符 \(\mathcal{F}_s = \{\mu_s, \sigma_s, \min_s, \max_s, \text{trend}_s\}\)，并拼接错误事件计数、距上次维护小时数等上下文特征，加上 FMEA-KG 的资产 / 故障 / 传感器语义，输出带全 provenance 的 episode JSONL。
Episodic Store：SQLite 双表（facts + features）存储 episode 级事实，按 fact_id 索引，支持按资产、标签、阈值条件 \(\{f_i \mid x_{i,j} \bowtie \tau\}\) 高效检索。
FMEA-KG：基于 ISO 文档由 EMPWR 平台构建的领域知识图谱，含 63 种故障模式 × 9 类资产，节点是资产类 / 子部件 / 故障模式 / 传感器抽象 / 维护动作，边是 affects / component_of / indicated_by / mitigated_by，用 rdflib 在流水线节点注入符号约束。
Causal Simulator：在 episode 特征上训练多项式 logistic 回归近似 \(P(y \mid \bm{x})\)，把维护干预建模为对特征向量的显式 do-替换 \(\bm{x} \mapsto \bm{x}^{\text{do}}\)，输出干预前后风险 \(r_{\text{before}} = 1 - P(y=\text{healthy} \mid \bm{x})\) 与 \(r_{\text{after}} = 1 - P(y=\text{healthy} \mid \bm{x}^{\text{do}})\) 以及方向 \(\Delta r\)。
EQA Builder + Prompt Builder：按 QA 类型确定性地构造问题、抽取答案模板、查询 FMEA-KG 补全失败模式元数据，再把证据块（fact_id、资产、源、行号、窗口、关键特征、FMEA 上下文）渲染成严格 JSON 输出契约的 prompt（要求字段 direct_answer / reasoning_answer / provenance / confidence，反事实任务还强制含 risk_before / risk_after / direction）。
Verifier + Safety Gate：把 LLM 输出对回 Episodic Store 做结构 + provenance + 反事实方向一致性校验，未通过则打标记并路由人审。

关键设计¶

FMEA 知识图谱作为神经符号融合层：
- 功能：把领域专家经 ISO 文档审定的失败模式、传感器签名、可允许干预编码为可机器解释的图，作为 LLM 之外的硬约束。
- 核心思路：节点和关系覆盖资产→子部件→故障模式→传感器/动作的完整闭环，LLM 输出的"失败模式"必须能在 KG 中找到对应节点，否则被 Verifier 判失败；从 1004 条候选三元组中 96% 被 ISO 风格规约的文本蕴含模型判为有效，证明 KG 本身高质量。
- 设计动机：纯 LLM 解释经常引用错误的故障模式或编造传感器，需要一个可审计的符号锚来约束语义。
Episode-centric + Provenance 强制：
- 功能：把所有问答都锚定在"某资产 + 某时间窗"的离散 episode 上，并强制 LLM 在 JSON 中给出可回查的 fact_id / 窗口 / 引用传感器。
- 核心思路：Fact Extractor 给每个 episode 产 JSONL，含源文件、时间范围、计数等 provenance；Prompt Builder 给 LLM 的指令是"只能用提供的证据"，Verifier 把回答里引用的 fact_id 和特征值对回 Episodic Store 做核对，对不上号就拒绝。
- 设计动机：消融实验显示去掉 provenance 强制会让 Full Pass 从 0.89 崩到 0.19——即把数值预测从可部署直接打回不可用，这是论文中收益最大的单一组件。
参数化反事实风险模拟器：
- 功能：把"如果换轴承会怎样"这种 what-if 问题转化为对特征向量分量的显式替换，再用多项式 logistic 输出干预前后健康概率与风险变化方向。
- 核心思路：用统一的 \(P(y \mid \bm{x})\) 同时支持诊断和反事实，反事实时只把对应特征改成新值就能算 \(\Delta r\)，配合一个基于概率极端度的轻量信心启发式；该估计器输出也喂给 Safety Gate 用阈值过滤低信心建议。
- 设计动机：无模拟器基线在反事实方向准确率上只有 0.45（接近随机抛硬币），表明 LLM 单靠语言先验无法预测干预效果；加上简单的代理模型就把准确率拉到 0.88-0.91。

损失函数 / 训练策略¶

只有 Causal Simulator 需要训练：在 episode 特征向量 \(\bm{x}\) 上拟合多项式 logistic 回归学 \(P(y \mid \bm{x})\)，标签 \(y\) 取 "healthy" 或各失败模式名，目标是标准多类交叉熵。健康 episode 通过选中心时刻 \(t\) 满足后续 \([t, t+H]\) 无失败、然后回看 \([t-\Delta, t]\) 采样。LLM 部分全部黑盒 API 调用（GPT-4o-mini 和 Claude Sonnet 4），不做任何微调。

实验关键数据¶

主实验¶

四个工业数据集：Microsoft PdM（旋转机械，5716 episodes）、C-MAPSS（涡扇引擎，4842）、Genesis CPS（信息物理系统，478）、Hydraulic（液压试验台，2205），合计 13k+ episodes 与 12k+ 描述 / 11k 诊断 / 3k 反事实 / 3k 动作建议 QA。专家审定为 ground truth。

GPT-4o-mini 上从 LLM-only 到 Full IndustryAssetEQA 的逐级提升：

配置	Struct.OK	Prov.OK	Label Cons.	CF Acc.	Entail.Pass	Claim Prec.
LLM-only	0.42	0.47	0.62	0.45	0.08	0.12
+ Episodic	0.52	0.62	0.71	0.45	0.23	0.25
+ Episodic + KG	0.52	0.62	0.73	0.45	0.56	0.51
+ Provenance	0.82	0.83	0.89	0.45	0.63	0.59
Full IndustryAssetEQA	0.88	0.89	0.94	0.88	0.72	0.67

Claude Sonnet 4 上 Full 拿到 Struct.OK 0.90、CF Acc. 0.91、Entail.Pass 0.78，趋势完全一致。反事实方向准确率从 0.45 直接跳到 0.88-0.91，说明这部分必须靠模拟器，LLM 自己解决不了。

消融实验（GPT-4o-mini）¶

配置	Entail.Pass	Full Pass	CF Acc.
Full IndustryAssetEQA	0.72	0.89	0.88
w/o Risk simulator	0.59	0.72	0.49
w/o Provenance enforcement	0.42	0.19	0.81
w/o FMEA-KG	0.59	0.35	0.61
w/o Episodic memory	0.27	0.36	0.34

关键发现¶

Provenance 强制是单点收益最大的组件——去掉它 Full Pass 从 0.89 暴跌到 0.19，意味着没有引用核验的数值预测就是不可部署的"幻觉数字"。
Risk simulator 几乎是反事实推理的唯一来源：去掉后 CF Acc. 从 0.88 跌到 0.49（接近随机），但对 Entail.Pass / Full Pass 影响有限，说明语言层面的合理性与因果方向是两件事。
Episodic memory 是地基：拿掉所有指标全崩（Entail.Pass 0.27、Full Pass 0.36、CF Acc. 0.34），表明 episode 化是其他模块得以落地的前提。
专家盲评 22 对 QA：IndustryAssetEQA 答案可回答率 97%（LLM-only 46%），数据 grounding 4.5/5（LLM-only 3.0/5），严重过度断言 2% vs 28%，组间 Fleiss \(\kappa = 0.63\)。McNemar 检验在描述 / 诊断 / 反事实上显著（\(p < 0.05\)），在动作建议上不显著（\(p=0.93\)），暗示动作类问题需要更多结构化建模，仅换模型无解。

亮点与洞察¶

把工业问答从"语言生成"重新定义为"具身决策"是清晰的范式转换：四个 desiderata（time-situated / evidence-grounded / risk-constrained / knowledge-grounded）直接对应了 LLM-only 系统的四类典型失败，论证非常自然。
Provenance 强制 + JSON 契约的组合极具可迁移性——任何 LLM 应用只要让模型在结构化字段里引用可回查 ID，再做后置 Verifier，就能用极小的工程成本把"幻觉数字"挡掉，这一招对法律、医疗、金融文档问答同样适用。
用多项式 logistic 当"轻量代理因果模型"是务实之举：作者明确说这不是真正的结构因果模型，但比起 LLM 拍脑袋已经把方向准确率从 0.45 拉到 0.88，性价比极高，给 RAG + 工具调用类系统一个明确启示——只要工具输出能约束 LLM 的关键决策维度，不必上沉重的因果发现。

局限与展望¶

反事实模块是参数化代理估计器而非可识别的结构因果模型，输出是 surrogate risk 而非证明级因果效应，可能在分布漂移或新故障模式下方向反转。
FMEA-KG 在 description / involves 等语义关系上覆盖好，但 sample / example 类结构弱关系噪声较高（<10% 验证率），且是领域级而非资产级，对罕见故障模式覆盖不足。
Episode 用固定窗口可能漏掉多尺度或长时程的前兆，自适应窗口仍是空白；评估也全部离线，尚无真实操作员的延迟、上报率、人审采纳率数据。
全流水线相对 LLM-only 增加了工程和运行时开销，作者承认在边缘部署或低延迟场景需要在置信阈值、重训练频率上做取舍。

评分¶

新颖性: ⭐⭐⭐⭐ 框架重定义（语言生成 → 具身决策）+ 四要素分解清晰，但每个单一组件（KG / provenance / 代理模型）单看都不算新。
实验充分度: ⭐⭐⭐⭐⭐ 4 个工业数据集 × 5 类 QA × 2 主流 LLM，逐级消融 + 专家盲评 + McNemar 显著性 + KG 三元组验证，证据链非常完整。
写作质量: ⭐⭐⭐⭐ 动机叙事流畅，5 个 RQ 把实验组织得很清楚；缺点是图表内联在文本中，部分模块描述靠附录。
价值: ⭐⭐⭐⭐⭐ 给出了工业 LLM 部署的可落地蓝图，AssetOpsBench 已在 IBM 内部集成，对所有"高风险 + LLM"的领域都有直接借鉴意义。