ROUTE TIMELINE · 7 NODES
理性、适应与资源约束路线
知识与资源不足时，怎样定义合理的适应与决策？
问题何时发生转折？
点按图中的节点，进入问题、方法与原文定位。手机可横向滑动查看大图。
沿节点阅读问题、方法与证据
筛选作用于下方节点清单；上方图始终显示完整路线。点击图中的节点会恢复完整清单并跳转。
把计算与信息限制纳入理性选择
- 问题
- 在无法枚举所有结果时，如何定义可实行的合理选择？
- 方法与核心变化
- 简化收益表示，以满意阈值组织信息收集与顺序搜索。
- 限制
- 这是模型提议，作者承认缺少全面经验知识；并未证明人总按此过程行动。
- 接下来的问题
- 搜索次序、阈值和时间改变时，选择会怎样变化？
前提、原文定位与阅读范围
前提：阈值、可考虑选项、信息与环境均须说明；满意方案不保证存在或唯一。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
合理选择的约束包含决策者自身的计算与预测能力。
定位：99–103 · simon-1955
信息收集有成本；简化收益可允许只查找达到满意条件的方案。
定位：104–107 · simon-1955
顺序考察时可以选择先发现的满意方案；因此搜索次序进入行为解释。
定位：110，§3.1 · simon-1955
A Behavioral Model of Rational Choice ↗
Herbert A. Simon
版本：Quarterly Journal of Economics 69(1):99–118；JSTOR载体首PDF页为封面。
已读：印刷页99–107、110、114：模型前提、满意化、信息收集和顺序选择、结论。 (指定片段)
未读／未核验：108–109、111–113动态细节及115–118附录未完整读；未重建国际象棋例证。
只核对所列原文范围；作者实验未计为本站复现。
把知识与资源不足作为常态
- 问题
- 新任务、冲突知识和资源不足持续出现时，系统应如何工作？
- 方法与核心变化
- 以有限、实时、开放澄清工作定义；通过经验修正与优先级分配组织非公理推理。
- 限制
- 工作定义、已实现机制与未来扩展分开；开放不等于能处理任意自然语言或已经具备通用智能。
- 接下来的问题
- 经验顺序、任务竞争与遗忘改变时，适应表现是否仍稳定？
前提、原文定位与阅读范围
前提：输入仍受接口语言约束；适应假设未来与过去有一定相似性。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
作者将智能定义为信息处理系统在知识和资源不足时适应环境的能力，并区分有限、实时、开放三条件。
定位：§2.2，13–17 · wang-1995
任务获得相对资源份额；原子步骤与优先级调度支持持续输入。
定位：第5章80、89、91–92 · wang-1995
作者不声称优先级函数最优；NARS 3.0只处理原子项，复合项列为后续工作。
定位：92；§8.3，151–153 · wang-1995
Non-Axiomatic Reasoning System: Exploring the Essence of Intelligence ↗
Pei Wang
版本：Indiana University博士论文，1995年8月；讨论NARS 3.0及未来4，不代表现行系统。PDF文字抽取有字体编码噪声。
已读：封面、摘要；印刷页11–17、80、89、91–92、147、149–153；目录。 (指定片段)
未读／未核验：未通读语义、推理规则、全部系统例证及长期限制；未运行NARS。
只核对所列原文范围；作者实验未计为本站复现。
快速节俭启发式的生态检验
- 问题
- 少用信息的决策规则在什么环境下能保持准确？
- 方法与核心变化
- Take The Best按线索有效性顺序搜索，遇到首个可区分线索即停止；结合识别规则。
- 限制
- 查找线索数不是端到端时间；不能将此比赛写成所有任务、所有竞争算法上的优势。
- 接下来的问题
- 保留相同学习信息并改变线索结构，优势是否保持？
前提、原文定位与阅读范围
前提：线索顺序与识别的有效性来自指定环境；不能省略这些知识的来源。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
规则明确区分搜索、停止和选择；不把所有线索加权相加。
定位：653–654，算法步骤 · gigerenzer-goldstein-1996
作者在83座德国城市、9个生态线索的模拟中比较准确率与检索量；本研究不新增人的过程验证。
定位：654、656–658 · gigerenzer-goldstein-1996
回归权重使用该环境全部目标值，并非通常训练／测试拆分；作者承认以城市排名回归可略优。
定位：658及脚注4 · gigerenzer-goldstein-1996
Reasoning the Fast and Frugal Way: Models of Bounded Rationality ↗
Gerd Gigerenzer · Daniel G. Goldstein
版本：Psychological Review 103(4):650–669原刊PDF。
已读：650–654、656–659、665；重点为算法、模拟协议、658脚注4及限制。 (指定片段)
未读／未核验：未复算附录数据或逐图校勘曲线；尚未阅读Chater等1997批评正文。
只核对所列原文范围；作者实验未计为本站复现。
AIXI与有条件的资源有界近似
- 问题
- 未知环境中怎样形式化选择，以及能否在有限时间实现？
- 方法与核心变化
- 把通用程序先验与序贯决策结合；资源有界构造枚举可证明有效的候选程序。
- 限制
- 理论构造不提供现实可用性保证；2005书尚未审读，不借用其结果补齐本稿证明。
- 接下来的问题
- 在明确资源预算和证明限制下，可计算近似还能保留哪些性质？
前提、原文定位与阅读范围
前提：固定参考机、交互编码和规划视野；有限近似另有程序、时间与证明长度界。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
AIXI以程序长度加权环境并选择预期收益动作；核心定义不可计算。
定位：摘要；§4，19–22 · hutter-2000
§10比较的是带收益下界证明的候选，其排序涉及可证明的自评收益，不是任意程序的真实表现统治。
定位：54–56，式67–68及主定理 · hutter-2000
每周期开销含2^l乘t，初始化还含证明枚举；有效但不可证明或证明过长的程序不在保证内。
定位：56–57，Limitations and open questions · hutter-2000
A Theory of Universal Artificial Intelligence based on Algorithmic Complexity ↗
Marcus Hutter
版本：作者站64页稿，封面Munich 31.03.2000／cs.AI/0004001；不是2005专著。
已读：封面目录；§4印刷页19–22；§10的53–57，含算法、主定理与限制；55页像素已核对。 (指定片段)
未读／未核验：未通读所有证明、示例、视野问题及后续版本；未运行AIXI近似。
只核对所列原文范围；作者实验未计为本站复现。
跨环境的通用智能度量
- 问题
- 怎样将不同环境的目标达成汇总成一个形式指标？
- 方法与核心变化
- 对可计算、收益总和有界的环境，以2^-K权重累加代理的预期收益。
- 限制
- 不是现成的通用排行榜；复杂环境不等于困难任务，本文22页明确区分二者。
- 接下来的问题
- 有限任务抽样、先验和预算怎样改变实际排序？
前提、原文定位与阅读范围
前提：环境含目标机制；参考机决定复杂度，时间偏好进入收益设置。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
度量采用收益总和不超过1的环境，并依描述复杂度加权，而非对所有任务均匀平均。
定位：§3.2–3.3，19–23 · legg-hutter-2007
作者明确区分不可计算的定义与有限样本实际测验；参考机改变会影响复杂度常数。
定位：23、27–28、39 · legg-hutter-2007
对查表和中文房间的回应采取功能立场，不以实现效率或不可观测理解单独否定高分。
定位：§5.2，42 · legg-hutter-2007
Universal Intelligence: A Definition of Machine Intelligence ↗
Shane Legg · Marcus Hutter
版本：作者站49页稿，封面December 2007；本文页码按该PDF。
已读：17–23、27–28、39–42：交互、收益有界、定义、性质与常见批评；23页公式像素核对。 (指定片段)
未读／未核验：未逐条审读全部历史综述、AIXI最优性证明与批评回应尾部；未实现通用测验。
只核对所列原文范围；作者实验未计为本站复现。
把认知策略的收益与成本共同建模
- 问题
- 怎样由任务功能和认知约束推导可检验的过程模型？
- 方法与核心变化
- 在可执行策略类中权衡预期结果与计算机会成本，再将预测与经验比较。
- 限制
- 这是一套生成假说的方法，成功拟合不证明所有人类偏差都最优；真实环境与约束测量仍困难。
- 接下来的问题
- 在独立测得约束后，模型能否预言新的代价—准确率变化？
前提、原文定位与阅读范围
前提：需独立约束能力、代价和环境分布；不假设每次决定都现场解决最优化。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
作者把优化作用于认知机制；简单规则可通过学习与演化获得，而非每次重新求解。
定位：5–6，式2–4与Box 2 · lieder-griffiths-2020
未知环境通过分布进入模型；有限适应意味着人不必完全资源理性。
定位：5，式4后 · lieder-griffiths-2020
自由调整限制可能过拟合；作者要求独立容量测量或预测建模时未使用的现象。
定位：§6，14–15 · lieder-griffiths-2020
Resource-rational analysis: Understanding human cognition as the optimal use of limited computational resources ↗
Falk Lieder · Thomas L. Griffiths
版本：BBS 43 e1；2019在线稿、2020卷年；61页合订PDF含评论与作者回应。
已读：目标文章1、4开头至bounded optimality段、5–6、14–15；5页公式2–4像素核对。 (指定片段)
未读／未核验：未逐项读所有案例与实验证据；正文16结尾及全部评论不算已读；未运行作者模型。
只核对所列原文范围；作者实验未计为本站复现。
谁来约束资源理性的约束？
- 问题
- 怎样防止事后挑选限制把任意行为都解释为合理？
- 方法与核心变化
- 把直接批评、约束测量建议与作者的方法论澄清放在同一个证据链中。
- 限制
- 争论未在本批裁决；评论中的事例不是本站实验，作者回应也不替代独立预测检验。
- 接下来的问题
- 固定可用操作与成本后，哪些结果会使具体模型被拒绝？
前提、原文定位与阅读范围
前提：单个失败例子和总体适应标准不同；约束本身仍须可检验。
以下是原批次记录的主张类型；“原文报告”与独立复现分别登记。
Davis与Marcus认为仅以计算限制解释认知失败范围不足，过宽约束会使最优主张失去内容。
定位：评论e7，PDF 21–22 · davis-marcus-2020
Dimov指出单项行为混合多个过程，建议通过认知架构累积约束。
定位：评论e8，PDF 22–23 · dimov-2020
作者回应把资源理性定位为寻找机制的工具，并承认约束识别及文献选择是需要检查的问题。
定位：回应R1、R3，PDF 45–48 · lieder-griffiths-response-2020
Computational limits don’t fully explain human cognitive limitations ↗
Ernest S. Davis · Gary F. Marcus
版本：BBS 43 e7；同一合订PDF内独立评论。
已读：PDF 21末题名起至22页评论结束，完整评论正文。 (指定片段)
未读／未核验：未独立核验评论引用的实验和事故例证。
只核对所列原文范围；作者实验未计为本站复现。
Uncovering cognitive constraints is the bottleneck in resource-rational analysis ↗
Cvetomir Dimov
版本：BBS 43 e8；同一合订PDF内独立评论。
已读：PDF 22末题名起至23页Dingemanse题名前，完整评论正文。 (指定片段)
未读／未核验：未核验其综述的全部认知架构研究。
只核对所列原文范围；作者实验未计为本站复现。
Advancing rational analysis to the algorithmic level ↗
Falk Lieder · Thomas L. Griffiths
版本：BBS 43 e27；同一合订PDF内作者回应，按实际PDF页码45起定位。
已读：PDF 45题名及R1至页末；46–47；48的R3到页末。 (指定片段)
未读／未核验：其余回应和参考文献未完整审读；回应中的新例证未复算。
只核对所列原文范围；作者实验未计为本站复现。
已登记的关系
以下关系来自既有批次，仅列两端都在本路线中的记录。编辑性比较不表示已经证实历史影响。
概念比较 · e-simon-1955 → e-wang-1995
均把主体限制纳入问题；Wang此处引用的是Simon其他年份文本，不误标1955直接继承。
类型：conceptual-comparison · 状态：editorial-inference · 定位：Simon 99–107；Wang §2.2 · 来源：simon-1955、wang-1995 · round-three-b
概念比较 · e-simon-1955 → e-gigerenzer-goldstein-1996
比较满意停止原则；1996所引Simon版本主要为1956等，保留精确文献区别。
类型：conceptual-comparison · 状态：editorial-inference · 定位：Simon 110；Gigerenzer–Goldstein 651、654 · 来源：simon-1955、gigerenzer-goldstein-1996 · round-three-b
概念比较 · e-hutter-2000 → e-legg-hutter-2007
决策构造与评价度量相关；2007直接引用的AIXI证明多为后续版本，不能混同2000稿。
类型：conceptual-comparison · 状态：editorial-inference · 定位：Hutter §4；Legg–Hutter §3 · 来源：hutter-2000、legg-hutter-2007 · round-three-b
明确采用 · e-simon-1955 → e-lieder-griffiths-2020
作者明确引入主体内的资源约束。
类型：explicit-adoption · 状态：source-supported · 定位：6，引用Simon 1955内部环境约束 · 来源：lieder-griffiths-2020 · round-three-b
直接批评 · e-lieder-griffiths-2020 → e-resource-debate-2020
同一期目标文章、直接评论与作者回应。
类型：direct-critique · 状态：source-supported · 定位：评论e7、e8；回应R1、R3 · 来源：davis-marcus-2020、dimov-2020、lieder-griffiths-response-2020 · round-three-b
未覆盖与下一步
- 未通读Hutter 2005专著或后续AIXI证明；2000稿的保证只按所读条件表述。
- Chater等1997直接批评获取失败；本批启发式边界由1996原文的协议和作者自限支持。
- NARS限1995论文中的3.0；资源理性仅覆盖指定目标文章、两篇评论与部分回应，不代表当前全部研究。
第一轮未映射候选与各来源的未读部分仍需继续审校；本页不代表这条路线的全部历史。