图灵与图灵试验 1947年:“机器智能”; 1950年:图灵试验; 1951年5月15日,BBC,“数字计算机能够 思维吗?”; ■1952年1月14日,BBC,“自动计算机能够 思维吗?”,杰斐逊(G. Jefferson),纽 曼(M.H. A Newman),布雷斯韦特(R.B. Braithwaite)和图灵 返回
图灵与图灵试验 ◼ 1947年：“机器智能”； ◼ 1950年：图灵试验； ◼ 1951年5月15日，BBC，“数字计算机能够 思维吗？”； ◼ 1952年1月14日，BBC， “自动计算机能够 思维吗？”，杰斐逊（G.Jefferson），纽 曼（M.H.A Newman），布雷斯韦特（R.B. Braithwaite）和图灵； 返回
麦卡锡与人工智能 956年夏天,达特茅斯( Dratmouth)大学,第 次人工智能学术大会,麦卡锡,“人工智 几个典型的人工智能问题: 1、克里特岛上真假话的判别问题。 2、传教士与野人过河问题。 3、部队过独木桥问题 4、张翼德长坂坡单骑喝退百万大军 5、诸葛亮大意失街亭。 ■人工智能是研究如何让计算机系统来模拟人的智 能行为的学科。 返回
麦卡锡与人工智能 ◼ 1956年夏天，达特茅斯（Dratmouth）大学，第一 次人工智能学术大会，麦卡锡，“人工智能” ◼ 几个典型的人工智能问题： 1、克里特岛上真假话的判别问题。 2、传教士与野人过河问题。 3、部队过独木桥问题。 4、张翼德长坂坡单骑喝退百万大军。 5、诸葛亮大意失街亭。 ◼ 人工智能是研究如何让计算机系统来模拟人的智 能行为的学科。 返回
计算机博弈 历史: 1956年,塞缪尔(A.L. Samue1),跳棋程序,从棋谱中学习 1959年打败了塞缪尔 1962年打败了美国一州际冠军 1995年,IBM,“深蓝”输给卡斯帕罗夫 1997年5月,“深蓝”以二胜三平一负战胜卡斯帕罗夫, 32个处理器,每秒2亿次,华裔科学家许峰雄(台湾) 技术:博弈树,状态空间搜索,逻辑演算,模式匹配 计算机有智能吗?变成围棋如何? 返回
计算机博弈 ◼ 历史： 1956年,塞缪尔(A.L.Samuel),跳棋程序,从棋谱中学习 1959年打败了塞缪尔 1962年打败了美国一州际冠军 1995年,IBM, “深蓝”输给卡斯帕罗夫 1997年5月,“深蓝”以二胜三平一负战胜卡斯帕罗夫， 32个处理器，每秒2亿次，华裔科学家许峰雄 （台湾） ◼ 技术：博弈树，状态空间搜索，逻辑演算，模式匹配 ◼ 计算机有智能吗？变成围棋如何？ 返回
定理机器证明 ■1956年,耐威尔,演绎推理,《数学原理》第二章38条定理 1963年,耐威尔,演绎推理,《数学原理》第二章52条定 ■1958年,美籍华人王浩,,《数学原理》有关命题演算的 220条定理 ■1959年,美籍华人王浩,,《数学原理》有关一阶谓词的 全部定理 ■20世纪60年代,罗宾森(J.A. Robinson),归结原理,中 国刘叙华 20世纪70年代,中国,吴文俊,初等几何定理证明,代数 方法,《 Artificial Intelligence》专集,吴方法 20世纪90年代,中国,张景中,初等几何定理证明,消点 思想,可读证明的自动生成
定理机器证明 ◼ 1956年,耐威尔，演绎推理,《数学原理》第二章38条定理 ◼ 1963年，耐威尔，演绎推理,《数学原理》第二章52条定 理 ◼ 1958年，美籍华人王浩，,《数学原理》有关命题演算的 220条定理 ◼ 1959年，美籍华人王浩，,《数学原理》有关一阶谓词的 全部定理 ◼ 20世纪60年代，罗宾森（J.A.Robinson)，归结原理，中 国刘叙华 ◼ 20世纪70年代，中国，吴文俊，初等几何定理证明，代数 方法，《Artificial Intelligence》专集，吴方法 ◼ 20世纪90年代，中国，张景中，初等几何定理证明，消点 思想，可读证明的自动生成 返回