《Journal of Marine Science and Engineering》：Minimal-Context Applicability Qualification for Ship-Regulation Question Answering Under Partial Vessel Context
编辑推荐：
不完整的船舶信息仍可决定某项船舶法规条款是否适用。研究人员提出最小上下文适用性资格判定（Minimal-Context Applicability Qualification，MCAQ），用于在部分船舶上下文的所有可允许补全状态下，基于源验证（source-v
不完整的船舶信息仍可决定某项船舶法规条款是否适用。研究人员提出最小上下文适用性资格判定（Minimal-Context Applicability Qualification，MCAQ），用于在部分船舶上下文的所有可允许补全状态下，基于源验证（source-validated）的法规语义检验条款适用性。在系统可解析信息与确定性依赖被纳入后，澄清仅局限于可能改变判定结果的用户可查询事实。一项验证性评测采用中国船级社（China Classification Society，CCS）R001-2025中的25个有效适用性边界与100个匹配案例，语义与引用在模型评测前冻结。与原始证据推理相比，经验证的结构化语义表示在区分“部分但可判定”与“未解决”上下文的条款级判别力更强：Qwen3-32B-AWQ由60%升至100%，gpt-oss-20b由52%升至84%，分别提升40与32个百分点；形式化决策关键澄清集的精确恢复率分别达96%与80%。该对比评估的是法规与已知/未知船舶状态表示的联合变化；上述增益描述语言模型条件，而确定性MCAQ形式化参考单独评测。上下文不完整本身并不决定澄清需求。MCAQ提供了一种形式化适用性保障层，补充权威证据检索与法规解释；实质性技术合规仍属独立评估。
该研究面向船舶法规问答中的适用性判定问题。船舶设计依赖分类规则与技术规范，但某一条款是否对具体船舶生效，并不由规则书整体直接决定，而取决于船型、尺度、总吨位、服务航区、铺龙骨与检验日期、继承性章节范围以及排除性或条件性适用条款。现有检索增强与语言模型方法能找到相关条款，却未回答：已知船舶事实是否足以固定适用结论。部分上下文中，未知属性可能并不改变决策，单个缺失事实也可能使相反结论同时成立，因此核心标准是“决策充分性”而非“信息完整性”。
研究人员提出最小上下文适用性资格判定（MCAQ，Minimal-Context Applicability Qualification，即在部分观测船舶状态下判定法规条款适用性的形式化框架）。MCAQ在源验证的适用性谓词基础上，对所有满足声明语义的可允许补全做双可满足性（dual satisfiability）检验：若正向与反向适用同时可行，则判定为未解决；若仅一侧可行，则直接给出适用或不适用结论。未解决时，MCAQ通过上下文相对变量关键性（context-essentiality）识别能改变判决的未知坐标，并在系统侧常量绑定、确定性派生量代入后，将澄清限定于最小精确值一次性查询集。整个流程区分用户可查询变量、系统可解析变量、派生量与法规固定常量四类信息归属。
关键技术方法上，研究人员以中国船级社《钢质海船入级规则2025》（R001-2025，2025年6月12日发布、7月1日生效）为固定法规来源，经源语义闭环、可分离适用性守卫、可执行片段兼容性与C可接纳性筛选，构建25个有效适用性决策边界，每个边界配套完整适用、完整不适用、部分可判定、部分未解决四情境匹配集，共100案例；案例级参考由盲态领域专家独立判定，形式化参考由冻结MCAQ语义经SMT（Satisfiability Modulo Theories，可满足性模理论）求解器Z3生成；模型端比较原始证据推理B1与结构化语义表示B2两类输入表征。
研究结果如下。
效应：结构化语义表示对澄清判别的提升。规则级C/D澄清判别成功率在Qwen3-32B-AWQ由B1的60%升至B2的100%，gpt-oss-20b由52%升至84%，经Holm校正后仍显著。说明显式守卫与已知/未知标注降低了模型从原始文本重建适用条件的负担。
缺失性与决策相关不确定性。缺失字段启发式B3对所有含未知变量的C、D情境均请求澄清，在可判定C情境产生100%不必要澄清；MCAQ参考则只在D情境判未解决。B2下Qwen在C情境无不必要澄清，D情境全部适当澄清；gpt-oss在C情境无不必要澄清，D仅存严格无效输出。
未解决情境的决策关键澄清。D案例形式化决策关键集均为单元素。精确关键变量恢复率Qwen由B1的0%升至B2的96%，gpt-oss由4%升至80%；B2残留错误主要来自规范映射失败与非最小请求，而非语义错位。
重复稳定性与失效特征。三次推理重复中B2优势方向一致；1200次调用全部完成，仅gpt-oss出现14次严格解析无效输出，分为格式违规与语义推理两类失效，无事后修复。
互补验证。32例盲态人工评定与既有参考31例一致；25个合成最小查询用例与1个双未知源接地CCS条款经独立枚举 oracle 校验通过；四臂表征因子分析因集群数少且近天花板，未能分离单一组件贡献。
讨论与结论部分指出，MCAQ将适用性资格与实质性合规解耦：前者是逻辑充分性判定，后者仍需独立技术评估。句法层面的“信息缺失”不等于“决策相关不确定性”，结构化语义表示带来的是联合表征收益而非单一模块证明。识别“是否需要澄清”与“澄清什么”是两层能力；MCAQ在乘积域与精确值单次查询假设下给出最小查询集，自适应、噪声与成本敏感策略需另设目标。
结论可译为：在不完整船舶上下文下，MCAQ通过对可允许补全的空间推理，提供了可追溯、可判定的条款适用性保障层；其与权威证据检索、规则即代码（Rules-as-Code）表示及语言模型推理结合，可显著提升船舶法规问答中“该不该答、该问什么”的可靠性，而不替代对实质性技术合规的后续审查。
论文解读已形成，接下来可以选择一个深化方向：
把MCAQ形式化定义改写成教材式讲解 从审稿人角度列出方法与实验的质疑点 把MCAQ形式化定义改写成教材式讲解 从审稿人角度列出方法与实验的质疑点
