计算机科学与人工智能课件

2,人,*,2,人,*,*,人工智能与专家系统,*,*,人工智能与专家系统,*,*,人工智能与专家系统,*,*,人工智能与专家系统,*,*,人工智能与专家系统,*,*,人工智能与专家系统,*,*,人工智能与专家系统,*,*,人工智能与专家系统,*,*,人工智能与专家系统,*,*,人工智能与专家系统,*,*,人工智能与专家系统,*,2,人,1,现代计算机的智能与人工智能未来发展,湖北工业大学计算机学院 教授,武汉思维科学与智能系统学会 理事,熊才权,2人1现代计算机的智能与人工智能未来发展湖北工业大学计算机学,2,人,2,1,、人机大战,（,1,）,1991,年,8,月在悉尼第,12,届国际人工智能联合会议上，,IBM,公司的,“,深思,II,”,以,1:1,平澳大利亚国际象棋冠军约翰森时，人们对人工智能的水平还没引起足够的重视，,（,2,）,1997,年,5,月,IBM,公司的,“,Deeper Blue,”,以,3.5:2.5,总比分胜国际象棋世界冠军卡斯帕罗夫时，引起了世人片哗然。,“,深蓝,”,5,人研制小组的负责人是华裔科学家谭崇仁，主要研制人员还有许雄峰。,2,、为索尼公司大为露脸的智能机器狗,“,阿宝,”,，它能通过充满灵性的动作和声音表达出自己的喜、怒、哀、乐和恐惧等多种感情，并且还能通过学习自我完善，形成与主人相适应的习性。,2,、人工智能的幻想,（,1,）电影：,人工智能,（,2,）电影：,我，机器人,几个有趣的计算机智能例子,2人21、人机大战几个有趣的计算机智能例子,2,人,3,我们的问题,1,、人工智能研究什么？,2,、人工智能能超越人类智能吗？,3,、我们的,人工智能,课程将要学些什么？,2人3我们的问题1、人工智能研究什么？,2,人,4,一、什么是人工智能,二、人工智能的起源和发展,三、智能计算机能做什么,四、人工智能的未来发展。,主要内容,2人4一、什么是人工智能主要内容,2,人,5,一、什么是人工智能？,1,、什么是智能？,智能是指人们在认识世界和改造世界的行动中，由脑力劳动表现出来的能力。它包括：,（,1,）通过视、听、触觉等感官活动，认识并理解文字、图像、声音、语言的能力；,（感知）,（,2,）通过人脑活动，将感性知识抽象为理性知识，并对事物运动规律进行分析、判断、推理和决策的能力；,（解决问题）,（,3,）通过教育、训练和学习过程，日益丰富自身的知识技能的学习能力；,（学习）,生命起源,天体演化,人脑思维,2人5一、什么是人工智能？1、什么是智能？生命起源天体演化人,2,人,6,2,、什么是人工智能？,人工智能,(Artificial Intelligence,，,AI),是研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术及应用系统的一门新的技术科学。它是是计算机科学的一个分支。,（,1,）企图了解智能的实质,（,2,）生产出一种新的能以人类智能相似的方式做出反应的智能机器,2人62、什么是人工智能？,2,人,7,3,、强人工智能与弱人工智能,强人工智能,强人工智能观点认为有可能制造出真正能推理（,Reasoning,）和解决问题（,Problem_solving,）的智能机器，并且，这样的机器能将被认为是有知觉的，有自我意识的。强人工智能可以有两类：,类人的人工智能，即机器的,思考,和推理就像人的思维一样。,非类人的人工智能，即机器产生了和人完全不一样的知觉和意识，使用和人完全不一样的推理方式。,弱人工智能,弱人工智能观点认为不可能制造出能真正地推理（,Reasoning,）和解决问题（,Problem_solving,）的智能机器，这些机器只不过看起来像是智能的，但是并不真正拥有智能，也不会有自主意识。,主流科研集中在弱人工智能上，并且一般认为这一研究领域已经取得可观的成就。强人工智能的研究则处于停滞不前的状态下。,2人73、强人工智能与弱人工智能 强人工智能,2,人,8,知识工程,专家系统,自动程序设计,机器翻译,自动定理证明,自然语言理解,机器人学,计算机视觉,模式识别,人工智能程序,设计语言,数据库智能查询,机器学习,博弈,4,、人工智能的研究领域,核心技术,知识表达,问题求解,2人8知识工程自动程序设计机器翻译自动定理证明自然语言理解机,2,人,9,二、人工智能的起源与发展,1,、人工智能的提出,1956,年美国的,Dartmouth,会议，,J.McCarthy,等人倡议开展人类思维活动规律的研究，并为其命名为“人工智能”。,Minsky,首创框架理论,（人工智能之父）,LISP,语言的发明人,首次提出,AI,的概念,Simon,（政治学博士，心理学家，诺贝尔经济奖）,“,通用问题求解系统,”,GPS,最早的下棋程序之一,MATER,2人9二、人工智能的起源与发展1、人工智能的提出,2,人,10,逻辑理论基础：,古希腊的,Aristotle,亚里士多德,(,前,384-322),的,形式逻辑,。,德国数学家、哲学家,Leibnitz,布莱尼茨,(,1646-1716),的,数理逻辑,的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理。,计算机科学基础：计算思想,英国数学家,Turing(,图灵,)(1912-1954),1936,年提出了一种理想计算机的数学模型（图灵机），,1950,年提出了图灵试验，发表了“计算机与智能”的论文。,1966,年,ACM,设立图灵奖。,2,、史前研究，,1956,年之前,Turing(,图灵,),2人10逻辑理论基础：2、史前研究，1956年之前Turin,2,人,11,3,、人工智能的发展，,1956,年之后,60,年代,Simon,叙述了智能系统的特点：智能表示、智能推理、智能搜索。,Nilson,发表了,A*,算法（搜索方法）,McCarthy,发明人工智能程序设计语言,Lisp,1965,年,Robinson,提出了归结原理，（与传统的自然演绎法完全不同的消解法）。,1968,年,Quillian,提出了语义网络的知识表示方法,1969,年,Minsky,出了一本书“感知机”，给当时的神经网络研究结果判了死刑,1969,年召开了第一届国际人工智能联合会议,(International Joint Conference on AI,IJCAI),此后每两年召开一次。,1970,年,人工智能,国际杂志,(International Journal of AI),创刊。这些对开展人工智能国际学术活动和交流、促进人工智能的研究和发展起到积极作用。,2人113、人工智能的发展，1956年之后60年代Simon,2,人,12,智能行为支撑体与载体的研究,数字计算机研究取得突破性的进展,提出了,AI,研究的支持语言,LISP,AI,的普适理论时代,3,、人工智能的发展，,1956,年之后,常规说法,:1946,年就由美国数学家莫希里（,Mauchly,）和埃柯特（,Echert,）研制出了世界上第一台电子计算机,历史真相,:,保加利亚裔副教授,Atanasoff,和 他的学生,Berry,在,1939,年造出了一台电子计算机的样机,(,采用电子真空管，采用二进制,),这台机器被称为,ABC(Atanasoff,Berry Computer),。,2人12智能行为支撑体与载体的研究AI 的普适理论时代 3、,2,人,13,智能行为基本规律的研究,Simon,夫妇在心理学研究中对启发式信息在人类思维活动中作用的发现（,1960,年）,Rosenblatt,的感知机,在计算机上表现智能行为的理论与方法的研究,Shannon,的下棋程序,Newell,，,Shaw,和,Simon,的,GPS,王浩的机器定理证明（,1960,年）,Robinson,的归结原理（,1965,年）,Nilsson,的,A,搜索算法（,1971,年）,Samuel,的下棋研究（,1967,年）,Selfbridge,的地狱模型,Minsky,的语义信息处理（,1968,年）及感知机（,1969,年）,AI,的普适理论时代,2人13智能行为基本规律的研究AI 的普适理论时代,2,人,14,1977,年，以,Feigenbaum,为首的一批年轻科学家提出了知识工程的概念，以知识为基础的,专家咨询系统,开始广泛的应用。,著名的有：,DENDRAL,化学分析专家系统（斯坦福大学,1968,）,MACSYMA,符号数学专家系统（麻省理工,1971,）,MYCIN,诊断和治疗细菌感染性血液病的专家咨询系统（斯坦福大学,1973,）,CASNET(Causal ASsciational Network),诊断和治疗青光眼的专家咨询系统（拉特格尔斯（,Rutgers,）大学,70,年代中）,CADUCEUS(,原名,INTERNIST),医疗咨询系统（匹兹堡大学）；,HEARSAY I,和,II,语音理解系统（卡内基,-,梅隆大学）,PROSPECTOR,地质勘探专家系统（斯坦福大学,1976,）,XCON,计算机配置专家系统（卡内基,-,梅隆大学,1978,）,AI,的个性设计时代,Feigenbaum,2人141977年，以Feigenbaum为首的一批年轻科学,2,人,15,巨型智能系统,多学科交叉,人机协作,AI,的综合集成时代,人工智能,逻辑学,代数几何,神经生理学,非线性科学,控制论,生物学,社会学,物理学,心理学,系统科学,2人15巨型智能系统AI的综合集成时代 人工智能逻辑学代数几,2,人,16,符号主义,连接主义,行为主义,4,、人工智能的主要学派及其观点,2人16符号主义4、人工智能的主要学派及其观点,2,人,17,（,1,）符号主义,(Symbolicism),，又称为逻辑主义,(Logicism),、心理学派,(Psychlogism),或计算机学派,(Computerism),，其原理主要为物理符号系统,(,即符号操作系统,),假设和有限合理性原理。这个学派的代表有纽厄尔、肖、西蒙和尼尔逊,(Nilsson),等。,主要特征,:,立足于逻辑运算和符号操作，适合于模拟人的逻辑思维过程，解决需要逻辑推理的复杂问题。,知识可用显式的符号表示。,能与传统的数据库进行连接。,可对推理结论进行解释。,缺点,:,可以解决逻辑思维，但对于形象思维难于模拟。,信息表示成符号后，在处理和转换时有丢失的情况。,2人17（1）符号主义(Symbolicism)，又称为逻辑,2,人,18,（,2,）联结主义,(Connectionism),，又称为仿生学派,(Bionicsism),或生理学派,(Physiologism),，其原理主要为神经网络及神经网络间的连接机制与学习算法。,主要特征：,通过神经元实现信息处理，处理过程具有并行性，动态性和全局性。,可以实现联想的功能，便于对有噪声的信息进行处理。,可以通过对神经元之间连接强度的调整实现学习和分类等。,适合模拟人的形象思维过程。,求解问题时，可以较快的得到一个近似解。,缺点：,不适合解决逻辑思维。,2人18（2）联结主义(Connectionism)，又称为,2,人,19,（,3,）行为主义,(Actionism),，又称进化主义,(Evolutionism),或控制论学派,(Cyberneticsism),，其原理为控制论及感知,-,动作型控制系统。这一学派的代表作首推布鲁克斯,(Brooks),的六足行走机器人，它被看做新一代的,“,控制论动物,”,，是一个基于感知动作模式的模拟昆虫行为的控制系统。,2人19（3）行为主义(Actionism)，又称进化主义(,2,人,20,80,年代，人工智能发展达到阶段性的顶峰。,87,89,年世界大会有千人参加。硬件公司有上千个。并进行,Lisp,硬件、,Lisp,机的研究。,在专家系统及其工具越来越商品化的过程中,国际软件市场上形成了一门旨在生产和加工知识的新产业,知识产业。应该说，知识工程和专家系统是近十余年来人工智能研究中最有成就的分支之一。,同年代，,1986