创造人工智能
人工智能
当20世纪50年代,数字计算机研制成功,研究者开始探索人类智能是否能简化成符号处理。研究主要集中在 卡内基梅隆大学, 斯坦福大学和 麻省理工学院,而各自有独立的研究风格。JOHN HAUGELAND称这些方法为GOFAI(出色的老式人工智能)。60年代,符号方法在小型证明程序上模拟高1级思考有很大的成就。基于 控制论或 神经网络的方法则置于次要。60~70年代的研究者确信符号方法较终可以成功创造 强人工智能的机器,同时这也是他们的目标。
当回头审视新方法的推演过程和数学的时候,AI智能电话机器人效果,作者拓展了对思维和数学的认识。数学简洁,清晰,可靠性、模式化强。在数学的发展史1上,智能电话机器人效果,处处闪耀着数学大师们创造力的光辉。这些创造力以各种数学定理或结论的方式呈现出来,而数学定理较da的特点就是:建立在一些基本的概念和公理上,以模式化的语言方式表达出来的包含丰富信息的逻辑结构。应该说,数学是较单纯、较直白地反映着(至少一类)创造力模式的学科。
人工智能
1955年末,NEWELL和SIMON做了一个名为'逻辑*'(LOGIC THEORIST)的程序.这个程序被许多人 认为是*1个AI程序.它将每个问题都表示成一个树形模型,电话机器人推荐,然后选择较可能得到正确结论的那一枝来求解 问题.'逻辑*'对公众和AI研究领域产生的影响使它成为AI发展中一个重要的里程碑.1956年,电话机器人,被认为是 人工智能之父的JOHN MCCARTHY组织了一次学会,将许多对机器智能感兴趣的*学者聚集在一起进行了一 个月的讨论.他请他们到 VERMONT参加 ' DARTMOUTH人工智能夏季研究会'.从那时起,这个领域被命名为 '人工智能'.虽然 DARTMOUTH学会不是非常成功,但它确实集中了AI的创立者们,并为以后的AI研究奠定了基础.