相关工作
Related Work
2.1 制造本体与语义互操作
制造信息系统中语义异质性问题已研究二十余年。Gruber [6] 将本体的基础定义表述为"概念化的显式规范"；Guarino 等 [7] 将其精炼为信息系统语境。在制造领域，已提出多种本体框架。
Lemaignan 等 [8] 开发了 MASON（MAnufacturing's Semantics ONtology），覆盖制造资源、流程和产品的形式化 OWL 本体。Usman 等 [9] 全面调研制造本体，指出碎片化是核心挑战：不同本体覆盖制造领域不同子集且形式化互不兼容。Biffl 等 [10] 针对信息物理生产系统的语义互操作，提出通过语义中介集成领域特定模型的多模型工程环境。
ISA-95/IEC 62264 标准 [11] 定义企业-控制系统集成的参考模型，其 XML 实现（B2MML）[12] 为制造运营提供类型化、可查询的模式。Scholten [13] 和 Vegetti 等 [14] 将 ISA-95 概念形式化为可计算本体。本工作基于 ISA-95 设备层次模型，但不要求完整 OWL 公理化；设计理由见第 5.2 节。
OPC 统一架构（OPC UA，IEC 62541）[15] 是制造自动化领域主导互操作标准，提供带语义标注的类型化信息模型。OPC UA 配套规范为特定领域定义标准化信息模型（如包装 PackML、塑料 Euromap）。本文所述本体配置可从 OPC UA 地址空间填充：设备层次、标签-实体映射和信号定义等，已在现代生产设备部署的 OPC UA 服务器中建模。AutomationML（IEC 62714）[16] 提供工程数据标准化交换格式，含工厂拓扑、设备层次和信号映射，对应第 5.1.4 节所述跨域实体解析所需。AutomationML 项目文件可作为本体层数据源，但当前工作尚未实现该集成。制造知识图谱近期工作 [17,18] 将图表示应用于制造智能，包括设备维护推理和质量根因分析。Pan 等 [19] 综述知识图谱与 LLM 的交叉，指出参数语义锚定 是开放挑战。本文接口契约（第 5 节）以针对已加载本体的运行时参数验证机制应对此挑战。
2.2 LLM 工具参数语义锚定 与幻觉缓解
LLM 工具使用能力已获广泛研究。Schick 等 [20] 证明语言模型可学习使用外部工具（Toolformer），但其评估使用通用 API 而非领域特定制造查询。Patil 等 [21] 表明 API 特定微调（Gorilla）可减少工具选择与参数生成的幻觉，但对企业词汇表（如听起来合理的 "BOND-1" 键合工位标识符实际系统中不存在）无法消除。标准 AI 工具框架已支持工具参数的模式级约束。OpenAI 函数调用、Anthropic 工具使用 [22] 及开源框架（Outlines、Instructor）强制执行语法约束：参数类型、枚举值和 JSON 模式验证。本工作扩展到语义约束：枚举值非硬编码，而是从已加载本体动态投影，每个值携带关系上下文（故障代码、监管标准、上下游依赖），塑造查询构建。语法与语义约束的区别在第 7.3 节详述。
NeMo Guardrails [23] 和 Guardrails AI 等运行时验证框架通过规则或模型过滤器约束 LLM 输出。这些框架作用于模型文本输出；第 6 节 AIOps 层在执行前作用于工具调用参数，阻止无效查询到达数据库，而非事后过滤无效响应。Ji 等 [24] 和 Huang 等 [25] 提供 LLM 幻觉综合综述；本工作贡献特定幻觉类别，工具参数伪造，区别于事实性幻觉，在制造语境中后果更严重，因为它静默返回错误数据而非明显错误的陈述。
2.3 制造仿真与合成数据
生产系统离散事件仿真已成熟，商业工具（Tecnomatix Plant Simulation、FlexSim、AnyLogic）提供高保真过程建模 [26]。这些工具建模物料流和资源争用，但输出专有格式，而非 CDC 就绪、以 MES 实体结构化的交易记录。CMSD 规范 [27] 定义仿真输入输出的交换格式，但不生成运营记录。统计数据生成器（Synthetic Data Vault [28]、Gretel）产生结构正确的记录，但缺乏相关实体间的因果一致性。本文实验验证所用的数字孪生仿真框架，从领域配置文件生成因果一致、MES 形态的数据。配套论文 [29] 描述仿真架构、Template-as-Ontology 原则（单一配置模块同时作为仿真规范和 AI 工具本体）及详细校准分析。本文中，仿真框架作为在受控条件下测量工具调用幻觉率的实验装置。