待验证50% 置信事实精确时间

LGMT 内置了 20 种蜕变关系，这些关系建立在一阶逻辑的基础上，例如交换前提顺序、对等价命题做替换、调整量词结构等。

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/26

首次发现

有效期至：2027/1/24

来源

LGMT：用蜕变关系检测大模型逻辑推理的一致性漏洞

涉及实体

LGMTproduct 一阶逻辑concept

相关事实

待验证LGMT 是一个开源工具，通过基于一阶逻辑的蜕变关系来检测大语言模型的推理不一致性。67% 相似待验证研究分析了协议自身特征（复杂度、状态数量、转换逻辑清晰度）与 LLM 推理表现之间存在关联62% 相似待验证逻辑回归既可做二分类也可做多分类61% 相似待验证ml-intern的多后端设计遵循依赖倒置原则，Agent逻辑不依赖具体LLM实现而是依赖统一抽象接口61% 相似待验证前置条件与后置断言的设计借鉴了形式化方法中的霍尔逻辑（Hoare Logic）思想60% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1098629

API

curl https://kongchang.com/api/v1/knowledge/claims/1098629

MCP

get_claim(id=1098629)