外观
来源谱系与推断依赖为什么要分开?
项目版本说明
这些问答整合历史设计与实现资料;当前 main 分支 README 以工作包描述建设状态。具体能力、实验数据与设计目标的边界见项目状态与证据。
标准回答
来源谱系记录材料、版本和处理过程,推断依赖记录一个结论成立所需的其他内容。二者经常相关,但并不等价:一份文档可能仅提供背景,一个结论可能同时依赖多条事实。把所有链接统一叫 source 会使纠正传播失去精度。
当某一事实改变时,系统需要判断哪些结果只是引用过它,哪些结论必须重新验证或失效。依赖图应保存关系类型、依据版本和当前状态,而非仅在摘要文本里留下不可计算的说明。
EachOf 通过来源基准和依赖关系组织纠正与后续处理。设计上宁可明确某项依赖尚待确认,也不要让模型自由宣称所有相关内容都可复用。过宽传播会误伤无关知识,过窄传播会让过时推断残留。
追问与回答
一个结论有两个来源,撤销一个是否必然失效
取决于依赖语义:两个来源是共同必要条件还是可替代证据。没有显式语义时不应凭数量决定,应保守重验或按约定策略处理。
如何避免依赖图无限扩散
限定关系类型、处理预算与去重,维护访问边界和可恢复进度;大图传播需要实际容量验证。
易混淆点
- 认为任何引用关系都表示相同强度的因果依赖。
内容来源
- Android 与 AI 工程 Wiki · 原条目
q173