中图版高中信息技术选修5人工智能初步全套PPT课件

二、符号运算
1.初识符号运算 符号主义认为人类的语言、文字、
思维都可以用符号来描述，思维过程 只不过是这些符号的存储、变换和输 入、输出而已。
符号运算是符号主义的核心。
二、符号运算
2.初识符号运算 符号主义认为人类的语言、文字、
思维都可以用符号来描述，思维过程 只不过是这些符号的存储、变换和输 入、输出而已。
二、状态空间表示法
状态空间是人工智能问题求解的 一种基本表示法。 1.状态：用来描述十五载某一特定时 刻的某些特征。 2.操作符：使问题从一种状态转换成 另一种状态的手段。 3.状态空间图：表示问题全部可能的 状态及其关系的图。
三、生产式表示法
生产式是早期专家系统普遍采用 的一种知识表示方式。 1.生产式的基本形式：P→Q
智能系统主要用于知识处理，根据知识 库中的知识来求解那些诸如下棋、翻译 和决策等复杂问题，主要手段是推理。
知识表 示
知识获 取
常识性 推理
智能系统 开发工具
博弈 自动定理证明 专家系统 自然语言理解 机器人学 机器学习 自动程序设计 人工神经网络 模式识别 智能检索
相关素材
80年代，美国物理学家霍普菲尔德(Hopfield) 对人工神经网络的研究及其发现，掀起了人 工神经网络的研究热潮。
人工智能是计算机科学的一个分支，它 的目标就是用人工的方法和技术，研究 制造机器系统，用来模拟、延伸和扩展 人类智能。
传统程序=数据结构+算法
智能系统=知识+推理
传统程序主要用于数值计算和数据处理。
五、语音识别
1.识别技术简介 语音识别过程大致步骤
① 语音特征提取 ② 模式匹配 ③ 语言处理
五、语音识别
2.识别技术应用前景 语音识别技术应用领域
① 家居自动化 ② 生物识别 ③ 手持式个人商务设备 ④ 自动控制 ⑤ ……
六、智能代理
1.智能代理简介 智能代理又称智能体，是人工智
能研究的一个新领域，它实际上是一 种软件单元，具有高度智能性和自主 性。
其中，P是生产式的前提，Q是结 论或者一组操作。
三、生产式表示法
2.生产式系统 把若干事实和一组生产式放在一
起，再通过控制器使他们相互配合， 协同工作，以此来求解问题，这样的 系统称为生产式系统。
生产式系统的基本结构
控制系统
综合数据 库
规则库
四、谓词逻辑表示法
谓词逻辑是一种人造的形式语言， 它与人们的自然语言比较接近，可以 方便地存储到计算机中，便于计算机 应用知识进行推理。
中图版高中信息技术 选修5人工智能初步全
套PPT课件
敲开人工智能之门
1936年,图灵创立了计算机模型------“图 灵机”。在此基础上，1946年诞生了世界上 的第一台计算机。
1950年图灵发表了一篇划时代之作-----《计 算机与智能》。提出了图灵测试。
受图灵建议和预言的鼓舞，一个新的探 索领域——人工智能由此展开，图灵也因此 被誉为“人工智能之父”。
1956年美国数学家麦卡锡发起，在达特 茅斯（Dartmouth）大学举行了以人工智能 （Artificial Intelligence, AI ）为主题的研讨会。 标志该学科的诞生，成为计算机科学史上一 个里程碑。
1960年麦卡锡研制出人工智能程序设计语言 LISP。
1972年出现了另一种重要的人工智能程序设 计语言Prolog。
机器人世界杯大赛 Biblioteka Baidu 韩国机器人展览 西班牙机器人大赛
谢谢
畅游人工智能世界
一、人机对弈
1.了解人机对弈 博弈是一种智能性很强的活动。
人类棋手在走一步棋之前，总要向前 看几步，然后选择最有可能获胜的方 案。
人在对弈时，常常是凭经验和知 识来判断哪一种方案对自己最有利。
一、人机对弈
1.了解人机对弈 “深蓝”下次的原理是用一个树
六、智能代理
2.智能搜索代理 一个好的智能信息检索系统的功
能： ① 能理解自然语言，允许用自然语
言提出各种询问； ② 具有推理能力； ③ 系统拥有一定的常识性知识。
谢谢
知识与知识表示
一、数据、信息和知识
•数据知识人们观察外部世界得到的 原始材料，本身没有任何意义。 •知识反映了客观世界中事物的特征 及事物之间的联系。 •数据上信息的载体，信息是数据在 特定场合下的具体含义。
三、机器证明
2.中国科学家在机器证明领域的 重要贡献 开拓了机械化数学的崭新领域 L类几何定理证明器 “消点法” “几何专家”
四、机器翻译
机器翻译是利用计算机把一种自 然语言转变成另一种自然语言的过程， 它的主要任务是研究全自动的翻译系 统和为翻译工作者提供与文本处理系 统相结合的翻译工具。
四、谓词逻辑表示法
1.谓词逻辑表达式 谓词逻辑表达式的一般形式为：
P（x1，x2，x3，……）
五、与或树表示法
与或树也是一种比较常用的知识 表示方式，其形状像一棵倒置的树， 节点自顶向下依次为根节点、分支节 点、叶节点。
形图来表示所有可能的棋局，根据某 个函数计算每种可能走法的得分，程 序根据分数选择一步“好”棋。
搜索技术是人工智能的基本技术 之一，它也是下棋的核心技术，
一、人机对弈
“深蓝”的“智能”主要体现在 对计算机中存储的大量实战棋谱进行 的启发式搜索上。
一、人机对弈
2.思考人机对弈
计算机会不会比人更聪明？计算 机是否真正战胜了人脑？
符号运算是符号主义的核心。
三、机器证明
1.机器证明初探 • 机器证明的研究工作帮助人们更清 楚地理解推理过程。 • 许多其他领域的问题也可以应用定 理证明的方法。 因此，机器证明的研究具有普遍意义
三、机器证明
1.机器证明初探 1959年，IBM研制出平面几何证明程序 1965年，鲁滨逊提出新的消解法 1976年，美国数学家证明“四色猜想” 1977年，中国数学家证明了处登记和主 要定理的证明可以机械化 ……
四、机器翻译
1.机器翻译的发展
1976年
• 实用性机器 翻译系统
1987年
• 第一届国际 机器翻译峰 会
21世纪
• 出现一千多 种翻译机器 软件
四、机器翻译
2.机器翻译的局限性
机器翻译目前存在的主要问题在 于不能正确理解源语言，对于词的多 义性，语法的多义性、代词及成语的 使用等方面都不能很好地处理。