AI是如何学会逻辑推理的?规则派和数据派之争
简单说:AI学逻辑有两条路——规则派把推理规则一条条写给它,数据派喂海量例子让它自己悟。两条路吵了六十年,今天的大模型是数据派的巅峰,能推理却会胡说,因为它学的是"像真的"不是"是真的"。出路在两条路合流。
ai如何学习逻辑这个问题,我用一块西瓜给邻居小孩讲明白过,先把这个场景原样端给你。去年夏天楼下乐乐五岁半,指着西瓜问我:"叔叔,为什么这是水果,黄瓜不是?它们里面好像啊。"我被问住了——因为我发现无论怎么回答,都在现场发明规则:"甜的是水果?""那番茄呢?""长在树上的?"西瓜趴在地上。小屁孩的追问,把我的规则一条条击穿。
最后我说:"你多看看、多尝尝,就知道了。"
这句敷衍的话,恰好是AI六十年路线之争的全部:我试图给他"规则",失败了,于是退回给他"经验"。前一条路叫符号主义,后一条叫连接主义。这篇就用认水果这一个例子,把两派怎么教机器推理讲透,再回答那个大家都撞见过的问题——大模型为什么会一本正经地胡说八道。
规则派教AI:像写一本《水果判定守则》
原子答案:符号主义的思路是把人类专家的推理规则翻译成机器可执行的逻辑,"如果甜且是植物果实且通常生食,那么判定为水果"。推理过程透明可查,每一步都能追问为什么。
上个世纪的AI主流就是这套打法,最风光的成果叫专家平台:把老医生的诊断经验、老质检员的判废标准写成几千条"如果...那么..."规则。它的好处实打实——推理链条清清楚楚,出错能定位到具体某条规则,改起来心里有数。达特茅斯会议那代人真心相信,把人类知识全部写成规则之日,就是机器智能到来之时。这段起点的故事在机器学习三起两落发展史里有完整版,这里不展开。
但它栽在哪,回到西瓜就懂了。"甜"这个条件,草莓算,柠檬也自称水果;"生食"这个条件,西方人拿番茄当水果沙拉,我家拿番茄炒蛋。规则越写越多,互相打架的也越多,真实世界的概念边界是毛边的,规则是硬边的,永远对不齐。八十年代专家平台的维护者最清楚这种痛苦:改一条规则,十条旧规则开始抽风。第二次AI寒冬,一半是这套复杂度压垮的。纯粹的逻辑,最终败给了生活的不讲逻辑。
数据派教AI:不带课本,只带一百个瓜
原子答案:连接主义不给规则,给例子——给机器看一万张标好"水果/蔬菜"的图,让它自己调整内部亿万个参数,直到判断越来越准。它学不出一条能念出来的规则,但能直接给出判断。
还是教乐乐。我不讲定义,带他去水果摊逛了一个月:这是苹果,这是冬瓜,这是他吃过的西瓜。某天他指着冬瓜说"这个不是水果,太大太不甜了"——注意,我没教过他这条规则,他自己从一堆例子里长出了判断力。他讲不出"水果的定义",但他的小脑袋完成了从样例到概念的归纳。
今天的深度学习一模一样。神经网络的层层参数就像乐乐脑子里亿万个突触连接,训练就是反复看样例、反复纠错、参数微微挪动,直到输出逼近正确答案。它强在规则派永远够不着的地方:模糊、毛边、例外百出的真实世界,图像、语音、语言全是这种货色。ImageNet竞赛2012年那次断层式夺冠,就是数据派对规则派的公开处刑,此后十年AI的话语权彻底易主,这层概念关系想再理一遍的,看AI与机器学习的套娃结构。
弱处也很清楚。我问过做风控的朋友,他们死活不敢用深度模型直接做信贷拒贷:模型说这个人高危,为什么?参数之间的权重是一锅粥,说不清。监管要书面理由,客户要说法,黑箱给不了。规则派丢了天下,但"可解释"这口气一直吊着,法律、医疗、金融到现在还得请它回来坐镇。
ai如何学习逻辑的两派对照表:一张表看懂六十年路线之争
原子答案:两派在"怎么学、强在哪、弱在哪、去哪了"四行里对照最清楚。规则派透明但脆弱,数据派万能但黑箱,今天 AI 的主旋律是让两者结婚。
| 对照项 | 规则派(符号主义) | 数据派(连接主义) | 我的白话注释 |
|---|---|---|---|
| 教学方式 | 写规则给机器背 | 喂例子让机器悟 | 守则 vs 刷题海 |
| 推理过程 | 每步可查可解释 | 参数黑箱难追问 | 一个交作业本,一个交结果 |
| 强项 | 数学、逻辑、法律等硬规则领域 | 图像、语音、语言等模糊领域 | 各自的主场分明 |
| 死穴 | 规则写不完,例外杀不完 | 没见过的情况瞎蒙 | 一个累死,一个蒙圈 |
| 代表产物 | 专家平台、定理证明器 | 深度网络、大语言模型 | 一个退休返聘,一个当红 |
| 现状 | 以逻辑模块身份返聘 | 以主力身份狂奔 | 正在往一块儿凑 |
这张表的最后一行是最值得盯的:两派没分胜负,在合流。大模型答数学题时内部调用代码解释器、检索引擎,外面那层神经网络的直觉,兜里揣着规则派的计算器,这个路数学界叫神经符号融合,白话讲就是"直觉派请了个讲逻辑的军师"。
大模型为什么一本正经地胡说:数据派的先天胎记
原子答案:大模型的胡说八道(幻觉)根源在它的学习方式——预测"什么样的接续最像训练数据",而非"什么是真的"。像不像和是不是,在它那里没有区别,所以它编起参考文献来格式工整、人名逼真、页码齐全,就是不存在。
我逮到过一次现行的。让某大模型推荐三篇讲注意力机制的论文,它给了两篇真的、一篇"张伟等人2021年发在某刊"的——期刊名是真的,作者名字很常见,年份合理,格式完美,查无此文。这不是它坏,是它就是这么学的:它见过千万条真实文献引用的样子,于是它生成"一条像极了的引用"。乐乐如果只见过大量"水果=甜"的例子,他也会一脸真诚地告诉你柠檬是甜的,逻辑同源。
规则派在这里就有话说:1+1永远等于2,写在规则里的东西不靠概率。这也是为什么大模型产品纷纷外挂计算器和搜索——用规则派的确定性,给数据派的直觉兜底。想让模型当老师还不出错,得学会怎么问、怎么核,这套姿势我在用AI当老师的提问框架里写过可抄的模板。至于机器到底算不算"会学习",那场争论比这更哲学,看一个训练实验的答案。
说点我自己的观察收尾,不一定对。
教乐乐认水果这件事让我意识到,人类小孩其实是两派混着用的:先靠例子悟出直觉,长大再用定义修剪直觉,两套系统互相兜底。AI花了六十年,先走纯规则摔了一跤,再走纯数据撞了墙,现在才走到人类三岁小孩就会的"混着用"。技术路线的轮回有时候挺讽刺的。
两派论战的思想源头能追到明斯基那批人的论著,想读原始脉络的,斯坦福哲学百科的连接主义条目写得极工整;维基百科对符号主义脉络的梳理也可以对照着读,Symbolic AI词条把专家平台的兴衰串成了一条线。中文世界的概念梳理可以配着人工智能知识框架那张图看,符号主义和连接主义在图里各有位置。推理之外,AI跟强化学习又是什么关系、怎么用打游戏讲明白,我另外写过一篇用打游戏讲透强化学习,跟这篇正好拼成三块拼图。
常见问题
现在的大模型到底会不会逻辑推理?
会一部分,但机制和你想的不同。它的推理更像"见过类似题,模仿解题的形状",遇到训练数据里没有的全新逻辑链就露馅。判断它是否真会,扔一道需要三步以上新推理的题给它,比看它聊天靠谱得多。
规则派的AI现在还有哪些在用?
不少。税务申报校验、航班调度、工业排产这些规则清楚、例外稀少的领域,规则引擎依旧是主力,因为可解释、可审计。你每年报税时被系统秒退的那次,多半就是规则派的功劳。
两派最后谁会赢?
大概率没有赢家,只有分工。模糊感知的事归数据派,硬逻辑的事归规则派,产品层把它们拼起来。人类自己也是这么干的:直觉走系统一,推理走系统二,谁也没取代谁。
回到开头那块西瓜。ai如何学习逻辑的六十年探索,答案居然浓缩在带小孩逛水果摊里:只背守则会死板,只凭直觉会跑偏,又悟又背才是正路。下次大模型一本正经地胡说时,你就知道——那不过是那个只逛过水果摊、没上过定义课的孩子,在真诚地瞎猜。
觉得这个西瓜例子把符号主义和连接主义给你讲通了,转给同样被这些词绕晕的朋友,五岁半的乐乐都能懂,他也能。