allen-cacm1983 - 艾伦时间区间推理（Allen 1983）时间推理区间代数知识表示人工智能更新于 2026-09-21基于时间区间代数对规划与知识表示中的时间关系进行推理与约束传播。⚙ 分类时间区间关系⚙ 传播时间约束网络⚙ 检测时间网络不一致性
