人工智能绪论.pptxVIP

电子与信息工程学院 计算机系;计算机科学的重要分支 计算机科学与技术专业的核心课程之一、也是自动化、电子信息工程等专业的选修课程． 如何用计算机来模拟人类智能，即如何用计算机实现诸如问题求解、规划推理、模式识别、知识工程、自然语言处理、机器学习等只有人类才具备的智能，使得计算机更好得为人类服务。;考试;第1讲 人工智能概述(Chapter 1 Overview of AI);Outline;Stuart Russell, Peter Norvig. “Artificial Intelligence: A Modern Approach”. Pearson Education, 2002. 中译本：《人工智能—一种现代方法(第二版)》， 姜哲 等译, 人民邮电出版社, 2004 ;;Outline;定义1 智能机器 　　能够在各类环境中自主地或交互地执行各种拟人任务(anthropomorphic tasks)的机器。 定义2 人工智能(学科) 　　计算机科学中涉及研究、设计和应用智能机器的一个分支。近期主要目标在于研究用机器来模仿和执行人脑的某些智力功能，并开发相关理论和技术。 定义3 人工智能(能力) 　　智能机器所执行的通常与人类智能有关的智能行为，如判断、推理、证明、识别、感知、理解、通信、设计、思考、规划、学习和问题求解等思维活动。 ;定义4 一种使计算机能够思维，使机器具有智力的激动人心的新尝试（Haugeland,1985）。 定义5 那些与人的思维、决策、问题求解和学习等有关活动的自动化（Bellman,1978）。 定义6 用计算模型研究智力行为 （Charniak和McDermott,1985）。 定义7 研究那些使理解、推理和行为成为可能的计算（Winston,1992）。 ;定义8 一种能够执行需要人的智能的创造性机器的技术（Kurzwell,1990）。 定义9 研究如何使计算机做事让人过得更好（Rick和Knight,1991）。 定义10 一门通过计算过程力图理解和模仿智能行为的学科（Schalkoff,1990）。 定义11 计算机科学中与智能行为的自动化有关的一个分支（Luger和Stubblefield,1993）。;Outline;哲学（428 B. C. － 现在） 意识、思维的理性部分的形式化 …… 数学（800 － 现在） 逻辑、计算、概率 …… 经济学（1776 － 现在） 决策、博弈、运筹学 …… 神经科学（1861 － 现在） 简单细胞的集合能够导致思维、意识和行动; 心理学(1879－现在) 认知心理学：大脑当作信息处理装置 实验心理学： 1879年Wundt在莱比锡大学首创 控制论(1948－现在)：1948年Viener 语言学(1957－现在)：Shinner，乔姆斯基理论; 计算机工程(1940 -现在) 电动机械式计算机Heath Robinson ： 1940年图灵研究组，用于破译德军情报 真空电子管通用机器Colossus：1943年图灵研究组 可编程计算机Z-3：1941年德国的Konrad Zuse ;2. AI的萌芽;Aristotle对AI的主要贡献 (续) “三段论” 以真言判断为其前提的一种演绎推理，借助于一个共同项，把两个直言判断联系起来，而得出结论。 例如：一切金属都是能够熔解的；铁是金属；所以，铁是能够熔解的。 “演绎法” “模态逻辑” …… 【说明】：古希腊文化是人类民主、科学的启蒙，对整个人类做出了十分巨大的贡献！;英国哲学家、自然科学家 著名口号：“知识就是力量” 代表作：《新工具》 对AI的主要贡献：系统地提出了“归纳法”，成为和Aristotle演绎法相辅相成的思维法则。 20世纪70年代末，Stanford大学Feigenbaum提出专家系统时，以Bacon的口号为重要依据。 ……;德国数学家、哲学家 对AI的主要贡献：关于“数理逻辑”的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理。 提出的计划：建立一种通用的符号语言，以及一种在此基础上进行推理的演算。 ……;美籍奥地利数理逻辑学家 对AI的主要贡献：研究数理逻辑中的一些根本性问题，即“形式系统的完备性和可判定性” 。 1930年证明：一阶谓词演算的完备性定理。 1931年证明了两条不完备性定理：提出人的思维形式化和机械化的某些极限，在理论上证明了有些事情是做不到的。 ……;英国数学家 1936年提出一种理想计算机的数学模型—“图灵机” 。 对AI的主要贡献： 1950年提