ROUTE TIMELINE · 6 NODES
认知架构与多机制协作路线
多种认知机制怎样在同一系统中协作？
问题何时发生转折？
点按图中的节点，进入问题、方法与原文定位。手机可横向滑动查看大图。
沿节点阅读问题、方法与证据
筛选作用于下方节点清单；上方图始终显示完整路线。点击图中的节点会恢复完整清单并跳转。
符号系统如何成为可检验的智能假说？
- 问题
- 哪些结构和过程可能支持一般智能行动，又应怎样检验？
- 方法与核心变化
- 定义符号、表达式、指称和解释过程；提出物理符号系统假说，并用启发式搜索说明有限资源下怎样产生、修改和检验候选解。
- 限制
- 作者明确视其为经验概括而非定理；所列AI程序和人类行为研究不是对所有可能系统的穷尽证明。
- 接下来的问题
- 怎样设计任务，区分架构约束的预测与程序员额外写入的知识？
前提、原文定位与阅读范围
前提：“充分”指足够大的系统可以进一步组织成智能系统；不是任意符号程序都会智能。搜索依赖问题空间中可利用的结构。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
物理符号系统假说被明确称作可能为假的经验假说；充分性还要求足够规模及进一步组织。
定位：印刷116页 Physical Symbol Systems · newell-simon-1976
原文将构建智能程序的证据与解释人类认知过程的证据分开，并明确假说不是定理。
定位：印刷118页 The Evidence · newell-simon-1976
启发式搜索假说要求在有限资源下生成和修改符号结构；利用问题空间中的可检测规律决定下一步搜索。
定位：印刷120–121页 Heuristic Search · newell-simon-1976
Computer Science as Empirical Inquiry: Symbols and Search ↗
Allen Newell · Herbert A. Simon
版本：CACM 19(3):113–126，1976年3月；源自1975年图灵奖演讲
已读：PDF4–6／116–118页的定义、历史与证据；PDF8–9／120–121页的启发式搜索假说；PDF7部分；PDF1核对出版与演讲日期 (指定片段)
未读／未核验：未完整阅读引言、PDF7提取截断部分和PDF10–14；具体心理实验、搜索程序与参考文献未复现
核对指定原文主张，未独立重复所引用实验。
遇到僵局时如何求解并记住经验？
- 问题
- 如何让决策、子目标和学习在同一架构内持续协作？
- 方法与核心变化
- 知识产生偏好，决策僵局触发子目标；chunking追踪结果所依赖的条件，生成可复用的产生式。
- 限制
- 作者报告过度泛化可能导致负迁移，并承认外部知识获取等能力仍缺失；有逻辑表达能力也不保证学出足够一般的规则。
- 接下来的问题
- 保持任务不变，只改变相关属性与无关细节的编码方式，迁移范围怎样改变？
前提、原文定位与阅读范围
前提：原文描述SOAR4：长期知识统一存入产生式；任务表示与初始知识由具体模型提供。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
决策知识不足或冲突产生僵局，架构据此生成子目标；chunking通过依赖分析保存解决子目标所需的条件与结果。
定位：§1.4–1.5；§2.5开头；§2.6.1 · soar-1987
规则泛化依赖变量化、保留相关条件和任务表示的分解方式；逻辑上足够的表示也可能妨碍忽略无关细节。
定位：§3.3.3，55–57页 · soar-1987
本文的统一产生式长期记忆和统一chunking学习是具体架构假说；作者不保证当时架构已完整或稳定。
定位：§1.3；§4，58–59页 · soar-1987
SOAR: An Architecture for General Intelligence ↗
John E. Laird · Allen Newell · Paul S. Rosenbloom
版本：Artificial Intelligence 33(1):1–64，1987；实读为John E. Laird于2024-10-22上传的期刊扫描件网页转录，正文描述SOAR4
已读：引言2–4页、§1.1及§1.3–1.7；§2.5开头29–30页与§2.6–2.6.1的35–39页相关段落；§3.3.2负迁移段、§3.3.3的55–57页表示与泛化论证；§4结论58–59页。经网页正文转录阅读，未逐页视觉核验 (指定片段)
未读／未核验：其余完整算法、示例轨迹、实验表格和图形未逐项核对；没有复现学习收益，不把1987架构当作后来的Soar版本
期刊身份由出版方页面核对；所列机制及边界由作者上传正文核对。
分布式状态能否具有组成结构？
- 问题
- 连接主义是否只能把一个完整思想当成没有结构的原子？
- 方法与核心变化
- Smolensky在概念层把活动模式分解成子模式，在次概念层分析单元活动；咖啡例中组成部分随语境变化，符号描述作为近似高层描述。
- 限制
- 目标文§7.2明说复杂结构仍有难题；作者回应区分共同抽象的不同实现与精确执行符号原语。Fodor与Pylyshyn对语境变化下如何保证推理有效提出直接异议。
- 接下来的问题
- 能否构造具有明确绑定与解绑定规则的分布式表征，再分开检验结构表达、操作和学习？
前提、原文定位与阅读范围
前提：这是一种研究纲领及表征分析；不能把作者认为可行的方向当作已经完成的普遍系统性保证。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
§7.2直接点名Fodor与Pylyshyn1988，并以分布式子模式的组成结构反对把批评推广到所有分布式网络。
定位：PDF/印刷16–17页，§7.2 · smolensky-1988-bbs
作者回应图1区分精确执行符号原语和直接以连接主义形式实现认知抽象；后一方向要求重建架构。
定位：PDF/印刷62页，回应§1.1图1 · smolensky-1988-bbs
Fodor与Pylyshyn明确批评Smolensky的咖啡例与近似语境等价，追问关系相似怎样保证推理有效。
定位：印刷45–46页，§3.3 · fodor-pylyshyn-1988
On the proper treatment of connectionism ↗
Paul Smolensky
版本：Behavioral and Brain Sciences 11，目标文1–23页；所读74页文件另含评论与作者回应，DOI对应目标文章
已读：PDF/印刷15–17页，重点§7.2；作者回应62、67–70页。68–69页原先被提取截断的正文已补齐阅读。 (指定片段)
未读／未核验：其他正文、评论和回应未完整读；同年另文 The Constituent Structure… 的全文入口失败，不能用此文件冒充该文
只核对所列原文主张；独立验证另见节点记录。
Connectionism and cognitive architecture: A critical analysis ↗
Jerry A. Fodor · Zenon W. Pylyshyn
版本：Cognition 28(1–2):3–71；扫描期刊版
已读：PDF1–49／印刷3–51页：§1、§2、完整§3.1–3.5与§4开头；扫描文字识别辅助阅读，图形及少量识别不清符号不据OCR重建 (指定片段)
未读／未核验：PDF50–69／印刷52–71页尚未完整读；不能称全文完成
只核对所列原文主张；独立验证另见节点记录。
并行模块如何形成连贯的认知过程？
- 问题
- 视觉、动作、目标和记忆各自工作时，怎样约束它们的相互协调？
- 方法与核心变化
- ACT-R 5.0让模块经有限缓冲区与产生式系统交互；模块可异步并行，但单个缓冲区和每周期产生式选择形成串行约束。
- 限制
- 作者承认并非所有神经处理都经过基底节，且部分学习相关影像反应尚无完整解释。单一任务拟合不足以验证整套架构。
- 接下来的问题
- 固定架构和参数后，改变双任务相对时序能否预测干扰变化？
前提、原文定位与阅读范围
前提：约50毫秒周期及缓冲区容量是模型假设；脑区对应为作者提出的机制解释，不是直接测得的软件式模块边界。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
本文明确采用ACT-R 5.0；产生式系统只访问模块缓冲区的有限信息，模块内部及模块之间可并行。
定位：1036–1038页 · anderson-2004
双任务几乎无干扰并不自动排除中央串行瓶颈：该模型用两任务对瓶颈的需求在时间上错开来解释。
定位：1039–1041页，图2–3及后续讨论 · anderson-2004
总讨论承认全部神经处理都经基底节的解释不成立，并列出未解释的学习相关反应。
定位：1057页 General Discussion · anderson-2004
An Integrated Theory of the Mind ↗
John R. Anderson · Daniel Bothell · Michael D. Byrne · Scott Douglass · Christian Lebiere · Yulin Qin
版本：Psychological Review 111(4):1036–1060；本文描述ACT-R 5.0，不能当作所有版本的固定结构
已读：PDF1–6／1036–1041页：架构、缓冲区、串并行与双任务例；PDF22／1057页讨论；PDF23结论末段；PDF5／1040页图2时序与图3预测已视觉核对 (指定片段)
未读／未核验：记忆与程序学习详细方程、复杂任务建模及fMRI实验方法未完整读；引用的行为实验和替代模型未复现
核对指定原文主张，未独立重复所引用实验。
共同架构怎样协调异质知识？
- 问题
- 增加知识量以后，原型、实例和规则之间的冲突如何处理？
- 方法与核心变化
- 作者建议以概念空间连接不同表征，并显式设计分类过程之间的协调。
- 限制
- 扩充知识库不自动解决异质推理；概念空间的规模仍有缺口。文章未证明唯一必要架构，也未否定ACT-R所有任务结果。
- 接下来的问题
- 保持知识内容不变，改变冲突协调机制，能否预测规则、原型和旧实例相冲突时的选择？
前提、原文定位与阅读范围
前提：这是采用异质表征立场的研究建议；架构批评限定于文中讨论的当时方案。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
作者区分知识规模不足与知识类型单一，认为扩充大型知识库不足以单独解决后者。
定位：302页及306页 Extended Declarative Memories · chella-frixione-lieto-2017
对ACT-R的批评侧重原型与实例推理的联合协调和自主选择；作者同时承认所需组件可能具备，尚未充分利用。
定位：305页 ACT-R，末段保留意见 · chella-frixione-lieto-2017
Representational Issues in the Debate on the Standard Model of the Mind ↗
Antonio Chella · Marcello Frixione · Antonio Lieto
版本：AAAI Technical Report FS-17-05，302–307页；2018年的arXiv上传与2020年重印不是原始发表年
已读：正文302–306页及307页参考文献；核对脚注1、2、4、5及ACT-R批评中的保留意见 (指定片段)
未读／未核验：所引DUAL PECCS、分类实验与神经研究未逐篇核验；未运行架构或验证作者对当时版本的全部功能判断
核对指定原文主张，未独立重复所引用实验。
不同架构能共享哪些可检验约束？
- 问题
- 怎样从多个认知架构提取共同假设，支持累积研究？
- 方法与核心变化
- 以ACT-R、Soar与Sigma比较模块、记忆、学习和感知动作；工作记忆连接组件，程序记忆选择行动。
- 限制
- 作者列出元认知、情感、心象、跨模块直接通信及学习等缺口；理论一致、实现具备和经验验证需要分别判断。
- 接下来的问题
- 固定模块通信与时间假设后，哪些跨任务结果会使这些约束失败？
前提、原文定位与阅读范围
前提：目标是类人心智；提案基于有限架构的综合，标准模型本身不是已经实现的单一架构。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
模型把模块内及模块间并行，与认知周期中的单次有意行动选择结合。
定位：作者稿§4.1；§5表1 A · laird-2017
长期记忆包含符号结构与量化元数据；程序学习至少区分规则组合和调节选择的强化学习。
定位：作者稿§4.2–4.3；表1 B–C · laird-2017
作者明确列出元认知、情感、心象和跨模块通信等未解决内容，并计划引入更多架构。
定位：作者稿§5，表2说明之后 · laird-2017
A Standard Model of the Mind: Toward a Common Computational Framework across Artificial Intelligence, Cognitive Science, Neuroscience, and Robotics ↗
John E. Laird · Christian Lebiere · Paul S. Rosenbloom
版本：期刊AI Magazine 38(4):13–26，2017-12-28；实读为John E. Laird于2018-02-09上传作者稿的网页全文转录，作者稿页码不同于期刊排版
已读：作者稿标题、摘要；§3三种架构、§4.1–4.4、§5 Summary及表1文字；重点核对学习机制、组件通信和未解决问题。原网页全文定位，不是检索摘要 (指定片段)
未读／未核验：§1–2未完整读；图1–4和表2颜色编码未视觉核验，未据其逐格下结论；没有核对作者稿与期刊版逐字差异，也未复现实验
来源身份和发表日期由AAAI出版页核对；正文来自作者上传全文的网页转录。
已登记的关系
以下关系来自既有批次，仅列两端都在本路线中的记录。编辑性比较不表示已经证实历史影响。
直接批评 · e-anderson-2004 → e-chella-frixione-lieto-2017
后文明确引用Anderson等2004，并讨论ACT-R的异质知识协调限制；不是对2004年双任务拟合结果的直接反驳。
类型：direct-critique · 状态：source-supported · 定位：305页 ACT-R；306页参考文献 · 来源：chella-frixione-lieto-2017 · round-three-a
architecture-comparison · e-anderson-2004 → e-laird-2017
共同模型明确将ACT-R纳入比较；后者讨论更晚版本，不能把所有2017年假设倒置成2004年的实现。
类型：architecture-comparison · 状态：source-supported · 定位：Anderson等1036–1041页；Laird等作者稿§3–4 · 来源：anderson-2004、laird-2017 · round-three-a
直接批评 · e-laird-2017 → e-chella-frixione-lieto-2017
批评明确针对当时待刊的标准模型提案，侧重知识类型及推理协调。两者同年，并非依靠期刊出版日期推断阅读顺序。
类型：direct-critique · 状态：source-supported · 定位：302页摘要与引言；305–306页；307页Laird等in press引文 · 来源：chella-frixione-lieto-2017 · round-three-a
architecture-comparison · e-soar-1987 → e-laird-2017
共同模型纳入后来的Soar，讨论多个记忆与学习机制；本边表示同名架构在比较中的位置，不把2017结构倒置为1987实现。
类型：architecture-comparison · 状态：source-supported · 定位：Soar §1.3、§4；Laird等作者稿§3–4 · 来源：soar-1987、laird-2017 · round-three-a
明确采用 · e-newell-simon-1976 → e-soar-1987
Soar作者明确把物理符号系统假说列为其架构假说并引用Newell与Simon 1976；这证明采用关系，不证明该假说的必要性已获验证。
类型：explicit-adoption · 状态：source-supported · 定位：58页§4第一项假说及63页参考文献52 · 来源：soar-1987 · round-three-a
未覆盖与下一步
- Newell 1990原书及ACT* 1983尚未建立本批原典笔记；现有节点不替代这些版本。
- 标准模型的其他直接异议、图2逐格比较与2017年后的修订仍待扩展；本批没有全面重跑认知架构。
第一轮未映射候选与各来源的未读部分仍需继续审校；本页不代表这条路线的全部历史。