大师眼中的人工智能
• Bellman, 1978: 人工智能是那些与人的思维、 人工智能是那些与人的思维、 决策、 决策、问题求解和学习等有关活动的自动化进程。 问题求解和学习等有关活动的自动化进程。 • Haugeland, 1985: 人工智能是一种使计算机能 够思维, 够思维,使机器具有智力的激动人心的新尝试。 使机器具有智力的激动人心的新尝试。 • Charniak和 Charniak和McDermott, 1985 人工智能是用计 算模型研究智力行为。 算模型研究智力行为。 • Kurzwell, 1990 人工智能是一种能够执行, 人工智能是一种能够执行,需 要人的智能的, 要人的智能的,创造性机器的技术。 创造性机器的技术。
哲学家们标志出了AI 哲学家们标志出了AI的大部分思想 AI的大部分思想, 的大部分思想,但 实现成为一门规范科学的飞跃就要求在三个 基础领域完成一定程度的数学形式化: 基础领域完成一定程度的数学形式化:逻辑、 逻辑、 计算和概率。 计算和概率。
• 结论: 结论:形式化规则=命题逻辑和一阶谓 词逻辑
– 可以被计算, 可以被计算,就要找到一个算法
– 算法本身的研究在 19世纪晚期, 世纪晚期,把一般的数学 推理形式化为逻辑演绎的努力 – 1900年,David Hilbert( 希尔伯特)著名的“23 个问题”的最后一个问题是: 的最后一个问题是:是否存在一个算法 可以判定任何涉及自然数的逻辑命题的真实性。 可以判定任何涉及自然数的逻辑命题的真实性。 /有效证明过程的能力是否有基础的局限性 – 这一问题被Kurt Godel( 哥德尔)证明了, 证明了,确实 存在真实的局限( 存在真实的局限(不完备性定理, 不完备性定理, 1931)
AI的理解是一个过程