| 作 者： | 贲可荣 张彦铎 |
| 出版社： | 清华大学出版社 |
| 丛编项： | 高等学校计算机教育规划教材·普通高等教育"十二五"国家级规划教材 |
| 版权说明： | 本书为公共版权或经版权方授权，请支持正版图书 |
| 标 签： | 计算机与互联网 人工智能 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
第1章 绪论
1.1 人工智能的定义与发展
1.2 人类智能与人工智能
1.2.1 智能信息处理系统的假设
1.2.2 人类智能的计算机模拟
1.3 人工智能各学派的认知观
1.4 人工智能的研究与应用领域
1.4.1 智能感知
1.4.2 智能推理
1.4.3 智能学习
1.4.4 智能行动
1.5 未来50年的人工智能问题
1.6 人类级人工智能
习题
第2章 知识表示和推理
2.1 概述
2.1.1 知识和知识表示
2.1.2 知识-策略-智能
2.1.3 人工智能对知识表示方法的要求
2.1.4 知识的分类
2.1.5 知识表示语言问题
2.1.6 现代逻辑学的基本研究方法
2.2 命题逻辑
2. 2.1 语法
2.2.2 语义
2.2.3 命题演算形式系统
2.3 谓词逻辑
2.3.1 语法
2.3.2 语义
2.3.3 谓词逻辑形式系统FC
2.3.4 一阶谓词逻辑的应用
2.4 归结推理
2.4.1 命题演算中的归结推理
2.4.2 谓词演算中的归结推理
2.4.3 谓词演算归结反演的合理性和完备性
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.7．1 知识获取
2.7.2 知识组织
2.7.3 知识应用
2.7.4 常识知识和大规模知识处理
2.8 小结
习题
第3章 搜索技术
3.1 概述
3.2 盲目搜索方法．
3.2.1 生成再测试法
3.2.2 迭代加深搜索
3.3 启发式搜索
3.3.1 启发性信息和评估函数
3.3.2 最好优先搜索算法
3.3.3 贪婪最好优先搜索算法
3.3.4 A算法和A算法
3.3.5 迭代加深A算法
3.4 问题归约和AND-OR图启发式搜索
3.4.1 问题归约的描述
……
第4章 高级搜索
第5章 不确定知识表示和推理
第6章 Agent
第7章 自然语言处理技术
第8章 机器学习和神经网络
第9章 智能规划
第10章 机器人学
第11章 互联网智能
附录A 人工智能程序设计语言Prolog
附录B 人工智能大作业
参考文献
