天津市芦台第一中学中图版信息技术选修5第一单元第二节畅游人工智能世界(共18张PPT)

畅游人工智能世界 一、人机对弈 1.了解人机对弈 博弈是一种智能性很强的活动。人类棋手在走一步棋之前，总要向前看几步，然后选择最有可能获胜的方案。 人在对弈时，常常是凭经验和知识来判断哪一种方案对自己最有利。 一、人机对弈 1.了解人机对弈 “深蓝”下次的原理是用一个树形图来表示所有可能的棋局，根据某个函数计算每种可能走法的得分，程序根据分数选择一步“好”棋。 搜索技术是人工智能的基本技术之一，它也是下棋的核心技术， 一、人机对弈 “深蓝”的“智能”主要体现在对计算机中存储的大量实战棋谱进行的启发式搜索上。 一、人机对弈 2.思考人机对弈 计算机会不会比人更聪明？计算机是否真正战胜了人脑？ 二、符号运算 1.初识符号运算 符号主义认为人类的语言、文字、思维都可以用符号来描述，思维过程只不过是这些符号的存储、变换和输入、输出而已。 符号运算是符号主义的核心。 二、符号运算 2.初识符号运算 符号主义认为人类的语言、文字、思维都可以用符号来描述，思维过程只不过是这些符号的存储、变换和输入、输出而已。 符号运算是符号主义的核心。 三、机器证明 1.机器证明初探 机器证明的研究工作帮助人们更清楚地理解推理过程。 许多其他领域的问题也可以应用定理证明的方法。 因此，机器证明的研究具有普遍意义 三、机器证明 1.机器证明初探 1959年，IBM研制出平面几何证明程序 1965年，鲁滨逊提出新的消解法 1976年，美国数学家证明“四色猜想” 1977年，中国数学家证明了处登记和主要定理的证明可以机械化 …… 三、机器证明 2.中国科学家在机器证明领域的重要贡献 开拓了机械化数学的崭新领域 L类几何定理证明器 “消点法” “几何专家” 四、机器翻译 机器翻译是利用计算机把一种自然语言转变成另一种自然语言的过程，它的主要任务是研究全自动的翻译系统和为翻译工作者提供与文本处理系统相结合的翻译工具。 四、机器翻译 1.机器翻译的发展 1976年 实用性机器翻译系统 1987年 第一届国际机器翻译峰会 21世纪 出现一千多种翻译机器软件 四、机器翻译 2.机器翻译的局限性 机器翻译目前存在的主要问题在于不能正确理解源语言，对于词的多义性，语法的多义性、代词及成语的使用