附录与资料

附录A 复现与解释说明

← 全部章节

A.1 精确计算规格

数值案例按A、B、C、D排序,有向边为A→B、A→C、B→C、C→A和D→C,没有推断或增添其他边。邻接矩阵各行为(0,1,1,0)、(0,0,1,0)、(1,0,0,0)、(0,0,1,0)。转移矩阵将各行除以出度,第一行变为(0,0.5,0.5,0),其余行不变。

阻尼系数为0.85、四个跳转目标等概率时,每节点获得0.0375的随机跳转贡献。解线性系统时不对输入分数舍入,第7章最终小数只在呈现时舍入。Wolfram LinearSolve核验平稳方程,PageRank文档说明阻尼与个性化含义[47, 48]。报告构建还按明确矩阵作本地数值检查,避免软件默认方向造成歧义。

邻接矩阵平方的各行为(1,0,1,0)、(1,0,0,0)、(0,1,1,0)、(1,0,0,0),它们计数两步游走,不是归一化概率矩阵。转移矩阵平方才描述规定随机游走在没有随机跳转时的两步转移概率。区分两者,可避免只因都使用矩阵乘法,就把游走计数误作概率。

无向Jaccard案例刻意采用不同于PageRank的投影:去掉箭头,得到AB、AC、BC和CD四条唯一边,再计算邻居重叠。若不说明投影变化,就比较无向相似度与有向中心性,会模糊含义。因此报告明确说明变化,且不将任一结果解释为现实关系的统计估计。

A.2 证据选择与来源状态

综述选取来源以覆盖形式表示、抽取、存储、图算法、推理和语言模型整合。基础标准与原始论文支持具体技术陈述,宽泛综述用于组织分类和寻找代表方法。近期架构论文在体现实质不同方法时纳入;未复现或未细审实验设置的数值性能比较则不作引用比较。

Consensus检索结果在引用前进一步读取完整记录,SciSpace发现补充的图检索与智能体论文,技术描述再对照可访问原始论文记录,Wolfram核验合成案例。这些工具辅助发现与核对,不能替代被引文献。参考文献区分标准、正式论文、预印本与软件文档。

索引日期可能对应预印本、在线发表或期刊卷期。版本不同时,参考文献标识可用发表记录,并可能附可访问预印本。比较结果应查同一版本和实验条件。本报告不声称来源清单穷尽截止日前全部研究,也不据此评定方法为当前最先进水平。

A.3 供读者练习的小型设计实验

读者可将同一虚构评价分别建模:先建立GraphLens到数据集D的EVALUATED_ON直接边,再建立连接方法、数据集版本、指标、基线与来源的Evaluation节点。让两种模型回答指定协议下谁的分数更高。直接边简洁,却除非别处补足情境,否则缺乏比较所需条件。具体问题由此揭示建模权衡。

加入更正和第二次评价后重复练习。更好的表示应保存两项结果,允许改变受影响情境,却不改写无关历史。RDF入门案例为资源与陈述表达提供起点,但领域评价结构仍需设计[51]。属性图也应测试相同问题,使比较着眼保留的意义,而非偏好哪种语法。

A.4 解释汇总结果

假设两检索系统在100题上测试,X答对80题,Y答对84题。总数本身不足以认定Y可靠地更优,还需知道差异出在哪些题、样本是否代表部署、证据与预算是否相同。由于测试题相同,可用逐题结果作配对分析;从同一文档派生的重复问题,也可能需要按来源分组。

同样纪律适用于建图。更大图谱可能包含更多有用证据,也可能包含更多重复或无依据断言,仅数节点与边无法区分。有效实验应把结构变化与任务表现及审核投入联系起来。对研究证据图谱,可测量获得完整且正确证据支持的答案比例,同时记录维持该质量的成本,使建图成为可测试的研究与工程过程。