跳到正文
SGSteven Guan

原子概念

时间事实与冲突更新

valid_from/to与recorded_at、correction/supersedes、临时偏好、现实变化与错误纠正。

要解决的问题两条记忆互相矛盾时,应覆盖、并存还是标记失效?

检索别名:bitemporal memory · supersedes · knowledge update

BLUEPRINT局部蓝图

01 输入

  1. 新旧事实与稳定主体
  2. 有效时间、观察时间和来源
→

02 处理机制

  1. 分类变化或纠错
  2. 建立有效区间与替代关系
  3. 按as-of选取并显示未决冲突
→

03 输出与证据

  1. 可追踪事实历史
  2. 当前有效值及冲突状态

变化与错误不是同一种冲突

“张三是项目负责人”去年正确,今年换成李四;“张三其实从未负责”则是纠错。前者要求保留历史有效区间,后者要求撤销错误事实。简单用最新记录覆盖旧值,会丢失时间推理;简单并存又可能让模型同时采用矛盾信息。

建议区分valid_from与valid_to表示现实有效时间,recorded_at表示系统何时获知,并保存correction或supersedes关系。Graphiti的时间图路线展示随episode更新事实关系的机制,可作为实现候选,但业务仍需定义什么证据足以改写某类事实。

临时条件不能被永久化

“这周不喝咖啡”不是长期饮食偏好,“这次先不做回测”不是所有投资研究的规则。抽取时应保留条件、时间与说话者;无法判断有效期时宁可标记待复核,而不默认无限期生效。用户明确纠正一般应优先于模型旧推断。

同一主体、属性和值相近的事实可以进入冲突候选集,但不能仅靠向量相似度自动合并。公司、证券、同名学生和客户事项需要稳定实体键。来自不同权威层级的矛盾还需保留来源,让应用按资料合同裁决。

按问题时间读取

查询“现在负责人是谁”应使用当前有效事实;查询“上季度由谁审批”应读取相应时间区间。系统接入较晚时还要避免假装当时已经知道。金融as-of和法律生效是这一原则在专业资料上的独立数据合同。

验收包含先后变化、晚到事件、反向纠错、重叠有效期、临时偏好和来源撤回。检查写入后的活动值、历史回答、冲突提示与依赖记忆是否一起更新。成功不是没有矛盾记录,而是矛盾可见、时间语义明确且不会错误用于当前任务。

RELATIONSHIP MAP

与其他节点的关系

箭头从本节点指向目标;关系是工程分析映射,不代表厂商合作或已披露的内部实现。

哪些节点指向本页 · 3

PRIMARY SOURCES

来源与阅读边界

来源按研究截止日整理。官方文档说明能力和约束,代码只证明对应版本,论文与讲座不自动证明生产效果。 资料截止:2026-10-15。

  1. Graphiti:时间上下文图 ↗官方文档 / 声明
  2. Zep:Temporal Knowledge Graph Architecture ↗论文