arXiv cs.CL· Maximos Skandalis·· 11 小时前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 来源。
正文 · 原文
Abstract:FOLLIE (for First-Order Logic for Language Inference and Entailment for French) connects French sentences, compositional first-order representations and automated natural language inference (NLI). The first French NLI-ready, NL-to-FOL resource, it contains 19,983 inference records and 36,987 non-empty sentence-slot--formula mappings from six heterogeneous NLI sources, retaining French lexical material and source problem structure. Its silver annotations are produced by a neural--symbolic pipeline, with 111 separately identified LLM-assisted additions. The construction combines morphosyntactic analysis, probability-conditioned categorial multitagging, grammatical proof search, discourse representation and first-order semantic construction. Stage-wise experiments show substantial gains in derivation coverage; analyses of conjunction distributions, logical-operator incidence and scope alternation characterise the resulting resource. We then develop an automatic inference engine whose input-conditioned background theories address lexical relations, quantification, quantities, event structure and temporal dependencies. Prover9 supplies proofs for entailment and contradiction, while Mace4 supports bounded consistency checks. Three-way accuracies are 65.37% on all 335 FraCaS-FR problems, 70.33% on 300 GQNLI-FR problems and 71.35% on 9,399 eligible SICK-FR records pooled across splits. Agreement with reference labels among committed decisions is 93.53%, 100.00% and 98.66%, at commitment coverage of 41.49%, 37.00% and 15.05%, respectively. Worked constructions, axiom schemas and proof analyses explain these outcomes and identify the contributions of scope, reference, lexical knowledge and numerical structure. FOLLIE provides a French experimental basis for studying the representations and assumptions that connect sentence interpretation to deductive inference.
| Subjects: | Computation and Language (cs.CL) |
| Cite as: | arXiv:2611.02129 [cs.CL] |
| (or arXiv:2611.02129v1 [cs.CL] for this version) | |
| https://doi.org/10.48550/arXiv.2611.02129 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Maximos Skandalis [view email]
[v1]
Sun, 1 Nov 2026 19:03:15 UTC (111 KB)
来源：arXiv cs.CL · arxiv.org