人工智能技术 修春波主编 机械工业出版社

人工智能技术 修春波主编 机械工业出版社

出版时间：2018-08-01



前言
第1章 绪论
1.1 人工智能的起源与发展
1.2 人工智能学术流派
1.3 人工智能的研究与应用领域
习题
第2章 知识表示和推理
2.1 知识和知识表示的基本概念
2.2 命题逻辑
2.2.1 语法
2.2.2 语义(Semantics)
2.2.3 命题演算(Calculas)形式系统
2.3 谓词逻辑
2.3.1 语法
2.3.2 语义
2.4 归结推理
2.4.1 子句集及其简化
2.4.2 海伯伦定理
2.4.3 Robinson归结原理
2.4.4 利用Robinson归结原理实现定理证明
2.4.5 应用归结原理求解问题
2.5 产生式系统
2.5.1 产生式系统的组成部分
2.5.2 产生式系统的控制策略
2.5.3 产生式系统的推理方式
2.6 语义网络表示法
2.6.1 语义网络的结构
2.6.2 基本命题的语义网络表示
2.6.3 语义网络的知识表示方法
2.6.4 语义网络表示法的特点
2.7 框架表示法
2.8 状态空间表示法
2.9 与或图表示法
习题
第3章 图搜索技术
3.1 问题的提出
3.2 状态图搜索
3.2.1 状态图搜索分类
3.2.2 穷举式搜索
3.2.3 启发式搜索
3.2.4 A算法及A*算法
3.3 与或图搜索
………………


链接: https://pan.baidu.com/s/11JnUcjzW3XkWy61WNZe8pg