27、符号框架与形式逻辑：人工智能的理论基石

符号框架与形式逻辑：人工智能的理论基石

1. 物理符号系统假设

Newell和Simon提出了物理符号系统假设，即物理符号系统具备实现通用智能行为的必要和充分手段。所谓“必要”，指任何展现出通用智能的系统，经分析后都将被证明是物理符号系统；“充分”则意味着任何规模足够大的物理符号系统都能被组织起来展现通用智能；“通用智能行为”期望在任何实际情况下，系统能在一定速度和复杂度范围内产生适合自身目标且适应环境需求的智能行为。

不过，这只是一个经验性假设，有可能是错误的。实际上，已经有人基于哲学或科学依据得出该假设不成立的结论。从科学角度来看，只能通过提供有关自然世界的经验证据来攻击或捍卫这一假设。

美国斯坦福大学的Nils J. Nilsson在相关论文中分析了对物理符号系统假设的一些负面观点，指出这些观点主要基于智能行为的非符号假设以及大脑的非计算和无意识假设。Nilsson认为，达到人类智能水平的人工智能系统将是符号处理和非符号处理的结合。

2. GOFAI与人工智能发展历程

“GOFAI”即“good old - fashioned artificial intelligence”，最早由匹兹堡大学哲学教授John Haugeland在1985年提出。当时大规模集成电路和微处理器快速发展，计算机处理能力大幅提升，为统计学习和多层神经网络提供了强大计算能力。而对计算能力要求不高的符号人工智能和符号机器学习逐渐衰落，原因是符号系统只能处理能用物理符号表示的问题，视觉、听觉和语音等难以用符号表示。

2010年代以来，深度学习在全球逐渐流行，在计算机视觉、语音、自然语言处理等多个领域取得了惊人成果。但经过十多年的发展，深度学