arXiv cs.CL· Maximos Skandalis·· 10 小时前AI 评分27
FOLLIE：首个法语一阶逻辑表示句子数据集，支持自动推理
FOLLIE: Automated Reasoning over the First Dataset of Sentences with their First-Order Logical Representation for French
AI 导读
FOLLIE 是首个面向法语的自然语言推理就绪 NL-to-FOL 资源，包含 19,983 条推理记录和 36,987 条非空句子-槽位-公式映射，来自六个异构 NLI 来源。
正文 · AI 翻译
摘要：FOLLIE（全称为 First-Order Logic for Language Inference and Entailment for French，即面向法语语言推理与蕴含的一阶逻辑）将法语句子、组合式一阶表示与自动化自然语言推理（NLI）连接起来。它是首个面向法语 NLI、支持从自然语言到一阶逻辑（NL-to-FOL）的资源，包含来自六个异构 NLI 来源的 19,983 条推理记录和 36,987 条非空句子槽位—公式映射，并保留了法语词汇材料和源问题的结构。其银标注由神经—符号流水线生成，其中包含 111 条单独标识的 LLM 辅助补充。构建过程结合了形态句法分析、概率条件化的范畴多标签标注、语法证明搜索、话语表示和一阶语义构建。分阶段实验显示，推导覆盖率有显著提升；对合取分布、逻辑算子出现率和辖域交替的分析刻画了所得资源的特征。随后，我们开发了一个自动推理引擎，其以输入为条件的背景理论处理词汇关系、量化、数量、事件结构和时间依赖。Prover9 为蕴含和矛盾提供证明，而 Mace4 支持有界一致性检查。三分类准确率分别为：全部 335 个 FraCaS-FR 问题上 65.37%，300 个 GQNLI-FR 问题上 70.33%，以及跨划分汇总的 9,399 条符合条件的 SICK-FR 记录上 71.35%。在已作出判定的决策中，与参考标签的一致率分别为 93.53%、100.00% 和 98.66%，判定覆盖率分别为 41.49%、37.00% 和 15.05%。详细的构建示例、公理模式和证明分析解释了这些结果，并识别出辖域、指称、词汇知识和数值结构的贡献。FOLLIE 为研究连接句子解释与演绎推理的表示和假设提供了法语实验基础。
| 主题： | 计算与语言（cs.CL） |
| 引用为： | arXiv:2611.02129 [cs.CL] |
| （或 arXiv:2611.02129v1 [cs.CL] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2611.02129 由 DataCite 颁发的 arXiv DOI（待注册） |
提交历史
来自：Maximos Skandalis [查看邮箱]
[v1]
2026 年 11 月 1 日周日 19:03:15 UTC（111 KB）
来源：arXiv cs.CL · arxiv.org