F1 · 出版卷 30

证据图谱与目标陈述

主张、支持、矛盾、依赖与未知项

学习目标与边界

  • 把“主张、支持、矛盾、依赖与未知项”解释为可审计证据问题。
  • 区分来源观测、受控派生物、解释与决策状态。
  • 应用身份、空间、语义、血缘、质量与审核检查。
  • 产出一套经验证的证据图谱、原子目标陈述集与可审核目标卡。

本课属于通用、机构中立的教程，与任何公司或个人均无关系。案例中的标识、几何与数值均明确为合成数据。本方法不授予专业权限，若要用于真实决策，必须另行满足适当来源、胜任能力、法律与审核要求。

核心方法

目标陈述应是原子且有边界的主张：包含主体、谓词、数值或类别、时空范围、证据快照、不确定性、状态与决策相关性。避免只写“高优先级”而不列出产生该判断的事实与政策。应持续拆分摘要，直到每个主张都能由可识别证据支持、矛盾或保持未决。

证据图谱使用类型化节点与关系。来源产生观测；受控变换产生产品；产品与观测可以支持或反驳解释和主张；主张依赖假设；假设预测观测。依赖组防止同一祖先数据看起来像多次确认。未知节点是明确的证据需求，而不是空白单元。图查询可以生成目标卡，但目标卡绝不能替代底层主张—证据结构。

把原子目标主张连接到支持、矛盾、依赖与未知项的类型化证据图
把原子目标主张连接到支持、矛盾、依赖与未知项的类型化证据图

记录与证据模型

| 字段或对象 | 运行含义 | |---|---| | claim_id 与 atomic_statement | 稳定身份与有界命题 | | scope 与 evidence_snapshot | 空间、时间、尺度与精确证据状态 | | edge_type 与 rationale | 支持、矛盾、依赖、预测或未知 | | lineage_group 与 independence | 祖先关系与独立性评价 | | status 与 disposition | 草拟、已审、接受、扣留或退役 |

每条记录都携带版本、有效区间、来源或派生链接、质量状态与审核状态。缺失、未知、不适用和失败是不同状态，均不得静默表示为零或空字符串。

受控工作流

  1. 把每份目标摘要拆成原子主张。
  2. 绑定范围、证据快照与不确定性。
  3. 用带理由的类型化关系连接证据。
  4. 归组依赖并检测循环支持。
  5. 创建明确未知项与矛盾路径。
  6. 只从已审核图状态生成目标卡。

每一步都记录为带声明输入、参数、输出与检查的活动。重新运行要么产生相同内容，要么形成有说明的差异；绝不能覆盖解释先前状态所需的证据。

合成案例详解

合成目标 T-03 包含四项原子主张。两项蚀变主张共享一个栅格祖先，因此构成一个支持家族。一个钻孔交点支持构造邻近性，却与预测方向矛盾。覆盖层下连续性仍是明确未知项。目标卡写为“H-A 下的证据获取候选”，而不是“矿床”，并列出矛盾与一条判别性剖面建议。

该案例特意保持为可逐行检查的小规模数据。名称与数值都是虚构教学值，不能用来推断任何真实地点、权利、资源、危险或机构。

质量控制与失败模式

接受本课制品前运行六类关口：身份关口解析精确对象；空间关口确认坐标与范围有效性；语义关口保留单位、词汇与认识论类别；血缘关口暴露全部变换与依赖；质量关口记录通过、失败与未运行检查；审核关口把处置绑定到精确内容摘要。失败关口应作为证据保留，只阻断受影响用途，绝不能被改成有利数值或为简化显示而隐藏。

常见失败模式：

  • 把形容词当作无证据目标陈述
  • 把派生物算作独立支持
  • 从目标摘要卡省略矛盾
  • 把未知表示为负面证据
  • 允许图循环制造确认

实践练习

在合成数据包的新副本上完成以下任务：

  1. 把一段目标文字拆成原子主张。
  2. 建立类型化支持与矛盾边。
  3. 检测循环证据路径。
  4. 生成一张保持未知项可见的目标卡。

每个答案都要引用数据包对象 ID，同时展示失败与通过的检查，并说明若一项假设反转，哪项结论会变化。

完成制品与验证

交付一套经验证的证据图谱、原子目标陈述集与可审核目标卡。其中包含清单、精确输入身份、变换或推理记录、机器可读验证结果、供人阅读的限制及当前审核状态。第二位读者必须能够把一项接受结论追溯到来源支持，把一条拒绝路径追溯到首个失败关口，并把一个未知项追溯到解决它所需的证据。从干净位置重建制品并比较内容摘要。若必需来源、参数、许可或审核缺失，则保持未完成状态，不得虚构替代数据。

来源