作用域语义不变性作为 LLM 可靠性的基础

大语言模型对语义等价查询的一致性受限，任意语义不变性在一般情况下不可判定，论文提出在受限语义域内评估模型行为。 使用知识图谱作为显式语义控制结构，在 MITRE D3FEND 本体和 8 个 Wikidata 派生领域中，发现不一致性集中在围绕重复出现的 TREE、STAR、CYCLE 模式组织的局部热点子图中。