人工智能的波普尔式证伪——为 Lighthill 辩护
人工智能
2020-05-04 v3
摘要
被称为人工智能（AI）的计算领域被证伪，方式是描述英国数学物理学家 James Lighthill 在 1972 年对 AI 的一次先前证伪。解释了 Lighthill 的论证如何继续适用于当前 AI。我们认为 AI 应当使用波普尔科学方法，其中科学家的职责是试图证伪理论，若理论被证伪则替换或修改它们。本文描述了波普尔方法并讨论 Paul Nurse 将该法应用于涉及机制与行为问题的细胞生物学。展示了 Lighthill 的证伪论证尤其是组合爆炸如何继续适用于现代 AI。各种针对 AI 假设的怀疑论证，主要由物理学家提出，尤其反对将知识与真理定义为可证形式句子的 Hilbert 哲学纲领。讨论了 John von Neumann 基于自然复杂性对神经网络和进化算法的反对论证。接下来讨论国际象棋以展示现代象棋专家如何应对计算机象棋程序。表明目前象棋大师可利用 Kasperov 自其 1997 年深蓝对弈及后续提出的论证击败任何象棋程序。讨论围棋与气候模型以展示组合爆炸可能不适用的计算机应用。本文结论倡导将计算作为 Peter Naur 的 Dataology 进行研究。
引用
@article{arxiv.1704.08111,
title = {A Popperian Falsification of Artificial Intelligence -- Lighthill Defended},
author = {Steven Meyer},
journal= {arXiv preprint arXiv:1704.08111},
year = {2020}
}
备注
12 pages. Version improves discussion of chess and adds sections on when combinatorial explosion may not apply