allen-cacm1983 - 艾伦时间区间推理（Allen 1983）基于时间区间代数对规划与知识表示中的时间关系进行推理与约束传播。标签更新于: 2026-09-21时间推理区间代数知识表示人工智能规划能力典型输入典型输出该技能可以做什么分类时间区间关系传播时间约束网络检测时间网络不一致性维护析取关系标签管理参考区间层次结构应用可驳回持久性默认规则输入时间区间断言时间关系约束参考区间层次结构输出更新后的约束网络标签时间不一致性报告传播后的关系标签要求来源规范: SKILL.md
