arXiv:2604.14749cs.CLcs.AI2026-04ACL

提出新任务与框架,让模型更好理解带否定的复杂问题。

Which bird does not have wings: Negative-constrained KGQA with Schema-guided Semantic Matching and Self-directed Refinement

论文配图:Which bird does not have wings: Negative-constrained KGQA with Schema-guided Semantic Matching and Self-directed Refinement
图 1 · 摘自论文原文
  • 设计可读性强的否定逻辑形式PyLF,明确表达否定约束。
  • 构建包含否定约束的新数据集NestKGQA,覆盖真实场景。
  • 提出自适应优化框架CUCKOO,提升复杂问题回答准确率。

大语言模型虽具强大推理能力,但在知识图谱问答(KGQA)中仍存在忠实度不足和幻觉问题。现有方法多聚焦正向与计算约束,忽略真实问题中常见的否定约束。本文提出新任务NEgative-conSTrained(NEST)KGQA,要求每个问题至少含一个否定约束,并构建相应数据集NestKGQA。为清晰表达否定,设计了可读性高的Python格式逻辑形式PyLF。针对多约束带来的语义复杂性,提出专用框架CUCKOO:先生成约束感知的逻辑形式草案并进行模式引导的语义匹配;仅在执行导致空结果时才启动自导向优化,降低开销并增强鲁棒性。实验表明,CUCKOO在少样本设置下,对传统与NEST-KGQA基准均持续优于基线。

原文摘要 · Abstract (English)

Large language models still struggle with faithfulness and hallucinations despite their remarkable reasoning abilities. In Knowledge Graph Question Answering (KGQA), semantic parsing-based approaches address the limitations by understanding constraints in a user's question and converting them into a logical form to execute on a knowledge graph. However, existing KGQA benchmarks and methods are biased toward positive and calculation constraints. Negative constraints are neglected, although they frequently appear in real-world questions. In this paper, we introduce a new task, NEgative-conSTrained (NEST) KGQA, where each question contains at least one negative constraint, and a corresponding dataset, NestKGQA. We also design PyLF, a Python-formatted logical form, since existing logical forms are hardly suitable to express negation clearly while maintaining readability. Furthermore, NEST questions naturally contain multiple constraints. To mitigate their semantic complexity, we present a novel framework named CUCKOO, specialized to multiple-constrained questions and ensuring semantic executability. CUCKOO first generates a constraint-aware logical form draft and performs schema-guided semantic matching. It then selectively applies self-directed refinement only when executing improper logical forms yields an empty result, reducing cost while improving robustness. Experimental results demonstrate that CUCKOO consistently outperforms baselines on both conventional KGQA and NEST-KGQA benchmarks under few-shot settings.

知识图谱否定约束逻辑形式问答系统

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。