语文
小学语文
初中语文
高中语文
数学
小学数学
初中数学
高中数学
英语
小学英语
初中英语
高中英语
物理
初中物理
高中物理
化学
初中化学
高中化学
生物
初中生物
高中生物
政治
小学道德与法治
初中道德与法治
高中政治
历史
历史
历史
地理
初中地理
高中地理
音乐
小学音乐
初中音乐
高中音乐
体育
小学体育
初中体育
高中体育
美术
小学美术
初中美术
高中美术
科学
小学科学
书法
小学书法
日语
初中日语
高中日语
俄语
初中俄语
高中俄语
其他
高中信息技术
高中通用技术
首页
>
高中信息技术·教科版·选修5 人工智能初步
> 6.1.4 机器证明
《6.1.4 机器证明》资源列表
6.1.4 机器证明
课文目录
1. 初识人工智能
1.1 什么是人工智能
1.1.1 智能和人工智能
1.1.2 为何需要人工智能
1.1.3 人工智能的目标
1.2 人工智能可以为我们做什么
1.2.1 符号运算
1.2.2 自然语言处理
1.2.3 模式识别
1.2.4 机器学习
1.2.5 智能代理
1.2.6 其他应用
2. 了解人工智能语言
2.1 了解Prolog
2.1.1 Prolog的语句
2.1.2 Prolog的运行机理
2.1.3 Prolog程序
2.2 使用Prolog
2.2.1 用Prolog解决问题
2.2.2 用递归方法解决问题
2.3 人工智能语言
2.3.1 什么是人工智能语言
2.3.2 人工智能语言的特点
3. 用计算机表示知识
3.1 知识及其类型
3.1.1 什么是知识
3.1.2 知识的分类
3.2 知识表示入门
3.2.1 知识表示的一个例子
3.2.2 知识表示的作用
3.3 知识表示的常用方法
3.3.1 一阶谓语逻辑
3.3.2 产生式规则表示
3.3.3 状态空间图表示法
3.3.4 与或图表示
3.3.5 结构式表示
4. 用计算机推理
4.1 什么是专家系统
4.1.1 认识专家系统
4.1.2 专家系统的作用与类型
4.1.3 专家系统的构成
4.2 专家系统如何工作
4.2.1 什么是正向推理
4.2.2 什么是反向推理
4.2.3 什么是不精确推理
4.2.4 专家系统的解释功能
4.3 如何开发专家系统
4.3.1 专家系统外壳
4.3.2 专家系统的开发步骤
5. 用智能搜索解决问题
5.1 可以通过搜索求解的问题
5.1.1 什么是搜索
5.1.2 用状态空间求解问题
5.2 盲目搜索
5.2.1 宽度优先搜索
5.2.2 深度优先搜索
5.3 启发式搜索与博弈
5.3.1 启发式搜索
5.3.2 如何进行启发式搜索
5.3.3 博弈问题中的启发式搜索
6. 人工智能的发展与未来
6.1 人工智能的发展
6.1.1 智能机器人
6.1.2 智能计算机
6.1.3 智能控制系统
6.1.4 机器证明
6.2 人工智能的未来
6.2.1 人工智能对人类的影响
6.2.2 对人工智能的展望
