通用智能形式化 (Legg-Hutter / AIXI)
在所有可计算环境中最大化加权期望奖励的理论极值。
西蒙 (Herbert Simon) 与资源理性假说:智能不是无节制地穷举搜索,而是在时间、能耗与认知负荷约束下,寻求满意解与计算成本的最优折衷。
在所有可计算环境中最大化加权期望奖励的理论极值。
将搜索与推理本身的算力代价计入效用,寻找计算资源的合理分配策略。
简单启发式与特定环境结构的共振,往往优于复杂而过度拟合的计算。
在假设知识不完备、资源时刻受限的真实条件下持续自主运作。
打破‘算得越多越聪明’的虚妄,将智能与计算代价、现实约束紧密锚定。
不同学派在数学形式上互不兼容(如 AIXI 的不可计算性与有限启发的经验性)。
将此路线置于人类探索智能的根本分歧坐标系中,观察其立论重心与张力平衡点:
在该路线的理论视野中,两者保持着动态平衡与互为前提的关系。
深入探索内部信息组织如何有效映射并应对外部物理环境的不确定性。
既追求理论形式上的抽象概括力,亦尊重系统在实现层面的组件异质性。
没有任何单一学派垄断了智能的全部真相。顺着批驳与互补的引力线,跳转到与本路线深度咬合的相邻探索家族:
此探索路线目前暂未收录独立长文,相关理论脉络正在持续整理中。
查看全站全部文章 ↗