FOLLIE：首个法语一阶逻辑表示句子数据集与自动推理

论文发布首个法语NLI用句子—一阶逻辑数据集FOLLIE及配套推理引擎。

资讯摘要

论文提出FOLLIE，首个面向法语、可用于自然语言推理的句子到一阶逻辑表示资源，含19,983条推理记录和36,987条句子槽位与公式映射，来自六个异构NLI来源，标注由神经-符号流水线生成，另有111条LLM辅助补充。作者构建自动推理引擎，用Prover9证明蕴含与矛盾、Mace4做有界一致性检查，并报告在FraCaS-FR、GQNLI-FR和SICK-FR上的三分类准确率及承诺决策一致率。

要点速读

1. FOLLIE包含19,983条推理记录与36,987条非空句子槽位—公式映射，整合六个异构NLI来源并保留法语词汇材料与源问题结构。
2. 标注为神经-符号流水线生成的银标注，其中111条为单独识别的LLM辅助补充；构建结合形态句法分析、范畴多标注、语法证明搜索与话语表示。
3. 推理引擎以输入条件背景理论处理词汇关系、量化、数量、事件结构与时间依赖，Prover9提供证明、Mace4做有界一致性检查；三分类准确率为FraCaS-FR 65.37%、GQNLI-FR 70.33%、SICK-FR 71.35%。

中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/11/4 08:00:28（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。