arXiv:2604.10604cs.IRcs.AI2026-04被引 2

让神经嵌入具备逻辑运算能力,无需重新训练即可实现精准检索。

NSFL: A Post-Training Neuro-Symbolic Fuzzy Logic Framework for Boolean Operators in Neural Embeddings

论文配图:NSFL: A Post-Training Neuro-Symbolic Fuzzy Logic Framework for Boolean Operators in Neural Embeddings
图 1 · 摘自论文原文
  • 用模糊逻辑规则在嵌入空间中直接操作,不依赖模型重训练。
  • 在6种编码器上提升mAP最高达81%,零样本模型也增益20%。
  • 适合需要动态逻辑查询的场景,如智能搜索与推理系统。

标准密集检索器缺乏对多原子逻辑约束的原生计算能力。本文提出神经符号模糊逻辑(NSFL),将形式化的t-范数与t-余范引入神经嵌入空间,无需重训练即可实现逻辑运算。NSFL作为一阶混合演算,以零阶相似度为锚点,利用神经符号增量(NS-Delta)——由上下文融合导出的一阶边际差异——主动调整表示,既保留原子语义,又捕捉领域依赖性,防止传统几何方法常见的表示坍缩与流形逃逸。为支持可扩展实时检索,引入球面查询优化(SQO),通过黎曼优化将模糊公式投影为流形稳定的查询向量。在六种不同编码器配置及两种模态(含零样本与SOTA微调模型)上验证,NSFL使mAP最高提升81%。值得注意的是,即使应用于专为逻辑推理微调的编码器,仍带来平均20%、最高47%的增益。该框架建立了一个无需训练、感知顺序的高维空间演算体系,为未来动态扩展与学习型流形逻辑奠定基础。

原文摘要 · Abstract (English)

Standard dense retrievers lack a native calculus for multi-atom logical constraints. We introduce Neuro-Symbolic Fuzzy Logic (NSFL), a framework that adapts formal t-norms and t-conorms to neural embedding spaces without requiring retraining. NSFL operates as a first-order hybrid calculus: it anchors logical operations on isolated zero-order similarity scores while actively steering representations using Neuro-Symbolic Deltas (NS-Delta) -- the first-order marginal differences derived from contextual fusion. This preserves pure atomic meaning while capturing domain reliance, preventing the representation collapse and manifold escape endemic to traditional geometric baselines. For scalable real-time retrieval, Spherical Query Optimization (SQO) leverages Riemannian optimization to project these fuzzy formulas into manifold-stable query vectors. Validated across six distinct encoder configurations and two modalities (including zero-shot and SOTA fine-tuned models), NSFL yields mAP improvements up to +81%. Notably, NSFL provides an additive 20% average and up to 47% boost even when applied to encoders explicitly fine-tuned for logical reasoning. By establishing a training-free, order-aware calculus for high-dimensional spaces, this framework lays the foundation for future dynamic scaling and learned manifold logic.

逻辑推理嵌入空间模糊逻辑检索增强

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