逻辑严密,也不见得是好事。 | 人工智能哲学02

合集 · 人工智能哲学 (3)

  1. 36:04
    为何说,人工智能不会威胁人类生存?
  2. 26:10
    逻辑严密,也不见得是好事。 | 人工智能哲学02
  3. 20:21
    “深度学习”这个词到底曾经糊弄了多少人? | 人工智能哲学03
Description
“当初学逻辑学就不该起手学形式逻辑!”为什么会有人这么吐槽形式逻辑呢?因为这种逻辑相当地“反人类”,而当今人工智能将这种“反人类”的逻辑学用到人工智能中,自然就会造出“人工智障”了。
本期从逻辑角度吐槽人工智能的问题,既是吐槽,也是硬核干货。

Comments

言吾言_ 2024-04-11

现在人工智能逻辑通常讲非经典逻辑,当然非经典逻辑仍然是弗雷格式的函项逻辑。Fred Sommers就主张用传统亚里士多德式的方法分析自然语言,现代广义量词理论背后的基本思想也是更接近亚里士多德的词项逻辑。

♥ 21 ↩ 2

albertewang 2024-04-10

可是,人工智能事实上一点也不逻辑啊 把逻辑谜题喂给人工智能,他会直接给我一个题干里直接排除的东西作为答案[笑哭]

♥ 10 ↩ 3

嵊泗小哥 2024-04-11

法律法规领域尤其如此。现在的邯郸霸凌案件如何定罪判刑就比较典型。

♥ 1 ↩ 1

傻瓜瓜瓜傻 2024-04-10

大前提:偶然的呀,小前提:从偶然里获得经验,结论:经验其实不稳定[吃瓜]

♥ 1

JUSTTRIGER 2026-01-18

@有趣的程序员 @Ai好记

Ai好记 2026-01-18

📝总结一下:1. 基于规则的人工智能(符号AI)的核心缺陷:其依赖形式逻辑(如弗雷格-罗素传统),过度抽象化,剥离语义关联,导致推理僵化、无法处理偶然性与语境变化,典型案例是波音737MAX因传感器故障引发空难,暴露了机械执行规则的危险性。 2. 形式逻辑的“原罪”:它将命题真假视为纯句法问题,忽略内容相关性(如“5+5=10 → 基辅是乌克兰首都”在逻辑上成立但语义荒谬),使AI产生人类无法理解的推理,需人工干预削减无效逻辑空间,但相关性与否随语境动态变化(如“石头”在“舀水”与“砸缸”任务中作用迥异),难以预先编码。 3. 亚里士多德词项逻辑的启示:其三段论通过“中项”(如“人”连接“所有人终有一死”与“苏格拉底是人”)揭示语义关联机制,强调概念间的具体联系,比命题逻辑更贴近人类直觉,可解决形式逻辑的“网格过大”问题(即无法捕捉细微意义关联)。 4. 传统符号AI的复兴路径:不应全盘抛弃规则驱动AI,而需融合亚里士多德精神(如词项逻辑的语义敏感性),结合现代技术(如黄培提出的“纳斯逻辑”,用集合论实现可计算的词项逻辑),在计算机语境中重建智能推理框架。 5. 批判性继承古人智慧:反对盲目崇拜现代技术而贬低古人(如亚里士多德),强调其思想精髓(如语境化、语义关联)对AI发展的价值,但需通过艰苦的理论重构(而非照搬)实现“古为今用”。 6. 对数据驱动AI的预警:指出急于转向深度学习(数据驱动)可能重蹈覆辙(如“厌食症未愈又得痛风”),暗示需平衡规则与数据方法,避免非此即彼的极端选择。 7. 核心结论:基于规则的AI并非一无是处,其问题根源在于过度依赖形式逻辑而丢失亚里士多德传统;未来AI应融合两者优势,在技术革新中实现古人智慧的创造性转化。 由 @JUSTTRIGER 召唤~ 关注我,然后@我,即可总结! 获取视频逐字稿和PPT就上Ai好记,aihaoji。com,使用【bilibili】兑换码免费使用。

welbq 2024-09-07

符号主义AI最典型的就是现在游戏技术里边的脚本式AI,比如决定NPC怎么行动敌人怎么行动,比如电竞游戏用来练习对战用的机器人

大棉帽 2024-05-11

发现作者1不懂AI ,2不懂人工智能。三不懂智能,更不懂哲学。

↩ 1

是道布到可定式不 2024-04-29

人工智能回避了人类部分的局限不及

XuBaoBao111 2024-04-27

[龙年]

