arXiv:2606.06044cs.CL2026-06

用时间区间建模知识,让大模型更准地理解事件先后与重叠关系。

IA-RAG: Interval-Algebra-Driven Temporal Reasoning for Dynamic Knowledge Retrieval

论文配图:IA-RAG: Interval-Algebra-Driven Temporal Reasoning for Dynamic Knowledge Retrieval
图 1 · 摘自论文原文
  • 将事实抽象为时间区间,用时序代数约束检索
  • 在复杂时序任务上超越现有方法,尤其擅长复合推理
  • 适合需要精准时间理解的问答系统开发

检索增强生成(RAG)在用外部知识增强大语言模型方面表现优异。然而,现有RAG与图RAG框架多将知识视为静态或仅关联粗粒度时间戳或元数据,无法捕捉持续时间、重叠和包含等丰富时序结构。本文提出IA-RAG,一种分层时序RAG框架,将知识表示为时间区间,并在形式化时序约束下进行检索。IA-RAG将事实建模为区间事件单元(IEUs),组织成层次化主题森林,其时序依赖由Allen时序代数控制。为处理不完整或不确定的时间边界,进一步引入子图时间紧致机制,通过连通事件子图内的逻辑约束优化模糊区间。此外,支持基于时序代数引导的隐式时序语义检索。在TimeQA、TempReason和ComplexTR等多个时序问答基准上的实验表明,IA-RAG在时序检索与推理性能上表现强劲,尤其在复杂组合式时序推理任务中优势明显。代码已开源:https://github.com/xiaoAugenstern/LogicalRAG_TemporalQA。

原文摘要 · Abstract (English)

Retrieval-Augmented Generation (RAG) has shown strong effectiveness in grounding Large Language Models (LLMs) with external knowledge. However, existing RAG and Graph RAG frameworks largely treat knowledge as static or associate time with coarse-grained timestamps or metadata, failing to capture rich temporal structures such as duration, overlap, and containment. We propose IA-RAG, a hierarchical temporal RAG framework that models knowledge as time intervals and performs retrieval under formal temporal constraints. IA-RAG represents facts as Interval Event Units (IEUs) and organizes them into a hierarchical Thematic Forest, where temporal dependencies are governed by Allen's Interval Algebra. To handle incomplete or uncertain temporal boundaries, IA-RAG further introduces a Sub-graph Time Tightening mechanism that refines fuzzy intervals through logical constraints within connected event subgraphs. In addition, IA-RAG supports implicit temporal semantic retrieval through interval-algebra-guided traversal. Experiments on multiple temporal question answering benchmarks, including TimeQA, TempReason, and ComplexTR, demonstrate that IA-RAG achieves strong temporal retrieval and reasoning performance, particularly on complex compositional temporal reasoning tasks. Our code is released at https://github.com/xiaoAugenstern/LogicalRAG_TemporalQA.

时序推理知识检索大模型

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