arXiv:2502.00020v2 通知类型: 替换 摘要：大规模常识时间推理是认知系统的核心问题。正确推断 fluents（临时属性）持续的时间对于许多任务（包括自然语言理解和规划）都是必需的。许多AI系统在演绎闭包方面受到限制，因为它们无法正确外推关于现有 fluents 和事件的信息。在这项研究中，我们讨论了 Cyc 知识库中实现稳健时间投影所需的知识表示和推理方案。我们讨论了事件如何开始和结束 fluents 的风险期。然后，我们使用离散生存函数来外推给定的 fluents，这些离散生存函数代表了事实持久性的知识。外推的时间间隔可以由时间约束和其他类型的常识知识进行截断。最后，我们展示了实验结果，证明这些方法在问答性能方面取得了显著改进。