狗眼看哲学 2024-04-25

“真到真的推理是OK的”,这是个什么逻辑?表述有问题吧

AI全文总结 2024-04-23

## 课代表总结 视频探讨了规则驱动的人工智能(符号人工智能)的优缺点,并通过埃塞俄比亚航空空难等例子,说明了其在面对偶然性和复杂情况时的局限性。视频还提到了基于数据驱动的人工智能的兴起,以及哲学家对形式逻辑的批评,主张借鉴亚里士多德的词项逻辑来改进人工智能的推理能力。 ## 要点 - 规则驱动的人工智能是通过记录人类处理问题的规则,转化为程序让机器执行。 - 这种人工智能容易理解,出错后也容易修复,但不灵活,对规则变动敏感。 - 基于规则的人工智能的缺陷在于不能应对世界的偶然性和复杂性,容易导致错误决策。 - 埃塞俄比亚航空空难是规则驱动人工智能由于攻角传感器故障导致的悲剧。 - 形式逻辑在人工智能中的应用存在问题,因为它过于形式化,与人类直觉有冲突。 - 逻辑学家弗雷格和罗素的命题逻辑导致了人工智能处理问题的分辨率低,难以捕捉细微意义。 - 亚里士多德的词项逻辑,如三段论,通过中项连接前提和结论,具有更好的解释力和推理能力。 - 弗雷格革命后,亚里士多德的传统技能被边缘化,因为其可计算性不强,依赖直觉。 - 为在计算机环境中应用亚里士多德的逻辑,需要结合现代技术,如黄培提出的纳斯逻辑。 --由@星空之爪 召唤发送,其他AI工具点头像自取

星空之爪 2024-04-23

@AI视频小助理

AI视频小助理 2024-04-23

一、基于规则的人工智能的运作原理和应用场景,并指出其缺陷在于不能灵活应对规则变化和偶然性因素。 00:01 - 反对基于规则的人工智能,强调古人的精神 01:06 - 基于规则的人工智能容易理解,但不够灵活 04:10 - 埃塞俄比亚航空的空难事件说明基于规则的人工智能存在缺陷 二、一个基于规则的人工智能在飞行过程中出现错误导致坠机的事故,探讨了形式逻辑的局限性和人工智能的未来发展。 05:15 - 攻角传感器读数导致计算机错误动作,导致飞机坠毁。 06:35 - 基于规则的人工智能存在原罪,需要考虑传感器误差等问题。 09:03 - 基于形式逻辑的人工智能存在问题,需要考虑人类直觉和逻辑形式之间的差异。 三、形式逻辑与语境的关系,以及形式逻辑的局限性。通过推理和手动告诉机器相关性和无关性,可以得到符合人类直觉的结论。 10:27 - 数学领域和乌克兰的首都是基辅没有关系 11:02 - 形式思维是将不同命题抽象成形式,而不考虑其内容 14:01 - 人类需要手动告诉机器哪些推理是合法的,难度很大 四、基于数据的人工智能和传统形式逻辑的区别,以及亚里士多德的词项逻辑的机制,通过中向项的帮助,使得大前提和小前提能够在一个推理中出现。 15:40 - 人工智能需要根据语境决定人物的身份 16:30 - 基于数据的人工智能也有其弊端,需要更好的逻辑思考 17:04 - 沿用亚里士多德的词项逻辑角度思考问题,细分意义单位,避免单一思考 五、亚里士多德的传统技能和弗雷格的逻辑的关系,以及如何在新的技术环境下复活亚里士多德的精神。 20:52 - 需要中介人来连接两个不相识的人 22:54 - 亚里士多德的传统技能可计算性不强,需要重整 23:58 - 需要发扬古人的精神,重建工作艰苦,但仍有价值 --本内容由AI视频小助理生成,关注解锁AI助理,由@星空之爪 召唤发送

星空之爪 2024-04-23

@AI视频总结

Palapala123 2024-04-12

你少穿点就不用扇扇子,这是死板的智能; 你既要穿it高领衫+又要扇扇子就是高级智能。 毕竟羽扇纶巾从来不是降温设备而是装x的装备。

↩ 11

芸亦飞扬 2024-04-11

徐老师 孙坚 六什么时候出版 有机会可以讲讲你的创作思路

↩ 1

左砍 2024-04-11

……建议多看看现在人工智能的的底层原理。 实际上千手观音,c4已经在军事上秒杀其他玩家了

傻瓜瓜瓜傻 2024-04-11

[呲牙][呲牙][呲牙][笑哭][笑哭]九年义务教育漏网之鱼