提出新基准,用语义轨迹提升时序推理能力
Learning Structural Convergence: A Neuro-Symbolic Benchmark for Temporal Reasoning
- 构建基于语义轨迹的神经符号框架,捕捉事件间时序结构
- 在时序任务上,语义轨迹模型表现最佳,准确率提升显著
- 适合研究时序建模、智能系统推理与可解释性的人参考
高复杂度运行环境需要能检测和预测分散式时序模式的方法,而非仅分类孤立事件。本文提出TRACTA(时序推理与能力轨迹分析)——一种基于多领域操作(MDO)场景的可控合成基准,用于评估高复杂度事件驱动系统中的时序结构推理。该基准包含三项任务:预警、模式检测和运行分类,对比了原始事件神经模型、轻量级契约语义基线及基于语义化能力与上下文直接影响轨迹的神经符号配置。结果表明,尽管原始事件学习仍具信息量,但基于语义能力与上下文影响轨迹的时序建模在总得分上最优,尤其在时序任务中优势最大。消融分析显示,能力动态、上下文影响与时序结构提供互补信息。快捷诊断发现,主输入视图中已控制全局标识符的直接捷径,但残余浅层信号仍存在。总体结论为:在受控合成环境中,语义化轨迹是实现有效时序结构推理的有力表示,支持进一步探索事件数据、结构化表征与时序学习之间的语义接口。
原文摘要 · Abstract (English)
High-complexity operational environments require methods that detect and anticipate temporally distributed patterns rather than classify isolated events. This paper introduces TRACTA (Temporal Reasoning and Capability-Trajectory Analysis), a controlled synthetic benchmark for temporal structural reasoning in high-complexity event-driven systems, instantiated through Multi-Domain Operations (MDO)-like scenarios. The benchmark includes three tasks: early_warning, pattern_detection, and run_classification, and compares raw-event neural models, a contract-lite semantic baseline, and a neuro-symbolic configuration operating on semantically grounded trajectories. Results show that raw event-level learning remains informative, but learned temporal modeling over semantic capability and contextual direct-impact trajectories achieves the highest aggregate point estimates, with the largest margins on the temporal tasks. Ablation analysis indicates that capability dynamics, contextual impacts, and temporal structure contribute complementary information. Shortcut diagnostics indicate that the most direct cross-run global-identifier shortcut is controlled in the primary neural input view, while residual shallow signals remain. Overall, the findings support a bounded methodological conclusion: in controlled synthetic settings, semantically grounded trajectories provide an effective representation for temporal structural reasoning, supporting further investigation of semantic interfaces between event data, structured representations, and temporal learning.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。