Skip to content
阅读进度

来源谱系与推断依赖为什么要分开? ​

返回 EachOf 项目 目录

项目版本说明

这些问答整合历史设计与实现资料;当前 main 分支 README 以工作包描述建设状态。具体能力、实验数据与设计目标的边界见项目状态与证据。

标准回答 ​

来源谱系记录材料、版本和处理过程,推断依赖记录一个结论成立所需的其他内容。二者经常相关,但并不等价:一份文档可能仅提供背景,一个结论可能同时依赖多条事实。把所有链接统一叫 source 会使纠正传播失去精度。

当某一事实改变时,系统需要判断哪些结果只是引用过它,哪些结论必须重新验证或失效。依赖图应保存关系类型、依据版本和当前状态,而非仅在摘要文本里留下不可计算的说明。

EachOf 通过来源基准和依赖关系组织纠正与后续处理。设计上宁可明确某项依赖尚待确认,也不要让模型自由宣称所有相关内容都可复用。过宽传播会误伤无关知识,过窄传播会让过时推断残留。

追问与回答 ​

一个结论有两个来源,撤销一个是否必然失效 ​

取决于依赖语义:两个来源是共同必要条件还是可替代证据。没有显式语义时不应凭数量决定,应保守重验或按约定策略处理。

如何避免依赖图无限扩散 ​

限定关系类型、处理预算与去重,维护访问边界和可恢复进度;大图传播需要实际容量验证。

易混淆点 ​

  • 认为任何引用关系都表示相同强度的因果依赖。

内容来源 ​

用完整回答理解机制,用真实证据解释项目。