人工智能的历史、现状-智能科学.PPT

人工智能的历史、现状、前景—人工智能、广义人工智能、智能科学技术 Tu Xuyan（涂序彦） Chinese Association for Artificial Intelligence (中国人工智能学会) School of Information Engineering , University of Science and Technology Beijing (北京科技大学 信息工程学院) 摘要(Abstract) ： 本文回顾、分析、展望人工智能的历史、现状、前景，认为：已从传统的、狭义的“人工智能”走向现代“广义人工智能”，将发展成未来的“智能科学技术”。 In this paper, the history, present and future of Artificial Intelligence are reviewed, analyzed and forecasted. In author’s opinion, the traditional “Artificial Intelligence” has gone to present “Generalized Artificial Intelligence”, and would be developing to futuristic “Science Technology of Intelligence”. 目录 人工智能的历史回顾 —功能模拟、结构模拟、行为模拟 2. 广义人工智能 —多学派、多层次、多智体人工智能 3. 广义智能学 —智能科学技术的理论基础 结论 主要参考文献 1．人工智能的历史回顾— 功能模拟、结构模拟、行为模拟 1.1人工智能的历史背景 人工智能在中国的历史渊源: 司辰、击鼓、 报时的“机关人”， 会跳舞的“人形舞姬”， 能捕鼠的木制“钟馗”， 会化缘的“木僧人”，等等. 国际方面： 英国科学家图灵于1936 年提出“理论计算机”模型，被称之为“图灵机”( Turing Machine ) ，创立了“自动机理论”。 1950 年，图灵发表了著名论文《 计算机能思维吗？》，明确地提出了“机器能思维”的观点。 1943 年，美国科学家麦卡洛克（W. S. McCulloch）、匹茨（W. H. Pitts）研制出世界上第一个人工神经细胞模型，被称之为“MP模型”。从仿生学观点，以结构模拟方法，探讨人工智能的途径。 1948年，美国科学家维纳等创立了“控制论” （Cybernetics）, 研究动物与机器中的控制和通讯的共同规律，在生物科学与工程技术之间架起了学术桥梁，开拓了从行为模拟观点研究人工智能的园地。 1．人工智能的历史回顾— 功能模拟、结构模拟、行为模拟 1.2启发程序→专家系统 启发程序 (Heuristic program）: 第一个著名的启发程序是“逻辑理论机”(Logic Theroy Machine ) ，简称为“LT ”。由纽厄尔、西蒙、肖（J. C. Shaw ）合作，于1956年研制成功。 1960年，华裔美国数理逻辑学家王浩（Wang Hao）提出了命题逻辑的机器定理证明的新算法，利用计算机证明了集合论中的300 多条定理。 1965 年，罗滨逊（J. A. Robinson）提出了一阶谓词逻辑的“消解原理”(Resolution Principle) ，简化了判定步骤，推动了基于谓词逻辑的机器定理证明的进展。 1977 年， 我国数学家、人工智能学家吴文俊提出了初等几何判定问题的机器定理证明方法，并进一步推广到初等微分几何、非欧几何领域，被称为“吴氏方法”。 专家系统 (Expert System) ： 第一个专家系统DENDRAL是化学分析专家系统，由美国科学家费根鲍姆（E. A. Feigennbaum）于1965 年提出，1968年研制成功的。 医疗专家系统MYCIN 是由斯坦福大学（Stanford University）肖特利夫( E. H. Shortliffe）等人于1971年开始研制，1974 年基本完成，1976年发表的，具有类似于内科医生的知识和经验，可用于血液感染病的诊断、治疗和咨询服务。 在应用上获得显著成就的是地质勘探专家系统（PROSPECTOR）。它是由斯坦福研究所（SRI）的杜达（R.O. Duda）等研制的，可用于地质勘测数据分析，探查矿床的类型、蕴藏量、分布。从1976 年开始研制，1981 年基本完成，其特点是具有多专家、多专业的知识和经验。 我国的第一个专家系统“中医关幼波肝炎诊断治疗程序” ，由中国科学院自动化研究所控制论组涂序彦、郭荣江等，与北京市中医院关幼