浙教版（2019） 高中信息技术 选修4 第1章第1节 人工智能的起源 课件（共14张PPT，内嵌视频素材）

(课件网) 人工智能的起源 什么是人工智能？ 古代智能思想探究 知人者智，自知者明。胜人者有力，自胜者强。知足者富，强行 者有志。 知者不惑，仁者不忧，勇者不惧。 智能发谋、信能赏罚、仁能 附众、勇能果断、严能立威，五德皆备，然后可以为大将。 恻隐之心，仁之端也；羞恶之心，义 之端也；辞让之心，礼之端也；是非之心，智之端也。 所以知之在人者谓之知。知有所合谓之 智。智所以能之在人者谓之能。能有所合谓之能。 理想国城邦公民应具备的美德概括为“智慧、勇敢、节制、正义”四项内容。 古代智能思想探究 人类智能是指人类具备的一种智能能力，包括思考、学习、推理、判断、记忆、感知、情感等多个方面。人类智能使人们能够理解和适应复杂的环境，解决问题，做出决策，并与他人进行交流和合作。人类智能是由大脑的神经网络系统和心理认知过程共同作用所形成的复杂能力。 人工智能模仿人类智能的第一步应该什么方面？ 思考： 逻辑与推理 逻辑： 用数学的方法来研究关于推理和证明等问题的研究。 推理： 给出一些规则，然后从规则出发，得出一些新的结论。 证明： 给出一个结论，要基于已有的规则去证明该结论的正确与否。 逻辑与推理 亚里士多德提出和建立的“演绎三段论”(syllogisms)是一种著名的逻辑推理手段。简单地说，演绎三段论从大前提和小前提出发，推理出结论。大前提是一般性原则，小前提是一个特殊陈述。 所有的恒星都是气态星体(大前提) 太阳是恒星(小前提) 太阳是气态星体(结论) 所有的鸟都会飞(大前提) 鸵鸟是鸟(小前提) 鸵鸟会飞(结论) 中国的大学是分布于全国各地的(大前提) 浙江大学是中国的大学(小前提) 浙江大学是分布于全国各地的(结论) 演绎三段论 1 2 3 逻辑与推理 符号主义人工智能： 所有的符号均可通过人类可理解的“符号”以符号之间的关系来表示。 专家 知识库 推理机制 用户 符号主义人工智能简易模型 可计算思想产生 是否存在一种算法，能够判定某个方程有解(即该问题是不是可计算的) 如是否存在一种算法可判定方程xn + yn = zn(n为大于或等于3的正整数)存在整数解 用一条无限长的纸带、一个程序控制指针和一个命令集，构建一台“解决任何可证数学问题”的“机器” 可计算思想产生 12 + 8 指令集 控制指针 程序控制器 甲 ... ... 纸带 + 8 指令集 控制指针 程序控制器 乙 ... ... 纸带 8 指令集 控制指针 程序控制器 丙 ... ... 纸带 20 指令集 控制指针 程序控制器 丁 ... ... 纸带 控制器 无限延长的纸带 读写头 可计算思想产生 数据 程序 结果 可计算思想产生 可计算思想产生 在人工智能发展的过程中，可计算思想和图灵机为人们提供了一种理论框架和方法论，可以帮助人们理解和解决复杂的问题。基于可计算思想和图灵机的理论基础，人们设计了各种人工智能算法和模型，如机器学习、深度学习等，这些算法和模型使得机器能够从数据中学习和推断，并具备一定的智能和自主性。因此，可计算思想和图灵机对于人工智能的发展起到了至关重要的作用。 课堂小结 古代智能思想探究 逻辑与推理 可计算思想产生 课后作业 1. 孪生素数是指取值相差为2的素数对，如3和5、17和19。华裔数学家张 益唐证明了存在无穷多个差小于7000万的素数对。也就是说，如果两个素数之 间的差值小于7000万，那么这样的素数对有无穷多。问：求解最大素数对(即 该素数对中包含最大素数对)这个问题是可计算的吗 2.写出“3乘以5”这个问题在图灵机纸带上的计算过程。 3.3月14日为圆周率日，是为了纪念南北朝时期杰出的数学家、天文学家祖冲之。他在魏晋时期数学家刘徽提出的“割圆术”思想的基础上，首次将“圆周 率”精算到小数点后第七位。刘徽的“割圆术” ... ...