语文
小学语文
初中语文
高中语文
数学
小学数学
初中数学
高中数学
英语
小学英语
初中英语
高中英语
物理
初中物理
高中物理
化学
初中化学
高中化学
生物
初中生物
高中生物
政治
小学道德与法治
初中道德与法治
高中政治
历史
历史
历史
地理
初中地理
高中地理
音乐
小学音乐
初中音乐
高中音乐
体育
小学体育
初中体育
高中体育
美术
小学美术
初中美术
高中美术
科学
小学科学
书法
小学书法
日语
初中日语
高中日语
俄语
初中俄语
高中俄语
其他
高中信息技术
高中通用技术
首页
>
高中信息技术·粤教版·选修5 人工智能初步
> 1.3.2 机器证明
《1.3.2 机器证明》资源列表
1.3.2 机器证明
课文目录
第一章 人工智能初探
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.3 人工智能的主要应用领域
1.3.1 模式识别
1.3.2 机器证明
1.3.3 自然语言理解
1.3.4 专家系统
1.3.5 自动程序设计
1.3.6 人工神经网络
1.3.7 智能代理
第二章 知识表示及Prolog语言
2.1 知识
2.1.1 知识及其分类
2.1.2 为什么要学习知识表示
2.1.3 知识的格式化表示方法
2.2 框架表示法
2.2.1 框架的基本结构
2.2.2 框架表示知识实例
2.3 “与/或”图表示法
2.3.1 “与/或”图表示法
2.3.2 “与/或”图表示实例
2.4 状态空间表示法
2.4.1 状态及操作
2.4.2 状态空间表示知识实例
2.5 产生式规则表示法
2.5.1 产生式的基本形式
2.5.2 动物识别系统的产生式规则
2.6 Prolog语言
2.6.1 初识Prolog语言
2.6.2 Prolog语言的三种基本语句
2.6.3 Prolog程序的基本结构
2.6.4 Prolog语言内部谓词
2.6.5 匹配与递归方法
2.6.6 Prolog语言的特点
2.7 综合活动：知识表示法运用
2.7.1 活动目的
2.7.2 活动任务
2.7.3 活动过程
2.7.4 活动结果
2.7.5 活动评价
第三章 专家系统
3.1 认识专家系统
3.1.1 什么是专家系统
3.1.2 专家系统的组成
3.1.3 专家系统的分类
3.2 专家系统的知识获取
3.2.1 专家知识
3.2.2 用知识表示法来表示专家知识
3.2.3 用Prolog语言表示专家知识的实例
3.2.4 知识获取的方法
3.3 专家系统的推理过程
3.3.1 正向推理和反向推理
3.3.2 不精确推理
3.4 专家系统的解释功能
3.4.1 解释的概念和作用
3.4.2 解释的内容
3.5 专家系统的开发
3.5.1 语言及工具
3.5.2 专家系统的开发过程
3.6 综合活动：植物分类专家系统的建造
3.6.1 活动目的
3.6.2 活动任务
3.6.3 活动过程
3.6.4 活动结果
3.6.5 活动评价
第四章 问题求解
4.1 重排九宫问题及其树的表示
4.1.1 重排九宫问题
4.1.2 重排九宫问题的状态树表示
4.1.3 树的一些术语
4.2 基本搜索方法
4.2.1 广度优先搜索方法
4.2.2 深度优先搜索方法
4.3 启发式搜索
4.3.1 启发函数的作用
4.3.2 重排九宫问题的启发式搜索过程
4.3.3 启发函数的选择
4.4 求解博弈问题
4.4.1 博弈问题
4.4.2 并字棋问题
4.5 浅谈机器证明
4.5.1 知识的表示
4.5.2 归结原理及其应用简述
第五章 人工智能的回顾与展望
5.1 人工智能的发展历程
5.1.1 人工智能的形成与发展
5.1.2 人工智能取得的成果
5.1.3 国内人工智能发展现状
5.2 人工智能的展望
5.2.1 机器智能化
5.2.2 智能机器人
5.2.3 知识发现与数据挖掘
5.2.4 社会智能化
