[Agent 考古] 从进程栈到 Z 规范:BDI 意图架构的四代演化
BDI 不只是“信念-愿望-意图”的口号,而是一段四代工程演化:1987 年 PRS 首次把意图做进解释器,1995 年 Rao & Georgeff 给出抽象解释器与三种承诺策略,1996 年 AgentSpeak(L) 自认“数据结构而非模态算子”,1998 年 dMARS 完成显式意图与 Z 操作语义。本文每一代都配可运行代码验证,覆盖盲区即死局的实验,并用 LLM 替换 dMARS 的计划选择函数:三计划场景 20/20 全选最优——元级慎思的微观实证,及其不能外推的诚实边界。
打开即沦陷:keyv 蠕虫与 AI 编码助手时代的供应链暗战
2026 年 8 月 4 日,攻击者劫持 keyv 维护者的 GitHub 账号,发布带合法 SLSA 签名的恶意版本,4 小时投毒 444 个 npm 包、2212 个版本,波及周下载超 5 亿次。恶意代码写入 .claude/settings.json 和 .vscode/tasks.json,无需 npm install,打开项目或启动 Claude Code 即执行。本文还原完整时间线与影响漏斗,本地复现零安装执行向量,实测 Claude Code 零交互触发,并给出安全版本(keyv 5.6.0)与处置顺序:先清持久化,再吊销令牌。
[Agent 考古] 意图即承诺,智能体即社会——自主性的第一个可计算答案 (阶段三导航)
1987-2001 年,多 Agent 研究把“意图”变成可计算的数据结构,给出自主性的第一个答案——BDI(信念、愿望、意图)。本系列总览梳理四条叙事线:承诺与它的放弃条件、从未互操作的社会、设计者手雕的门控、意图编辑权之争,并为每条线配上 2024-2026 年的当代对照轴与六个“LLM 替换经典组件”A/B 实验。读完这套系列,你可以对 MCP、A2A、AutoGen 式框架的命运形成自己的预测性判断。本文附四条阅读路线与全部十二篇导航。
比尔·盖茨长文警告原文翻译:《动荡的 AI 时代已经到来,我们现在的选择至关重要》
比尔·盖茨最新万字文章,直指AI将引发人类历史上最动荡的转型期。他提出AI带来的三大风险(大规模失业、安全失控、人际关系侵蚀)与三大解决方案(建立全球治理框架、设立“人类保留区”、改革税收体系),强调AI不会自动惠及所有人,必须通过政府、慈善与社会共同努力,才能让这场“划时代转变”走向公平与向善。本文适合关注AI社会影响、政策制定、未来就业与教育变革的读者深入阅读。
[Agent 考古] 自知、自觉、自止——终章定论:Agent 不需要意识,但必须知道自己的边界、理由和终点
Chollet 2019年将智能定义为“获取新技能的效率”。本文以此为标尺重审ELIZA到LLM全史,揭示“多少人工就有多少智能”的精确内涵——priors购买技能但priors≠智能。提出四层专精化(专项LLM+专项工具+专项技能+专项资源)作为未来Agent工程方向,论证Minsky组织论与Chollet度量论的互补公式。
[Agent 考古] 多头注意力共享目标、参数即隐式模型、CoT 是概率采样——LLM 被三条“反叛伏线”夹击
Bar-Hillel 1958年批评“前提选择比演绎难10^10量级”,贯穿符号主义、行为主义到LLM时代。本文以三条反叛伏线(Minsky心智社会、Brooks Subsumption、Brooks无表征)为锚点,论证LLM是三重困难的“统计版折中”,并通过精确率0.50、困境指数0.307等实验数据量化其边界。
[Agent 考古] 别再给机器人建“世界模型”了!Brooks用代码证明:世界本身就是最好的模型
Rodney Brooks 1990-91年以“物理接地假设”对垒Newell & Simon的物理符号系统,正式宣告“无表征智能”。本文梳理三篇核心论文的论证递进,详解学习四分类、§6.3官方修正(允许部分世界模型)及Q-learning判词,并对照LLM Agent揭示其当代启示。
[Agent 考古] 别再给机器人装“大脑”了!1986 年的“三无”架构证明:越不思考,活得越久。
1986年Brooks提出Subsumption架构,以行为分层和固定优先级仲裁彻底否定符号主义AI的中央世界模型。本文对比Shakey/STRIPS路线,详解抑制/禁止机制、优雅降级实验,并揭示其与LLM Agent的结构呼应,厘清反应式控制的本质边界。
[Agent 考古] 你的大脑里住着一个小人吗——Minsky 说:不,住着成百上千个”笨蛋”
解读 Marvin Minsky 经典著作《心智社会》,剖析其如何从结构维度否定符号主义 AI 的“单动因谬误”,论证智能源于大量无智能小 Agent 的分布式协作与冲突协商。文章详解差动机、审查器谱系等核心机制,并揭示该理论与当代 LLM 多头注意力的结构同构,为理解分布式 AI 与认知架构演变提供关键历史视角。
[Agent 考古] 600 条规则,一个反向推理引擎——专家系统的顶峰是怎么建成又怎么暴露边界的
MYCIN 首次在高风险医学领域证明了符号规则系统的实用价值,其完全可追溯的推理链至今仍是可解释性 AI 的黄金标准。但它也暴露了符号主义范式的本质边界:知识获取瓶颈、规则间交互不可预测性,以及 600 条规则覆盖一个子域、扩展至更广领域时规则爆炸的困境。