E7 · 出版卷 29
证据图谱模型
观测、产品、解释、假设与依赖
*观测、产品、解释、假设与依赖*
学习目标与边界
本课是通用、机构中立内容，不使用任何真实公司、个人、矿权、项目或可识别地点。通用角色只描述职责，每个 SYN-AI 标识符都明确表示合成教学证据。
- 界定由“观测、产品、解释、假设与依赖”治理的决策。
- 区分生成建议、合格证据、确定性结果与负责任判断。
- 定义可测失败、弃答、升级与发布条件。
- 基于合成证据产出一套经过验证、版本化的地学证据图谱模型与快照并为其控制辩护。
决策与专业边界
证据图谱记录存在什么、如何产生，以及每个主张依赖什么。它不是装饰性网络，也不会把“有连接”变成“为真”。必须区分源对象、观测、派生产品、解释、原子主张、假设、检验与审核决定。使用带类型、带方向的关系，例如“派生自、观测、支持、矛盾、限定、依赖、取代”；每条边都有范围、版本与责任。
真值状态针对具体主张。一条观测可以支持岩性描述，却不能说明连续性；一个派生产品可以完全可复现，却不适合某一比例尺。图谱必须保留负证据、缺失证据、备选解释与失效依赖，不能只展示首选故事。
核心概念
| 概念 | 运行含义 | |---|---| | 证据节点 | 可识别、可检查的来源、观测或派生产品。 | | 主张节点 | 带主体、谓词、客体、范围与状态的一项有界命题。 | | 支持边 | 说明证据在声明条件下如何影响某项主张的审核关系。 | | 依赖边 | 表示有效性依赖另一对象、活动或假设的关系。 | | 有效区间 | 节点或关系适用的时间或版本范围。 |
证据模型
使用不可变证据节点和版本化断言节点。关系记录包含源节点、目标节点、关系类型、适用范围、理由、活动、审核状态与置信依据。区分现实中的观测、该观测的数字表示及其派生解释，避免复制的地图要素伪装成独立野外证据。
受控工作流
- 在载入实例前定义节点与边类型。
- 为证据对象分配不可变身份与版本。
- 把解释拆成原子化、有范围的主张。
- 以理由连接支持、矛盾、限定与依赖。
- 验证图形约束、禁止循环与必需来源路径。
- 生成审核视图，但不删除备选方案或历史。
每一步都输出版本化制品或明确失败。后续阶段只消费前一阶段经过验证的输出；对话上下文绝不能成为未记录的数据通道。
测量与验收准则
测量来源路径完整度、孤立节点率、未解析标识率、禁止循环数、支持理由完整度与备选保留覆盖率。图密度不是质量指标。发布视图只有在每个可见主张都能到达可检查证据节点或明确未知状态、每个派生产品都能到达来源与变换活动时才通过。
$C_{prov}=\frac{N_{claims\ with\ complete\ provenance\ paths}}{N_{released\ claims}}$
| 关口 | 必需证据 | 发布后果 | |---|---|---| | 身份 | 可解析的主张、来源、配置与结果 ID | 任一身份含混即阻断 | | 依据 | 每项事实主张均到达充分来源片段 | 移除或扣留无来源主张 | | 独立性 | 血缘与分区检查证明无循环或目标信息 | 使受影响支持与评分失效 | | 审核 | 必需角色处置精确候选版本 | 候选保持未发布 | | 可复现性 | 清单、工具与检查能够重建证据包 | 退回数据包修正 |
主张—来源与系统合同
图合同定义允许的节点类别、边方向、基数、必需标识符、来源深度、有效性语义、审核状态与循环规则。支持边与矛盾边必须有理由，不能仅来自生成文字。摘要视图只是图上的查询，绝不能替代原图。
安全、隐私与访问边界
授权必须作用于遍历，而不只作用于单个节点。公开主张不得通过标签、数量或推断路径泄露受限前驱。生成过滤子图时使用明确脱敏节点，使访问控制造成的缺失不会与证据缺失混淆。关系历史必须受保护，因为删除或改写边可以在源文件不变时改变结论。
人工审核与升级
审核应抽查完整路径、负证据与跨版本差异。领域审核者判断关系是否具有科学意义；数据审核者检查身份、来源追溯与约束。批准必须指明图快照与查询，因为同一图在不同过滤条件下可产生不同视图。
合成案例详解
SYN-AI 记录两条合成露头观测、一个栅格产品和两种接触带解释。栅格派生自观测与插值参数；解释 A 沿地形转折，解释 B 沿稀疏构造测量。一条新观测只矛盾于 A 的局部线段，并不推翻整个解释。图谱记录有范围的矛盾，保留 B，并把新观测之外的连续性标为未知。
反例与失败分析
把每份提到“断层”的文档都连接到一个断层概念，只产生语义邻近，不产生证据。它没有区分文档是在报告观测、重复解释还是拒绝该术语。随后统计链接数量会奖励重复并放大循环证据。边类型与理由必须表达认识论含义。
常见失败模式
- 把任何链接都当作支持
- 把观测与解释折叠为一种节点
- 删除已取代或矛盾关系
- 把重复血缘计为佐证
- 发布过滤图却不说明脱敏语义
实践练习
- 把一条观测、一个产品、一项解释、一项主张与一个假设建成不同节点。
- 为支持边编写图形约束。
- 发现并解释一个禁止的证据循环。
- 创建保留失效关系的版本差异。
考核制品
提交一套经过验证、版本化的地学证据图谱模型与快照，并附来源清单、配置版本、验收证据、被拒案例、未解决风险，以及未选择某个合理备选控制的简要理由。如果图示或文字无法与机器可检查证据核对，制品即不完整。
验证检查点
把一项已发布合成主张逆向追踪，经过审核、置信、核验、证据图、工具结果或来源片段，直到不可变输入；再把一项被拒主张追踪到最早失败合同。根据清单重跑数据包并比较内容摘要。只有另一位审核者无需原对话即可重建接受与阻断路径、识别所有假设并复现发布决定，检查点才通过。对未解决风险应如实记录，不能用生成文字补全缺失事实。
来源
- PROV-O 来源追溯本体， 描述实体、活动、责任角色与派生关系的标准模型。
- 形状约束语言， 生成机器可读符合性报告的图约束验证语言。
- 数据质量词汇， 描述质量测量、维度、政策与注释的词汇。
- FAIR 指导原则， 关于数字对象可发现、可访问、可互操作与可复用的原则。