通过 F2 上的代数本体投影控制大语言模型中的逻辑崩溃

本文探讨大语言模型是否在内部以形式可验证的代数结构编码本体关系。作者提出代数本体投影（AOP），在里斯科夫替换原则约束下，将 LLM 隐藏状态投影到伽罗瓦域 F2，仅需 42 个关系对作为代数键。该方法在未见过概念对上实现高达 93.33% 的零样本包含准确率。研究还引入“语义结晶”指标量化约束满足度，并发现系统提示结合指令微调可防止深层逻辑一致性退化。这些发现将前向计算重构为代数组织过程，为构建逻辑结构形式可访问的 LLM 开辟新路径。