arXiv:2502.00020v1 通知类型: 新 摘要: 规模上的常识时间推理是认知系统的核心问题。正确推断命题持续的时间对于许多任务来说是必需的，包括自然语言理解和计划。许多AI系统在推断现有命题和事件的信息方面存在限制，因为它们无法正确地进行推理。在本研究中，我们讨论了在Cyc知识库中实现稳健的时间投影所需的知识表示和推理方案。我们讨论了如何事件开始和结束命题的风险期。然后，我们使用离散生存函数，这些函数表示事实的持续性知识，来外推给定的命题。外推的区间可以通过时间约束和其他类型的常识知识进行截断。最后，我们展示了实验结果，以证明这些方法在问答性能方面获得了显著的改进。