小册描述
目录
- 第10 章 经典逻辑推理
- 10.1 推理
- 10.2 命题和谓词
- 10.2.1 命题和命题逻辑
- 10.2.2 谓词与谓词逻辑
- 10.3 自然演绎推理
- 10.4 归结演绎推理
- 10.4.1 谓词公式化为子句集
- 10.4.2 等价式
- 10.4.3 永真蕴含式
- 10.4.4 置换和合一
- 10.4.5 归结原理(定理证明)
- 10.4.6 归结反演(问题求解)
- 10.5 与或型演绎推理
- 10.6 产生式系统
- 10.7 编程实践
- 10.7.1 自然演绎推理实例
- 10.7.2 动物识别系统
- 第11 章 专家系统
- 11.1 专家系统
- 11.2 专家系统的结构和建造步骤
- 11.2.1 专家系统的简化结构
- 11.2.2 专家系统的开发
- 11.3 基于规则的专家系统
- 11.4 编程实例
- 11.4.1 基于决策树的专家系统规则提取
- 11.4.2 Boston 数据集上的专家规则提取
- 第12 章 人脸识别
- 12.1 人脸识别
- 12.1.1 Haar 特征
- 12.1.2 AdaBoost
- 12.2 编程实例
- 12.2.1 人脸检测
- 12.2.2 人脸识别
- 第13 章 自然语言处理
- 13.1 自然语言处理
- 13.1.1 自然语言处理的发展历程
- 13.1.2 自然语言处理的基本技术
- 13.2 编程实践
- 13.2.1 基于传统机器学习算法的文本分类
- 13.2.2 基于深度学习的文本分类 172