概念First-Order Logic / FOL
一阶逻辑
在命题逻辑基础上引入量词（∀、∃）和谓词、函数符号的形式系统，能表达结构化陈述，是逻辑推理题形式化和等价变换的基础。
时间轴 (近 90 天)
10月26日
LGMT 是一个开源工具，通过基于一阶逻辑的蜕变关系来检测大语言模型的推理不一致性。
待验证50%
10月26日
LGMT 内置了 20 种蜕变关系，这些关系建立在一阶逻辑的基础上，例如交换前提顺序、对等价命题做替换、调整量词结构等。
待验证50%
9月11日
TwIL-LM 是来自 webAI 的小模型，专门为自动形式化任务设计，输入英语句子并输出一阶逻辑表达式
待验证50%
9月11日
自然语言的歧义、隐含前提、上下文依赖未必都能被干净地映射为一阶逻辑，是该架构的翻译边界挑战
待验证50%