C-015-001
支持supports
样品为明示教学设想；只解释结构异构的基本关系，不把三维构型、所有异构类型或具体实验混为一谈。
C-015-002
支持supports
质谱作为推断线索而非直接成像；不复原实验，不声称每张谱图都无法唯一解释。
C-015-003
支持supports
人物动机及合作采用参与者后见记录；不编造某次交谈原句，不把后来成果作为当时动机。
C-015-004
支持supports
White 原型与 Sutherland 后续 LISP 工作分开；不声称任一人独自实现整个项目。最后为对已列工作的编辑解释。
C-015-005
背景context
对原文生成器与后续程序差异作概括；不将所有版本混成只有一次改造。
C-015-006
支持supports
人物以当时领域职责登场；一眼看出为专业判断的概述，不描述未经证实的具体表情或心理。
C-015-007
支持supports
为原声交代人物、录制时间和回忆属性；不把转述中的 Djerassi 话语标成 Djerassi 原声。
C-015-008
支持supports
合作归属来自回顾；连续问句为对机制的中文解释，不冒充历史逐字对话。
C-015-009
支持supports
专家经验的表达与案例核对采用原文；不声称任何单条启发式都通用或等同科学定律。
C-015-010
支持supports
引号内是旁白概括程序提问，不是核准直译；下一章明确来自论文示例。
C-015-011
支持supports
仅概述 Table 3 的登记任务；不复述化学数值或伪造某次实时会话。
C-015-012
背景context
修改地址为比喻，不是实际内存地址；后续修正规则为教学设想，不编真实返修记录。
C-015-013
背景context
排障场景为节目自拟类比，边界紧邻；不是历史应用或实验数据。
C-015-014
支持supports
区分先约束后生成与事后筛选；保留预测 / 比较 / 排序，不压成单条 if-then 或单次分类。
C-015-015
支持supports
区分假设检验辅助与唯一结构确证；不声称程序单独完成最终实验确认。
C-015-016
支持supports
原始枚举保证限于特定表示和对象；这里不将后续复杂版本统一归为完备，不作形式证明。
C-015-017
背景context
早期组织与后来的明确知识库 / 解释器架构分开；转向规则归纳有报告依据，不给不同版本统一框图。
C-015-018
支持supports
不把规则归纳解释为无监督、无先验或任意科学理论发现；年份为发表年而非收稿日。
C-015-019
支持为 B 留出动机与限制的叙事作用，不预先完整复述片段；回忆中的类别不替代原论文测试范围。
C-015-020
支持supports
可学习与预定义表示同时成立；不把晚年回忆所列窄类别等同原论文全部测试类别。
C-015-021
支持supports
1977 论文用于总结方法，不声称该年首次创造术语，也不把总结作为 1976 研究的起因。
C-015-022
背景context
明确 CONGEN 与 Meta-DENDRAL 是不同任务 / 程序，不制造前者由后者成果直接产生的因果。
C-015-023
支持supports
只说若干案例中有其他相容结构；不采用后见访谈中“每篇”“四十个”等未经核准数字，不给课堂补造具体年份。
C-015-024
背景context
前两种可能为逻辑分析，未写信息为 Djerassi 后见回忆；不指控某篇论文造假，不把新增候选当作实验反证。
C-015-025
背景context
本段只使用有归属的文字转述，015-C 不作原声插入；末段为基于案例的节目判断。
C-015-026
支持supports
保留 CONGEN / INTSUM 的外部使用例外，不说全无外部使用；未表达概念的问句引向下一章，不作为已做实验。
C-015-027
支持supports
定义 MYCIN 式专家系统，而非为所有符号 AI 或早期 DENDRAL 套同一框图；不提供任何具体医疗建议。
C-015-028
支持supports
可定点修改不等于无副作用；EMYCIN 是有界复用，不称通用智能已实现。
C-015-029
支持supports
限制专指 EMYCIN 所述架构；排障 / 在线控制为教学对照，不声称所有专家系统都不能处理动态或构造性任务。
C-015-030
支持supports
专家分歧有作者总结；领域扩大负担为有限工程分析，不据此声称整个符号路线必然失败。
C-015-031
支持不确定信息处理不等于所有置信度都已校准；因果表示有可能不等于具体系统已经具有完整因果模型。
C-015-032
支持supports
每年四人年不是人数或总维护费用；不把项目归给 Feigenbaum，不借此给全行业做收益或失败判断。
C-015-033
背景context
为跨时期的工程比较，不能作为整个行业转向的完整历史原因；不声称所有模型或任务有同一成本结构。
C-015-034
支持supports
针对公开 Qwen3 实例；参数影响并非每个参数存一条可读事实，不声称学习无需人类数据与训练设计。
C-015-035
背景context
两种办法为机制层比较，不否认专家系统可接语言分析器，也不保证参数模型对每种表达都泛化。
C-015-036
支持supports
“没有采用”只对已公开模型本体作结构比较，不推断闭源系统所有内部；不将架构名称当作谱系证据。
C-015-037
背景context
不把生成解释与规则执行日志混为同类证据；不声称所有模型的任何知识修订都不可能，不作当前产品可靠性排名。
C-015-038
支持supports
通用智能为节目概述标签，不主张两路线互斥或目标定义相同；不采用 Cyc 作者对自身优越性的全部评价。
C-015-039
支持supports
Brooks 特定行为架构不等于全部具身智能；AIXI 原始形式与有资源约束的变体分开，不称理论是失败产品。
C-015-040
背景context
编辑归纳，判据限于所核模型本体；不声称未被任何应用采用、没有影响或研究已经停止。
C-015-041
背景context
回收可编辑性、解释与知识来源记录；不把流程可追查当作真理保证或全系统无副作用。
C-015-042
背景context
组合为条件明确的节目工程建议，不冒充某个已部署系统；历史启发式规则不全是保证成立的硬约束。
C-015-043
支持supports
仅概述 RAG 原方案；不称 RAG 是专家系统复活，不保证检索材料正确或输出无幻觉。
C-015-044
背景context
回收已经建立的机制与课堂作用；不说全部知识都必须人工给定，也不把程序输出当最终实验结论。
C-015-045
背景context
节目基于前文的最终判断，不声称一条路线整体失败或所有模型均有相同架构；不是作者原话。
没有符合条件的证据关系。
全部来源
项目参与者对 DENDRAL 的研究任务、实现团队、结构枚举与启发式方法的回顾。
同期技术论文中的候选生成、质谱启发式、Fig. 2 和 Table 3 交互示例。
Lederberg 对科学任务、结构枚举和实现合作的回忆，采用 1987 年会议版。
Feigenbaum 接受 Nilsson 采访的馆方整理文本，用于核对人物回忆与技术解释。
2007 年 6 月 20 日访谈的官方馆藏记录；本期两段原声来自这场访谈。
Feigenbaum 对知识工程、DENDRAL 和 Meta-DENDRAL 的方法总结。
1978 年 2 月技术报告，记录 DENDRAL、Meta-DENDRAL、CONGEN 的任务与应用边界。
从已知结构及质谱形成规则的输入、表示、评价和适用范围。
Djerassi 对结构推断和课堂应用的后见回忆；本期仅引用文字，没有使用其声音。
MYCIN 研究任务及显式知识库与推理机的结构背景。
MYCIN 项目团队对知识获取、模块化、维护、采用和 EMYCIN 适用范围的总结。
R1 项目参与者对知识维护工作量、OPS4/OPS5 演进和实际采用的记录。
固定一种 2025 开放模型的具体复杂度：dense / MoE、151,669 词表、36T tokens / 119 languages and dialects、三阶段预训练，以及包含冷启动微调、reasoning RL、thinking-mode fusion、general RL 的四阶段后训练；边界：不把 Qwen3 当成全部当前 LLM；不使用模型方 benchmark 比较证明普遍优越，也不把 thinking 标签等同人类思维过程
Qwen3.5-397B-A17B 固定版本模型卡，说明神经网络结构及工具使用。
与模型卡相同版本的原始配置，核对文本模型、层类型和混合专家结构。
检索增强生成的参数记忆、文档索引和生成器结构，不等同经典规则推理。
Lenat 与 Marcus 对 Cyc 显式常识和语言模型关系的观点论文。
Soar 项目对统一认知架构、记忆和学习机制的当前说明。
Brooks 从感知、行动和行为层组织智能的研究，不将机器人表现等同通用智能。
Hutter 关于通用智能的形式化理论，区分不可计算的原模型与有界变体。