符号主义的失败不是"规则错了"，而是"常识不可形式化"

符号主义的真正问题不是逻辑推理本身有错——逻辑推理在数学定理证明等领域非常成功。问题在于：人类日常的常识推理是模糊的、情境化的、默认大量背景知识的，这些东西无法用明确的规则穷尽。"水是湿的"这件事不需要人类写进规则库，但对机器来说这是一个巨大的认知鸿沟。这个洞察说明：AI的瓶颈往往不在"算得不够快"，而在"知道得不够多"。